Representação do conhecimento. Programação Prolog. Programação Lisp. Técnicas de pesquisa heurística. Aplicação a jogos. Sistemas baseados em conhecimento. Planificação.