Tópico:  Revisão de Crenças, teoria e aplicações.

Horário: Terças    8:00 - 10:00
              Quintas 10:00 - 12:00
 

 A área de revisão de crenças lida com o problema de
acomodar novas informações numa base de dados. Esse problema
aparece em diversas disciplinas, tendo sido estudado inicialmente
por filósofos que tentavam prever o que um agente racional deveria
fazer ao receber uma nova informação inconsistente com o que ele
acreditava antes. Como aplicações podemos citar, entre outras, banco
de dados, robótica, sistemas de diálogos e sistemas de diagnóstico.

 O objetivo desse curso é dar um panorama geral da área, desde
o modelo clássico, mais abstrato, baseado em trabalhos de Alchourrón,
Gärdenfors e Makinson, até trabalhos mais recentes, voltados para
aplicações práticas.

Pré-requisitos: noções de lógica proposicional.

Programa do curso:

  1. Teoria AGM Clássica:
          - Motivação.
          - Operações AGM: expansão, contração e revisão.
          - Postulados de racionalidade.
          - Construções de operações: construções partial meet, modelos de
            esferas, modelos baseados em preferências.
          - Principais problemas.

  2. Revisão de bases finitas:
          - Motivação.
          - Postulados e construções (Hansson).
          - Outras abordagens (Nebel, Williams).
          - Bases com prioridades.
          - Tolerância a inconsistência.

  3. Rumo à implementação:
          - Maxi-adjustments (Williams).
          - Modelos baseados em relevância.
          - Inferências aproximadas.

  4. Aplicação: diagnóstico.
          - Métodos de diagnóstico baseados em modelos.
          - O algoritmo de Reiter
          - Noções de relevância
          - Métodos abductivos.
 

Bibliografia básica:

1. "Knowledge in Flux" - Peter Gärdenfors, MIT Press, 1988.
2. "Belief Revision" - Peter Gärdenfors e Hans Rott, Handbook of Logic in
   Artificial Intelligence and Logic Programming, volume IV, 1995.
3. "A Textbook of Belief Dynamics" - Sven Ove Hansson, Kluwer, 1999.