Título: Revisão de Crenças e Computação

Palestrante: Renata Wassermann

Resumo:

A teoria AGM para revisão de crenças foi desenvolvida nos anos 80,
principalmente por filósofos e lógicos. Na mesma época, cientistas da
computação estavam buscando teorias para abordar problemas concretos, como
atualização de banco de dados e diagnóstico baseado em modelos. 

Embora tenham surgido já na época algumas tentativas de implementar sistemas
de revisão de crenças, eles acabavam tendo soluções bastante arbitrárias para
fugir da complexidade computacional da solução lógica. 

Recentemente, com o avanço no poder de computação, passou a ser plausível
implementar a teoria como ela é. Nesta palestra, pretendo explorar dois lados
da relação entre AGM e computação: (i) usando AGM para resolver problemas
concretos, como especificação formal de software e (ii) usando computação para
fazer experimentos com a teoria.