Programação em Lógica - 99.1


 

Descrição geral desta (classe de) disciplina, incluindo ementa, avaliação e material bibliográfico encontram-se em: www.di.ufpe.br/~compint/prolog.html

 

Informações Gerais

Professor: Jacques Robin
Monitor:
Eloi Favero

(Esta) Homepage: www.di.ufpe.br/~compint/aulas-IAS/prolog-991/Welcome.html
Newsgroup:
depto.cursos.grad.if278

Horários:

Local: 4a Sala 7, 6a Sala 4

Turma:


Calendário:


Aula 1: Apresentação da disciplina (24/03)


Aula 2: Programação em lógica e lógica (26/03)


Aula 3 & 4: Prolog e lógica (31/03 & 07/04)


Aulas 5, 6 & 7: Prolog: predicados built-in (09/04, 14/04 e 16/04)


Aula 8: Prolog: uso pratico nas estações de trabalho (23/04)


Aula 9: Prolog x resto do mundo (30/04)


Aulas 10 & 11: Programação multi-paradigma a base lógica e LIFE (05/05 e 07/05)


Aula 12: LIFE: integração de predicados, funções, classes e restrições (12/05)


Aulas 13 e 14: LIFE: predicados e funções built-in (14/05 e 21/05)


Aula 15: LIFE: Uso pratico nas estações de trabalho (26/05)

 


Aula 16: LIFE: Gramáticas de claúsulas definidas (28/05)

 


Aula 17: Correção dos exercícios de engenharia do conhecimento em Prolog (02/06)


Aula 18: Apresentação dos assuntos de projetos 1 (12/05)

 


Aula 19: Apresentação dos assuntos de projetos 2 (14/05)


Aula 20: Apresentação dos assuntos de projetos 2 (14/05)



Aula 16: Orientação de projetos (21/05)


Aula 17: Banco de dados dedutivos, programação em lógica, DOOD e FLORID (26/05)


Aula 18: Orientação de projetos (28/05)


Aula 19: FLORID: caminhos, negação e estratificação (02/06)


Aula 20: Orientação de projetos (04/06)


Aula 21: FLORID: predicados built-in (09/06)


Aula 22: Orientação de projetos (11/06)


Aula 23: FLORID: uso pratico nas estações de trabalho (16/06)


Aula 24: Orientação de projetos (18/06)


Aula 25: LIFE: Agente explorador do mundo do wumpus (23/06)


Aula 26: Correção do exercícios de engenharia do conhecimento em LIFE (30/06)


Aula 27: DCG LIFE para geração de sintagmas nominais do Português (02/07)


Aula 28: LIFE: Tradução e Geração de mensagens entre agentes exploradores (07/07)


Aula 29: LIFE: Sport multi-agentes para RoboCup de futebol (09/07)


Aula 30: LIFE: Nautico multi-agentes para RoboCup de futebol (14/07)


Aula 31: Sport - Nautico virtual (21/07)


Aula 32: Demonstração final de recuperação dos projetos (23/07)