------------------------------------------------------------------------------------------
 Seminário do Grupo de Lógica, Inteligência Artificial
 e Métodos Formais - LIAMF
 Seminário Registrado na CPG do IME/USP
 Página: http://www.ime.usp.br~liamf/seminarios/index.html

-------------------------------------------------------------------------------------------

Título: Revisão de Crenças em Lógica de Horn e Outros Fragmentos
Palestrante:  Renata Wassermann

Data:   30/04/2009, 14h00
Local:  Sala 241A, IME-USP

Resumo:
--------------
A teoria clássica de revisão de crenças, conhecida como teoria AGM graças
aos trabalhos
iniciais de Alchourrón, Gärdenfors e Makinson, geralmente assume que a
lógica por trás
do raciocínio do agente contém no mínimo a lógica clássica. No entanto,
nos últimos anos
surgiu um grande interesse por aplicações de revisão de crenças a lógicas
sub-clássicas,
como a lógica de Horn e as lógicas de descrição. Neste seminário pretendo
apresentar os
problemas que surgem quando abandonamos a supraclassicalidade e algumas
tentativas
minhas e de outros de solucioná-los.