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.