Temas de "Representación del conocimiento y automatización del razonamiento (2006-07)"

En esta página se encuentra el material del curso Representación del conocimiento y automatización del razonamiento. Se irán publicando conforme se vayan impartiendo.

1. Lógica de primer orden y argumentaciones.
   • Notas sobre simbolización de formas del lenguaje natural.
   • Introducción al razonamiento automático con OTTER.
   • Temas de "Lógica informática" (2005-06).
   • Trabajo 1: 50 ejercicios de argumentación.
2. Lógica de orden superior y razonamiento sobre especificaciones (PVS).
3. Lógica modal y agentes.
4. Lógica descriptiva y web semántica.

[ Inicial | Temas | Sistemas ]