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

• Tema 0: Representación del conocimiento en lógica de primer orden.
• Tema 1: Introducción a la representación del conocimiento y razonamiento.
• Tema 2: El lenguaje de la lógica de primer orden.
• Tema 3: Ingeniería del conocimiento.
• Tema 4: Razonamiento mediante resolución.
• Tema 5: Razonamiento con cláusulas de Horn.
• Tema 6: Control del razonamiento.
• Tema 7: Sistemas de reglas de producción.
• Tema 8: Representación orientada a objetos.
• Tema 9: Lógicas descriptivas.
• Tema 10: Herencia.
• Tema 11: Razonamiento por defecto.
• Tema 12: Vaguedad, incertidumbre y grados de creencia.
• Tema 13: Explicación y diagnóstico.
• Tema 14: Acciones.
• Tema 15: Planificación.
• Tema 16: El equilibrio entre expresividad y tratabilidad.
• Tema 17: Razonamiento en lógicas de orden superior.

[ Inicial | Temas | Documentación | Sistemas ]