Lógica y programación (1999-00)
El curso se estructura en tres partes. En la primera, se aborda la programación utilizando Common Lisp. En la segunda, se implementan sistemas de razonamiento basados en resolución con Common Lisp, además de desarrollar un intérprete de Prolog. Por último, en la tercera parte, se estudia el sistema de razonamiento Otter y se aplica para crear diversas aplicaciones.
Temas y códigos
- Programación funcional con Lisp:
- Lisp 1: Funciones básicas de Lisp.
- Lisp 2: Predicados y condicionales.
- Lisp 3: Recursión.
- Lisp 4: Abstracción de datos.
- Lisp 5: Programación aplicativa.
- Lisp 6: Iteración.
- Lisp 7: Abstracción de procedimientos.
- Lisp 8: Escritura y lectura.
- Lisp 9: Listas de propiedades.
- Lisp 10: Estructuras.
- Lisp 11: Macro-procedimientos.
- Automatización del razonamiento:
- AR 1: Sintaxis y semántica proposicional (Código).
- AR 2: Formas normales y cláusulas proposicionales (Código).
- AR 3: El procedimiento de Davis y Putnam (Código).
- AR 4: Resolución proposicional (Código).
- AR 5: Refinamientos de resolución.
- AR 6: Programación lógica proposicional (Código).
- AR 7: Programación lógica y Prolog (Código).
- AR 8: Implementación de Prolog.
- Aplicaciones de los sistemas de razonamiento automático (SRA):
Prácticas
- Práctica 0: Emacs y Lisp (1ª parte).
- Práctica 0: Emacs y Lisp (2ª parte).
- Práctica 1: Tipo abstracto de datos de los polinomios (1ª parte) y auxiliar (TAD de polinomios).
- Práctica 1: Tipo abstracto de datos de los polinomios (2ª parte).
- Práctica 1: Tipo abstracto de datos de los polinomios (3ª parte).
- Práctica 1: Tipo abstracto de datos de los polinomios (4ª parte).
- Práctica 2: Abstracción de procedimientos.
- Práctica 3: Iteración.
- Práctica 4: El problema de las n-reinas en lógica proposicional.
Bibliografía
- Alonso, J.A. Lógica computacional (Univ. de Sevilla, 1997).
- Alonso, J.A.; Fernández, A. y Pérez, M.J. Razonamiento automático (Univ. Sevilla, 1996).
- Baj, F. Logic with PAIL (June 25 1991).
- Genesereth, M.R. Computational logic (Stanford University, 1999-00).
- Gordon, G.J. Common Lisp hints.
- Paulson, L.C. Logic and proof (University of Cambridge, 1999).
- Shapiro, S.C. Foundations of logic and inference (Tutorial IJCAI, 1995).
- Steele, Guy L. Common Lisp: the language (2nd edition).