|
Docente
|
-
Prof. Dr. Silvio do Lago Pereira
|
|
Ementa
|
-
Representação de conhecimento, métodos de inferência lógica, estratégias de busca e programação em lógica.
|
|
Bibliografia
|
-
Genereseth, M. R. & Nilsson, N. J. Logical Foundations of Artificial Intelligence, Morgan-Kaufmann, 1987.
-
Bratko, I.
Prolog - Programming for Artificial Intelligence, 3rd ed., Addson-Wesley, 2001.
-
Rich, E. & Knight, K. Artificial Intelligence, 2nd. ed., McGraw-Hill, 1995.
-
Russell, S. & Norvig, P. Artificial Intelligence - A Modern
Approach, 2nd. ed., Prentice-Hall, 2004.
-
Luger, G. F. & Stubblefield, W. A. Artificial Intelligence - Structures and
Strategies for Complex Problem Solving, 5th ed., Addison-Wesley, 2002.
|
|
Avaliação
|
-
Listas I e II (2,0): exercícios práticos em laboratório
-
Artigo (3,0): redação de artigo [normas e modelo]
-
Seminário (3,0): apresentação de seminário [grupos]
-
Teste (2,0): avaliação individual
-
Nota final = Listas + Artigo + Seminário + Teste
-
Notas
|
|
Cronograma
|
|
|
Outros
|
|
