Inteligencia artificial II
Profesores
José Antonio Alonso Jiménez
M. Carmen Graciani Díaz
Francisco Jesús Martín Mateos
Contenido
- Representación lógica del conocimiento y razonamiento por
resolución. Programación lógica.
- Representación del conocimiento mediante reglas y
razonamiento por encadenamiento.
- Otros sistemas de representación del conocimiento y
razonamiento.
- Percepción y aprendizaje.
Metodología
La asignatura es cuatrimestral. Las clases serán teóricas (en el
aula) y prácticas (en el laboratorio). Las 45 horas de clase se
dividirán en 30 horas de clases teóricas y 15 horas de clases
prácticas.
Evaluación
La nota de la asignatura se obtendrá a partir de la del examen de
prácticas (30%) y la del examen teórico (70%).
Bibliografía
- Borrajo, D. y otros
Inteligencia Artificial: Métodos y técnicas
(Centro de estudios Ramón Areces, 1993).
- Bratko, I.
Prolog Programming for Artificial Intelligence (2nd ed.)
(Addison-Wesley, 1990)
- Chang, C-L y Lee, R. C-T.
Symbolic Logic and Mechanical Theorem Proving
(Academic Press, 1973)
- Cortés, U.; Béjar, J.; Moreno, A. y otros
Inteligencia Artificial
(Ediciones UPC, 1993)
- Fernández Galán, S.; González Boticario, J. y
Mira Mira, J.
Problemas resueltos de Inteligencia Artificial aplicada:
búsqueda y representación
(Addison-Wesley, 1998)
- Flach, P.
Simply Logical (Intelligent Reasoning by Example)
(John Wiley, 1994)
- Genesereth, M.R. y Nilsson, N.J.
Logical Foundations of Artificial Intelligence
(Morgan Kaufmann, 1987)
- Giarrantano, J.C. y Riley, G.
Expert Systems Principles and Programming (2nd ed.)
(PWS Pub. Co., 1994).
- Lucas, P. y Gaag, L.v.d.
Principles of Expert Systems
(Addison-Wesley, 1991).
- Mira, J.; Delgado, A.E.; Boticario, J.G. y Díez, F.J.
Aspectos básicos de la Inteligencia Artificial
(Sanz y Torres, 1995)
- Nilsson, N.J.
Principios de Inteligencia Artificial
(Díaz de Santos, 1987)
- Rich, E. y Knight, K.
Inteligencia artificial (segunda edición)
(McGraw-Hill Interamericana, 1994).
- Russell, S. y Norvig, P.
Inteligencia Artificial (un enfoque moderno)
(Prentice-Hall, 1996)
- Shoham, Y.
Artificial intelligence techniques in Prolog
(Morgan Kaufmann, 1994)
- Thayse, A. y otros
Aproche logique de l'Intelligence Artificielle.
(Vol 1: de la logique classique a la programmation logique)
(Dunod, 1988)
- Winston, P.R.
Inteligencia Artificial (3a. ed.)
(Addison-Wesley, 1994).