'Revisão de Crenças Temporais: Primeiros passos'
Paulo de T. Guerra
Doutorando USP
Resumo
O propósito deste seminário é apresentar a revisão de crenças temporais. O uso de revisão de crenças em lógicas não clássicas é um dos grandes desafio atuais. A
dificuldade está no fato que muitas das suposições assumidas pela teoria clássica
não são válidas nestas lógicas. Introduzimos os desafios de aplicar revisão de
crenças sobre o lógicas temporais, mostramos os impedimentos de utilizar a teoria clássica de revisão e apresentamos os avanços obtidos pelo nosso estudo para a correta realização da revisão de crenças temporais."
