Razonamiento automático (1999-00)
El curso se estructura en dos bloques temáticos.
En el primer bloque, se presenta la programación lógica utilizando Prolog como herramienta fundamental. Aquí se exploran diversas aplicaciones, entre las que destacan la representación y el razonamiento en agentes inteligentes, el manejo de conocimiento estructurado, la construcción de metaintérpretes, el procesamiento del lenguaje natural y el razonamiento con información incompleta.
El segundo bloque se enfoca en el estudio de los sistemas de razonamiento automático Otter y Mace, herramientas clave para la deducción lógica y la generación de modelos.
Temas
- Tema 1: Revisión de Prolog.
- Tema 2: Inteligencia computacional y conocimiento.
- Tema 3: Sistema inicial de representación y razonamiento.
- Tema 4: Programación lógica y Prolog.
- Tema 5: Razonamiento con conocimiento estructurado.
- Tema 6: Búsqueda y programación lógica.
- Tema 7: Ingeniería del conocimiento y metaintérpretes.
- Tema 8: Razonamiento con lenguaje natural.
- Tema 9: Razonamiento con información incompleta.
- Tema 10: Razonamiento automático con Otter y Mace.
- Tema 11: Aplicaciones de razonamiento automático con Otter.
Prácticas de laboratorio
Sistemas
Bibliografía
- Alonso, J.A.; Fernández, A. y Pérez, M.J. Razonamiento automático (Univ. Sevilla, 1994)
- Bratko, I. Prolog programming for artificial intelligence (Addison Wesley, 1997)
- Clocksin, W.F. y Mellish, C.S. Programación en Prolog (Gustavo Gili, 1987)
- Flach, P. Simply logical (Intelligent reasoning by example) (John Wiley, 1994)
- Poole, D.; Mackworth, A. y Goebel, R. Computational intelligence (a logical approach) (Oxford University Press, 1998)
- Shoham, Y. Artificial intelligence techniques in Prolog (Morgan Kaufmann, 1994)
- Sterling, L. y Shapiro, E. L'art de Prolog (Masson, 1990)