Introdução à IA e seus fundamentos. Problemas de busca heurística e de satisfação de restrições CSP. Representação de conhecimento (Lógica e Ontologias). Inferência e Planejamento automático. Sistemas baseados em conhecimento (Sistemas de Apoio à Decisão e Sistemas Especialista). Lógica e controladores fuzzy.
- Stuard J. Russell and Peter Norvig. Artificial Intelligence: A Modern Approach. 3rd Ed. Prentice Hall, 2012.
- Guilherme Bittencourt. Inteligência Artificial: Ferramentas e Teorias. 3a Ed. Editora da UFSC, 2006.
- Patrick Henry Winston. Artificial Intelligence. 3rd Ed. Addison-Wesley, 1992.
- R. Brachman and H. Levesque. Knowledge Representation and Reasoning. Elsevier, 2004.
- Michael R. Genesereth and Nils J. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, 1987.
- Stuard J. Russell and Peter Norvig. Artificial Intelligence: A Modern Approach. 3rd Ed. Prentice Hall, 2012.
- Guilherme Bittencourt. Inteligência Artificial: Ferramentas e Teorias. 3a Ed. Editora da UFSC, 2006.
- Patrick Henry Winston. Artificial Intelligence. 3rd Ed. Addison-Wesley, 1992.
- R. Brachman and H. Levesque. Knowledge Representation and Reasoning. Elsevier, 2004.
- Michael R. Genesereth and Nils J. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, 1987.
- Professor: Jomi Fred Hubner
- Professor: Marcelo Ricardo Stemmer