Artificial Reasoning

El razonamiento formal juega un papel importante en la inteligencia artificial. Hay dos maneras principales de formalizar razonamiento: una que enfatiza la deducción (lógica), y otra que enfatiza la incertidumbre (teoría de la probabilidad). En este curso vamos a cubrir una introducción tanto a la lógica (vamos a cubrir tres lógicas) como a la teoría de la probabilidad (vamos a cubrir tres modelos gráficos probabilísticos). Algunas tareas requieren programación básica en Python: El alumno deberá completar código al que se le ha eliminado una parte

• Understand formal reasoning principles using logic and probability
• Recognize three types of logic
• Identify three probabilistic graphical models
• Complete Python programming exercises

• Basic familiarity with topic terms
• Preparedness for applied exercises