2.9.3 IS/Raciocinio y representación básica de conocimiento (3 horas Core-Tier1)

Temas:
Core Tier2

• Revisión de la lógica proposicional y de predicados
• Resolución y demostración de teoremas (sólo la lógica proposicional).
• Encadenamiento hacia adelante, encadenamiento hacia atrás.
• Examen de razonamiento probabilístico, el teorema de Bayes.

Objetivos de Aprendizaje (Learning Outcomes):
Core-Tier2:

1. Traducir una sentencia en lenguaje natural (Por ejemplo español) en una declaración lógica de predicados [Usar]
2. Convertir una declaración lógica en forma de cláusula [Usar]
3. Aplicar resolución a un conjunto de declaraciones lógicas para responder una consulta [Usar]
4. Hacer una inferencia probabilística para un problema real usando el teorema de Bayes para determinar la probabilidad que se cumpla una hipótesis [Usar]