A representação do conhecimento e o raciocínio são questões essenciais para a Inteligência Artificial simbólica. A ideia é desenvolver sistemas que representam conhecimento e o utilizam para produzir resultados. Esses sistemas são chamados de sistemas baseados em conhecimento (SBC). Sistemas baseados em conhecimento devem fornecer meios tanto para adicionar conhecimentos à base de conhecimento quanto para obter inferências com base nos conhecimentos já existentes.
A base de conhecimento consiste em um conjunto de sentenças. As sentenças são declarações que expressam conhecimento sobre o domínio da aplicação. Note que as sentenças devem ser representadas em uma linguagem sistematizada e que remova o máximo de ambiguidades, uma linguagem utilizada para esse fim é chamada de linguagem de representação do conhecimento.
Dentre as linguagens de representação do conhecimento, a Lógica matemática se destaca como uma representação formal amplamente usada tanto para representar o conhecimento quanto para modelar o raciocínio através da inferência lógica.