Lógicas Clássicas
Lógica das Proposições
- A Lógica das Proposições se interessa pelas SENTENÇAS DECLARATIVAS, as PROPOSIÇÕES, que podem ser Verdadeiras ou Falsas.
- No âmbito da IA, a lógica permite a representação de conhecimento e o processo de raciocínio para um sistema inteligente.
- Como uma linguagem para representação de conhecimento no coputador, ela deve ser definida em dois aspectos, A SINTAXE e a SEMÂNTICA.
- A SINTAXE de uma linguagem descreve as possíveis configurações que podem constituir sentenças.
- A SEMÂNTICA determina os fatos do mundo aos quais as senteças se referem., ou seja, ou sistema “acredita” na sentença correspondente.