Publisher's Synopsis
A introdução aborda a evolução histórica e a definição de IA, destacando a emulação de processos cognitivos humanos e o compromisso entre a pesquisa e o armazenamento de conhecimentos. A visão abstrata da modelação e do conhecimento elementar abre caminho à exploração da lógica computacional, incluindo a análise de declarações compostas através de conectivos lógicos simples, lógica de predicados e organização e manipulação do conhecimento. Passando à programação e à lógica na IA, o programa de estudos abrange o LISP e outras linguagens de programação, estabelecendo distinções entre o LISP e o PROLOG. Introduz a sintaxe, funções numéricas e explora o significado de entrada-saída, variáveis locais, interação e recursão. A unidade também se aprofunda em lógicas simbólicas formalizadas, sistemas de manutenção da verdade, raciocínio por defeito e o pressuposto de mundo fechado.
