Recuperação e relevância em revisão de crenças - Seminário do LIAMF dia 17/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: Recuperação e relevância em revisão de crenças

Palestrante:  Márcio Moretto Ribeiro

Data:   17/09/2009, 14h00

Local:  Sala 243A, IME-USP

Resumo: Nesse seminário será apresentada uma pequena introdução a área
de revisão de crenças focando principalmente o paradigma AGM seguido de
uma comparação entre o postulado da recuperação e da relevância.
O postulado mais polêmico do paradigma AGM, a recuperação, será revisto.
Esse postulado além de não muito intuitivo em algumas circunstâncias,
tem se mostrado problemático quando aplicado a lógicas não clássicas. Em
trabalhos anteriores propomos a substituição desse postulado pelo
postulado da relevância. Mostraremos uma comparação detalhada desses
dois postulados focando nas propriedades das lógicas que fazem esses
postulados equivalentes ou não equivalentes.






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



Todos são bem-vindos