4.43.5.3 Raciocinio y representación básica de conocimiento (6 horas) [Habilidades C24]

Referencias Bibliográficas: [,,] Tópicos
  1. Revisión de la lógica proposicional y de predicados
  2. Resolución y demostración de teoremas (sólo la lógica proposicional).
  3. Encadenamiento hacia adelante, encadenamiento hacia atrás.
  4. Examen de razonamiento probabilístico, el teorema de Bayes.
Objetivos de Aprendizaje
  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]



Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, Universidad de Ingeniería y Tecnología, Lima-Perú
basado en el modelo de la Computing Curricula de IEEE-CS/ACM