A disciplina visa dar ao aluno uma visão teórica e prática de algumas técnicas básicas de Inteligência Artificial (IA), assim como de alguns problemas típicos usualmente tratados por programas escritos em Prolog e Lisp, duas das linguagens mais usadas em IA.