Título: Distributividade e outras propriedades lógicas importantes para revisão
de crenças.

Palestrante: Márcio Moretto Ribeiro

Data:  25/3/2010, 14hs
Local: Sala 254-A

Revisão de crenças é uma sub-área de representação de conhecimento que lida com
a dinâmica das bases de conhecimento. Tradicionalmente os resultados de revisão
de crenças se restringem a lógicas que satisfazem determinadas propriedades
(suposições AGM). Alguns de nossos resultados recentes mostram como aplicar
técnicas de revisão abandonando algumas dessas suposições. Nesses trabalhos
destacamos determinadas propriedades lógicas: distributividade,
decomponibilidade e fecho por negação. Nesse seminário apresentaremos o trabalho
em andamento de achar exemplos concretos de lógicas, principalmente de lógicas
de descrição, satisfazem algumas dessas propriedades enquanto falham em
satisfazer outras.