Translate

5.12.11

07/12 - Paulo de T. Guerra

'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."