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

Temas:
Core Tier2

• Revisión de la lógica proposicional y de predicados
  Ref: Lógica básica
• 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.
  Ref: Probabilidad Discreta

Objetivos de Aprendizaje:
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]