5.10.3 IS/Razonamiento basado en conocimiento. (4 horas)

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.