•Lógica Temporal
–A lógica dos predicados não é hábil no tratamento de declarações envolvendo tempo.
–Os tempos dos verbos podem gerar conclusões errôneas na lógica clássico.
•FechaJanela(Joaquim).
– poderá significar tanto que Joaquim irá fechar a janela como que Joaquim  já fechou a janela.
–A Lógica Temporal é uma extensão da lógica clássica onde conectivos descrevendo relações temporais são incluídas, tirando o caráter monotônico.
–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).
–