•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).
–