Inteligência Artificial II – MAB789

Ementa:

Sistemas de Representação do Conhecimento e Raciocínio; Banco de Dados Dedutivo;Lógicas Não-Monotônicas; Programação em Lógica e semântica de conjunto de resposta; Lógicas Descritivas: ALC, ALCQ, ALCN, ALCOQ, SOQ, SHOQ, SHOIQ, SHIQ; Programação em Lógica Descritiva; Aplicações de Lógicas Descritivas a Ontologias e a Tópicos Correlatos.

Bibliografia:

• Computational Intelligence – A Logic Approach, Poole, D., Mackworth, A. and Goebel, R. – Oxford University Press, 1998.
• The Description Logic Handbook, Baader, F., Calvanese, D., McGuinness. D. L., Nardi, D., Patel-Schneider, P. F. – Cambridge University Press, 2003.
• First-Order Logic, Smullyan, R.M. – Dover Publications, 1995.