Fundamentos Lógicos da IA
(PCS-5740 / 1o. período de 2008)


Programa de Pós-Graduação em Engenharia Elétrica
Departamento de Engenharia de Computação e Sistemas Digitais
Escola Politécnica - USP


Prof. Dr. Edson S. Gomi



Avisos




Instruções Gerais

Programação aula-a-aula

Linguagem Prolog

O
SWI Prolog pode ser obtido em www.swi-prolog.org

Livro gratuito sobre Prolog: Logic, Programming and Prolog (2ed) by Ulf Nilsson and Jan Maluszynski

Emacs

A versão 21.3 do Emacs pode ser obtida em http://ftp.gnu.org/gnu/emacs/windows.

Integração do SWI Prolog com o Emacs

Eis um roteiro para integração do SWI Prolog com o Emacs, juntamente com os arquivos adicionais necessários à configuração : ZIP



Aula 1 (03/03/2008)

Trabalho 1

Leitura adicional:

1. O conceito de "Nível do Conhecimento" foi descrito por Allen Newell no artigo "The Knowledge Level",
publicado na revista Artificial Intelligence, volume 18, no. 1, páginas 87-127, em janeiro de 1982.



 
Aula 2 (10/03/2008)

Trabalho 2



Aula 3 (17/03/2008)

Trabalho 3

Programas Prolog para o Trabalho 3

Leitura adicional:

1. Michael R. Genesereth e Matthew L. Ginsberg, Logic Programming, Communications of the ACM, Vol. 28, No. 9, p. 933 - 941, Setembro de 1995.

2. Jacques Cohen, A View of the Origins and Development of Prolog, Communications of the ACM, Vol. 31, No. 1, p. 26 - Janeiro de 1988.



Aula 4 (24/03/2008)

Trabalho 4




Aula 5 (31/03/2008)

Trabalho 5



Aula 6 (07/04/2008)

Trabalho 6



Aula 7 (14/04/2008)

Trabalho 7




Aula 8 (28/04/2008)

Trabalho 8

Projeto do Curso



Aula 9 (05/05/2008)

Trabalho 9




Contato: edson.gomi@poli.usp.br

Última atualização: 27 de junho de 2008