Revisão de crenças em lógica de Horn - Serminário do LIAMF dia 10/9

----------------------------------------------------------------------------
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
Palestrante:  Renata Wassermann

Data:   10/09/2009, 14h00
Local:  Sala 243A, IME-USP

Resumo:

Neste seminário vou apresentar alguns resultados recentes na tentativa
de aplicar a teoria de revisão de crenças a um fragmento mais restrito
da lógica clássica. Este é um problema de grande interesse na área de
IA, já que a lógica de Horn permite computação mais eficiente e é uma
linguagem tradicional para a representação de conhecimento.


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



Todos são benvindos