Razonamiento automático (2000-01)
El curso se divide en dos partes: la primera aborda la deducción automática con Otter y Mace, incluyendo sus fundamentos y aplicaciones; la segunda se centra en el aprendizaje automático simbólico.
Temas
Deducción automática
- Tema 1: Introducción.
- Tema 2: Lógica proposicional.
- Tema 3: Demostraciones proposicionales.
- Tema 4: Resolución proposicional.
- Tema 5: Conceptualización relacional.
- Tema 6: Resolución relacional.
- Tema 7: Razonamiento automático con igualdad.
- Tema 8: Razonamiento automático y programación.
- Tema 9: Resolución de problemas con razonamiento automático.