- Professor: Mamede Lima-Marques
Introdução à Programação em Lógica
O texto original foi baseado em dois outros textos desenvolvidos pelo autor, um em colaboração com Andreas Herzig, do Institut de Recherche en Informatique de Toulouse, da Université Paul Sabatier, na França, para as disciplinas de Introdução à Inteligência Artificial e à Linguagem Prolog, da École Nationale d’Aviation Civile, e mais tarde o autor aperfeiçoou o texto para um mesmo curso oferecido ao Conservatoire National des Arts et Métiers, Brive la Gaillard, também na França. Ainda, foi utilizado um segundo texto, mais antigo, desenvolvido pelo autor com o Prof. Walter Carnielli, da Unicamp, e com Paulo Gomide Cohn, para o Instituto de Automação da Fundação Centro Tecnológico para Informática, em Campinas, São Paulo. Contém ainda vários excertos de diferente autores, além de aplicações e exemplos desenvolvidos pelo autor.
O texto atual sofreu revisões e novas inserções com o objetivo de atender a um público voltado ao desenvolvimento de soluções em Inteligência Artificial para o Instituto Modal de Ciência, Tecnologia e Inovação.
O que vou aprender?
- Quais os fundamentos e principais paradigmas da inteligência artificial simbólica
- Noções básicas da linguagem Prolog, utilizada para o desenvolvimento de soluções com lógicas modais