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.