Revisão de Crenças em Lógica de Horn e Outros Fragmentos

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

Todos são benvindos!

--
 Marcelo Finger
 Departamento de Ciencia da Computacao
 Instituto de Matematica e Estatistica | home page:
 Universidade de Sao Paulo             |   www.ime.usp.br/~mfinger
 Rua do Matao, 1010                    | Tel: +55 11 3091 9688, 3091
6135
 05508-090    Sao Paulo, SP     Brazil | Fax: +55 11 3091 6134, 3814
4135