Temas de "Razonamiento automático"
[Curso 2002-03]
- Tema 1:
Introducción a la deducción automática.
- Tema 2:
Cálculo semántico proposicional con MACE.
- Tema 3:
Procedimiento general de demostración por resolución proposicional en
OTTER.
- Tema 4:
Resolución de primer orden.
- Tema 5:
Razonamiento automático con igualdad.
- Tema 6:
Aplicaciones de razonamiento automático.
- Tema 7:
Formalización en Prolog de la lógica proposicional.
- Tema 8:
Implementación en Prolog de los tableros semánticos.
- Tema 9:
Implementación en Prolog de la transformación a cláusulas.
- Tema 10:
Implementación en Prolog de la resolución.