Sumário - Capítulo - Introdução; Capítulo 2 - Métodos de Busca; Capítulo 3 - Lógica de Predicados; Capítulo 4 - Prova Automática de Teoremas; Capítulo 5 - Raciocínio Baseado em Regras; Capítulo 6 - A Linguagem Prolog; Capítulo 7 - Conjuntos Nebulosos; Capítulo 8 - Processamento de Línguas Naturais; Capítulo 9 - Redes Neurais Artificiais.