Programa

1. O que é IA? (Rich & Knight, cap. 1)
2. A Linguagem LISP (Winston & Horn, caps. 1 a 12)
3. Sistemas de Produção (Rich & Knight, cap. 2)
4. Técnicas de Busca (Rich & Knight, cap. 3)
5. Lógica de Predicados (transparências)
6. Resolução (Nilsson, caps. 4 e 5)
7. A Linguagem PROLOG (Sterling & Shapiro, caps. 1 a 13)
8. Estruturas Slot-and-filler Fracas (Rich & Knight, cap. 9)
9. Sistemas Especialistas (Rich & Knight, cap. 20, e outros)
10. Planejamento (Rich & Knight, cap. 13)