LÓGICA PARA INTELIGÊNCIA ARTIFICIAL

Obrigatória: Não

Carga Horária: 60

Créditos: 4

OBJETIVOS:
Estudar os principais princípios e formalismos lógicos relevantes para o trabalho na área da Inteligência Artificial. Desenvolver aplicações desses formalismos a problemas típicos enfocados na área.

EMENTA:
Revisão de Lógica de Predicados e de Lógica Modal: sintaxe, semântica, sistemas de dedução. Resolução de problemas baseada em lógica: representação de conhecimento, dedução automatizada. Visão geral das lógicas não-clássicas: lógicas temporais, lógicas epistêmicas, lógicas não-monotônicas, lógicas paraconsistentes. Resolução de problemas em universos dinâmicos: cálculo de eventos e cálculo de situações. Lógicas para agentes intencionais.

PROGRAMA:
1. Revisão de Lógica de Predicados e de Lógica Modal
1.1. Lógica de Predicados de Primeira Ordem: sintaxe, semântica, sistemas de dedução
1.2. Lógica Modal Proposicional e de Primeira Ordem: sintaxe, semântica, sistemas de dedução
2. Resolução de problemas baseada em Lógica
2.1. Representação de conhecimento
2.2. Dedução automatizada
2.3. Revisão de Programação em Lógica
3. Lógicas não-clássicas:
3.1. Lógicas dinâmicas e temporais
3.2. Lógicas epistêmicas
3.3. Lógicas não-monotônicas
3.4. Lógicas para-consistentes
4. Resolução de problemas em universos dinâmicos
4.1. Problema da qualificação
4.2. Problema do frame
4.3. Problema da ramificação
4.4. Cálculo de Situações
4.5. Cálculo de Eventos
5. Lógica para Agentes BDI
5.1. Modelo BDI
5.2. Lógica BDI 5.3.Linguagem AgentSpeak

Bibliografia:
Gabbay, D. M.; Hogger, C.; Robinson J.A. Handbook of Logic in Artificial Intelligence and Logic Programming: Logic Programming. Oxford University Press, 1998.

Genesereth e Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaumann. 1987.

Hogger,C.J.; Gabbay,Dov M. ; Robinson,J.A.; Hogger,C. J. Handbook of Logic in Artificial Intelligence and Logic Programming: Logical Foundations. Oxford University Press, 1993.

Hogger,C.J.; Gabbay,D. M. ;Robinson, J.A. ;Hogger, C.J Handbook of Logic in Artificial Intelligence and Logic Programming: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and
Logic Programming). Oxford University Press, 1994.

Hogger,C.J. ; Gabbay,D. M.; Robinson, J.A. Handbook of Logic in Artificial Intelligence and Logic Programming: Nonmonotonic Reasoning and Uncertain Reasoning (Handbook of Logic in Artificial Intelligence and Logic Programming). Oxford University Press, 1994.

Hogger,C.J.; Gabbay,D. M. ; Robinson,J.A. Handbook of Logic in Artificial Intelligence and Logic Programming: Epistemic and Temporal Reasoning (Handbook of Logic in Artificial
Intelligence and Logic Programming). Clarendon Pr, 1995.

Kakas,A. C.; Sadri,F. Kowalski, R. Computational Logic: Logic Programming and Beyond : Essays in Honor of Robert A. Kowalski (Lecture Notes in Artificial Intelligence). Springer-Verlag Telos , 2002.

Minker, J. Logic-Based Artificial Intelligence (The Kluwer International Series in Engineering and Computer Science Volume 597). Publisher: Kluwer Academic Publishers, 2000.

Raymond Reiter Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems The MIT Press , 2001.