3.9.3 AI/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 (Usage)]
2. Convertir una declaración lógica en forma de cláusula [Usar (Usage)]
3. Aplicar resolución a un conjunto de declaraciones lógicas para responder una consulta [Usar (Usage)]
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 (Usage)]