Referencias Bibliográficas: [,,]
Tópicos
- Repaso de lógica proposicional y lógica de predicados.
- Resolución y prueba de teoremas.
- Inferencia no monotónica.
- Razonamiento probabilístico.
- Teorema de Bayes.
Objetivos
- Explicar la operación de la técnica de resolución para probar teoremas.
- Explicar la diferencia entre inferencia monotónica y no monotónica.
- Discutir las ventajas y defectos del razonamiento probabilístico.
- 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
