IF131 - Processamento de Conhecimento

 

Pré-requisitos

1. Fundamentos de Inteligência Artificial, IF126

Ementa

1. Fundamentos da Dedução Automática
2. Teoremas de Skolem e Herbrand
3. Teoria da Unificação
4. Lógicas não-clássicas: modal, intuicionística, de recurso, não-monotônicas
5. Semântica de mundos possíveis
6. Eliminação de corte: Hauptsatz de Gentzen
7. Teorema de Herbrand
8. Sharpened Hauptsatz de Gentzen

Referências

1. Gabbay, D., Hogger C., Robinson J.: `HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING', Vols. I e II., Oxford University Press, 1993.
2. Girard, J-Y.: 'PROOF THEORY AND LOGICAL COMPLEXITY', Bibliopolis, Nápoles, 1987.