Título: Revisão de Crenças em lógicas não classicas
Resumo: A área de revisão de crenças trata do problema de como agentes racionais ideais mudam suas crenças. O trabalho mais influente na área de revisão de crenças é chamado de paradigma AGM. Seguindo esse paradigma o estado de crenças de um agente é representado por um conjunto de sentenças fechado por consequência lógica (conjunto de crenças). Ainda seguindo o paradigma AGM, operações (expansão, revisão e contração) são definidas sobre conjuntos de crenças através de postulados de racionalidade. O paradigma AGM, apesar de amplamente aceito, não é compatível com diversas lógicas não-classicas. No seminário apresentaremos o paradigma AGM e os problemas em aplicá-lo às lógicas não clássicas. Depois disso mostraremos como adaptar os postulados de forma que eles sejam compatíveis com uma vasta classe de lógicas. Por fim, apontaremos para trabalhos futuros cujo principal tema é a aplicação de revisão de crenças em lógicas de inconsistência formal.
Nenhum comentário:
Postar um comentário