Lógicas Não-Clássicas
Lógica Temporal
- Segundo Turner, “se a IA deve atingir os objetivos estabelecidos, precisa incorporar uma representação do tempo e empregar alguma forma de lógica temporal”.
- Qual a forma apropriada para representação dos conceitos temporais?
- Duas abordagens principais:
- Considerar um conjunto novo de conectivos e dar as tabelas de valores verdade para eles; ou
- Definir uma variável de tempo nova e usar os mesmos conectivos “e”, “ou” e “não” previamente definidos.
- Outro problema de interesse é o fato que o tempo psicológico (Tempo Bergsoniano) é freqüentemente diferente do tempo usado na física (Tempo Newtoniano).