Temas de "Razonamiento automático" (2001-02)
Deducción automática
- Tema 1:
Introducción.
- Tema 2:
Lógica proposicional: Sintaxis y semántica.
- Tema 3:
Lógica proposicional: Cálculos lógicos.
- Tema 4:
Lógica proposicional: Tableros semánticos.
- Tema 5:
Resolución en lógica de primer orden.
- Tema 6:
Razonamiento automático con igualdad.
Aprendizaje automático
- Tema 1:
Introducción al aprendizaje automático.
- Tema 2:
Aprendizaje de conceptos.
- Tema 3:
Árboles de decisión.
- Tema 4:
Introducción a la Programación Lógica Inductiva.
- Tema 5:
ILP: sistemas y aplicaciones.
- Tema 6:
Introducción a Aleph.