Ementa


Introdução. Histórico da Inteligência Artificial. Agentes. Métodos de Busca Desinformados. Métodos Heurísticos. Métodos de Busca Local. Problemas de Satisfação a Restrições. Lógica Proposicional. Lógica de Predicados. Programação em Lógica. Prolog. Sistemas Especialistas.