Razonamiento automático
Profesores
- José A. Alonso Jiménez
- Miguel A. Gutiéz Naranjo
Contenidos
- Programación lógica y metaprogramación.
- Razonamiento con conocimiento estructurado.
- Razonamiento con lenguaje natural.
- Razonamiento con información incompleta.
- Razonamiento inductivo y síntesis de programas.
- Razonamiento automático sobre programas.
Metodología
La asignatura es cuatrimestral. Las clases serán teóricas (en el
aula) y prácticas (en el laboratorio).
Evaluación
La nota de la asignatura se obtendrá a partir de las notas de las
prácticas, los trabajos y el examen.
Bibliografía
-
Boyer, R.S. y Moore, J.S.
A Computational Logic Handbook (2nd edition)
(Academic Press, 1998)
-
Bundy, A.
The Computer Modelling of Mathematical Reasoning \
(Academic Press, 1983)
-
Chang, C.L. y Lee, R.C.T.
Symbolic Logic and Mechanical Theorem Proving
(Academic Press, 1973)
-
Duffy, D.A.
Principle of Automated Theorem Proving
(John Wiley, 1991)
-
Flach, P.
Simply Logical (Intelligent Reasoning by Example)
(John Wiley, 1994)
-
Flener, P.
Logic Program Synteshis from Incomplete Information
(Kluwer Academic Publishers, 1995)
-
Genesereth, M.R. y Nilsson, N.J.
Logical Foundations of Artificial Intelligence
(Morgan Kaufmann, 1987)
-
Nerode, A. y Shore, R.A.
Logic for Applications (2nd edition)
(Springer-Verlag, 1997)
-
Poole, D.; Mackworth, A. y Goebel, R.
Computational Intelligence (a Logical Approach)
(Oxford University Press, 1998)
-
Wos, L. y als.
Automated Reasoning (Introduction and Applications)
(McGraw-Hill, 1992)