Introdução à Programação em Lógica

Este curso foi elaborado para atender o profissional iniciante na prática da linguagem Prolog, levando-se em conta total ausência de conhecimento neste paradigma de programação. Seus tópicos são compostos por uma parte conceitual e outra com exercícios que evoluem segundo a dificuldade imposta pela linguagem. O estudante deve atentar-se para o fato de que cada exercício trabalhado apresenta diferentes técnicas de uso da linguagem, tornando-os referências para programas mais robustos.
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

Sobre o(s) Autor(es)

Website | + publicações

Foi professor titular da Faculdade de Ciência da Informação da Universidade de Brasília e em Ciência da Computação da Universidade Federal de Uberlândia. Possui Pós-doutorado em Lógica Matemática Aplicada à Computação; Ph.D. em Ciência da Computação; Mestrado em Ciência da Computação; e Bacharelado e Licenciatura em Filosofia. Fundador e diretor do Centro de Pesquisa em Arquitetura da Informação - CPAI (FCI/UnB). Atuou no Programa de Pós-graduação em Ciência da Informação (mestrado e doutorado) onde foi fundador da linha de Arquitetura da Informação. Foi professor na Ecole Nationale de l'Aviation Civile, Toulouse, França e no Conservatoire National des Arts et Métiers, Brive-la-Gaillarde, França. É autor de vários artigos nacionais e internacionais. Atualmente é presidente e co-fundador do Instituto Modal de Ciência, Tecnologia e Inovação.

Compartilhe essa publicação!

Deixe um comentário

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *

Esse site utiliza o Akismet para reduzir spam. Aprenda como seus dados de comentários são processados.

EnglishFrançaisDeutschItalianoPortuguêsEspañol
Rolar para cima