|
Docente
|
-
Prof. Dr. Silvio do Lago Pereira
|
|
Local
|
-
Laboratório de Informática.
|
|
Horário
|
-
Sexta-feira, das 12h50 às 16h15.
|
|
Tópicos
|
-
Representação de conhecimento em lógica, raciocínio automatizado e linguagem Prolog.
|
|
Compilador
|
|
|
Bibliografia
|
-
BRAMER, M. Logic Programming with Prolog, 2nd edition, Springer, 2013.
-
BRATKO, I. Prolog - Programming for Artificial Intelligence, 4th edition, Addison-Wesley, 2012.
-
CLOCKSIN, W. F.; MELLISH, C. S. Programming in Prolog, 3rd edition, Springer, 1987.
-
COVINGTON, M.A.; NUTE, D.; VELLINO, A. Prolog Programming in Depth, Prentice-Hall, 1997.
-
GENERESETH, M. R.; NILSSON, N. J. Logical Foundations of Artificial Intelligence, Morgan-Kaufmann, 1987.
-
STERLING, L.; SHAPIRO, E. The Art of Prolog: Advanced Programming Techniques, MIT, Cambridge, 1994.
|
|
Avaliação
|
-
A avaliação consistirá de três provas
Cálculo da média semestral: M = (P1 + P2 + P3) / 3
-
Caso o aluno não atinja a média necessária para aprovação,
poderá fazer uma prova substitutiva cuja nota substituirá a menor nota
entre P1, P2 e P3 (apenas uma delas).
-
Notas
|
|
Cronograma
|
-
| Aula |
Data |
Tópicos |
| 01 |
11/08 |
Introdução: inteligência artificial, programação em lógica e Prolog
[pl-01.ppsx,
pl-01.pl].
|
| 02 |
18/08 |
Fundamentos: conhecimento e raciocínio em lógica proposicional
[pl-02.ppsx,
tv.pl,
ai.py].
|
| 03 |
01/09 |
Fundamentos: lógica de predicados
[pl-03.ppsx].
|
| 04 |
02/09 |
[Extraclasse] Fundamentos: raciocínio automatizado
[pl-04.ppsx,
pl-04.pl].
|
| 05 |
15/09 |
Prolog: fatos, regras, consultas e modelo relacional
[pl-05.ppsx,
pl-05.pl].
|
| 06 |
16/09 |
[Extraclasse] Exercícios de revisão.
|
| 07 |
22/09 |
Avaliação: primeira prova (P1)
[simulado].
|
| 08 |
29/09 |
Prolog: retrocesso, corte e falha
[pl-06.ppsx,
pl-06.pl].
|
| 09 |
06/10 |
Prolog: recursividade e listas
[pl-07.pdf,
pl-07.pl].
|
| 10 |
20/10 |
Prolog: aplicações de recursividade
[pl-08.ppsx,
pl-08.pl].
|
| 11 |
27/10 |
Prolog: predicados dinâmicos
[pl-09.ppsx,
pl-09.pl]
|
| 12 |
28/10 |
[Extraclasse] Exercícios de revisão.
|
| 13 |
10/11 |
Avaliação: segunda prova (P2)
[simulado, cruzadas.pl].
|
| 14 |
17/11 |
Aplicação: busca em grafos I
[pl-10.ppsx,
pl-10.pl,
aspirador1.pl,
fazendeiro.pl,
galoes.pl,
hanoi.pl].
|
| 15 |
18/11 |
[Extraclasse] busca II
[pl-11.ppsx,pl-11.pl,
rotas1.pl,
aritmetica.pl,
fichas1.pl,
rotas2.pl,
fichas2.pl,
eight.pl].
|
| 16 |
24/11 |
Aplicação: processamento de linguagem natural
[pl-12.ppsx,
pl-12.pl].
|
| 17 |
25/11 |
[Extraclasse] Exercícios de revisão.
|
| 18 |
01/12 |
Avaliação: terceira prova (P3)
[simulado].
|
| 19 |
08/12 |
Avaliação: prova substitutiva (SUB).
|
| 20 |
15/12 |
Fechamento da disciplina.
|
|
|
Outros
|
|
