Inteligência Artificial e Sistema Especializado

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.