6.35.4.3 IS/Razonamiento basado en conocimiento. (6 horas) [Nivel Bloom 2]

Referencias Bibliográficas: [,,]

Tópicos

  1. Repaso de lógica proposicional y lógica de predicados.
  2. Resolución y prueba de teoremas.
  3. Inferencia no monotónica.
  4. Razonamiento probabilístico.
  5. Teorema de Bayes.

Objetivos

  1. Explicar la operación de la técnica de resolución para probar teoremas.
  2. Explicar la diferencia entre inferencia monotónica y no monotónica.
  3. Discutir las ventajas y defectos del razonamiento probabilístico.
  4. Aplicar el teorema de Bayes para determinar probabilidades condicionales.



Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, Universidad Católica San Pablo, Arequipa-Peru
basado en el modelo de la Computing Curricula de IEEE-CS/ACM