Programación lógica (2003-04)
Este curso aborda la programación lógica desde una perspectiva tanto práctica como teórica. Comienza con la presentación de Prolog como un sistema deductivo y como lenguaje de programación. Posteriormente, se estudian diversas aplicaciones de la programación lógica. Finalmente, se implementan en Prolog los conceptos lógicos y los métodos de los tableros semánticos y de resolución.
Temas
- Tema 1: El sistema deductivo de Prolog y ejercicios.
- Tema 2: Prolog.
- Tema 3: Programación con Prolog.
- Tema 4: Resolución de problemas de espacios de estados.
- Tema 5: Procesamiento de lenguaje natural.
- Tema 6: Ingeniería del conocimiento y metaintérpretes.
- Tema 7: Razonamiento por defecto y razonamiento abductivo.
- Tema 8: Programación lógica con restricciones.
- Tema 9: Formalización en Prolog de la lógica proposicional.
- Tema 10: Implementación en Prolog de los tableros semánticos.
- Tema 11: Implementación en Prolog de la transformación a cláusulas.
- Tema 12: Implementación en Prolog de la resolución.
Bibliografía
- J.A. Alonso y J. Borrego. Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos). (Kronos, 2002).
- R. Barták. On-line guide to prolog programming.
- P. Blackburn, J. Bos y K. Striegnitz. Learn Prolog now!
- I. Bratko. Prolog programming for artificial intelligence (3 ed.). (Addison Wesley, 2001).
- G. Fernández. Representación del conocimiento en sistemas inteligentes (Universidad Politécnica de Madrid, 2000).
- J.R. Fisher. Prolog tutorial.
- P. Flach. Simply logical (Intelligent reasoning by example). (John Wiley, 1994).