Razonamiento automático (1998-99)
El curso se organiza en tres bloques temáticos. En el primero, se explora el estudio e implementación en Lisp de la sintaxis y semántica de la lógica proposicional. Asimismo, se abordan los algoritmos necesarios para transformar expresiones lógicas en formas normales y cláusulas, así como los procedimientos de resolución.
En el segundo bloque, se introduce la programación lógica y se analiza el lenguaje Prolog, destacando sus características fundamentales y su aplicabilidad en la resolución de problemas lógicos.
Por último, en el tercer bloque, se emplea Prolog como herramienta principal para explorar temas avanzados relacionados con la representación del conocimiento estructurado, el razonamiento basado en lenguaje natural y el tratamiento del razonamiento en contextos con información incompleta.
Temas y ejercicios
- Tema 1: Lógica proposicional: Sintaxis y semántica (Ejercicios).
- Tema 2: Cálculo de secuentes proposicionales.
- Tema 3: Cálculo de tableros proposicionales.
- Tema 4: Lógica clausal (Ejercicios).
- Tema 5: Programación lógica y Prolog (Ejercicios).
- Tema 6: Representación del conocimiento estructurado (Ejercicios).
- Tema 7: Razonamiento con lenguaje natural.
- Tema 8: Razonamiento con información incompleta.
Bibliografía
- Genesereth, M.R. Computational logic (Stanford University, 1998).
- Hermenegildo, M. y Cabeza, D. Lógica algorítmica (Universidad Politecnica de Madrid, 1998).
- Paulson, L.C. Logic and Proof (University of Cambridge, 1998).
- Shapiro, S.C. Foundations of logic & inference (Tutorial given at the 14th International Joint Conference on Artificial Intelligence, August 20, 1995)