Apresentar ao aluno os conceitos básicos e técnicas de Inteligência Artificial juntamente com os problemas aos quais as técnicas são aplicáveis bem como suas limitações. Ensino da programação não determinística.
Histórico. Fundamentos e estado da arte. Características dos programas de Inteligência Artificial. A linguagem de programação lógica Prolog: sintaxe e semântica. Formalismos para representação de conhecimento: Lógica Proposicional, Lógica de Primeira Ordem, Redes Semânticas, Quadros e Sistemas de Produção. Raciocínio lógico, inferência dedutiva, unificação. Solução de problemas utilizando métodos não-informados e métodos heurísticos de busca em espaços de estados. Sistemas Baseados em Conhecimento. Processamento de Linguagem Natural.
1. RUSSEL, Stuart J. & NORVIG, Peter. Inteligência Artificial, 2ª edição, Campus, 2004. ISBN: 8-535-21177-2.2. BRATKO, Ivan. Prolog Programming for Artificial Intelligence. Pearson Addison Wesley, 3rd edition, 2000. ISBN 0-201-40375-7.3. CLOCKSIN, William F. & MELLISH, C. S. Programming in PROLOG. 5th edition, Springer-Verlag, 2003. ISBN 3-540-00678-8.4. N. NILSSON, Artificial Intelligence: A New Synthesis, Morgan Kaufmann, 1998.5. RICH, E., Artificial Intelligence, 2.ed. McGraw-Hill, 1993.6. RILEY, G., Expert Systems - Principles and Programming, 2nd ed., PWS Publishing Company, 1994
