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).
Class Deals by MOOC List - Click here and see Coursera's Active Discounts, Deals, and Promo Codes.
Course 2 of 9 in the Introducción a la inteligencia artificial Specialization.
Syllabus
WEEK 1
Lógica proposicional
En este módulo de razonamiento lógico podrás familiarizarte con la lógica proposicional. Verás una primera manera de formalizar razonamiento y los problemas NP-completos, que son arquetípicos en inteligencia artificial.
WEEK 2
Lógica proposicional parte 2
En este módulo de razonamiento lógico podrás familiarizarte con la lógica proposicional. Verás una primera manera de formalizar razonamiento y los problemas NP-completos, que son arquetípicos en inteligencia artificial.
WEEK 3
Lógica temporal y Lógica de predicados
En este módulo de razonamiento lógico podrás familiarizarte con la lógica temporal para entender los conceptos básicos de los "verificadores de modelos" y con la lógica de predicados para sentar las bases de varias técnicas de inteligencia artificial.
WEEK 4
Teoría de la probabilidad
En este módulo de razonamiento probabilístico estarás familiarizado con dos modelos gráficos probabilísticos: las redes bayesianas y las cadenas de Markov.
WEEK 5
Teoría de la probabilidad (parte 2)
En este módulo de razonamiento probabilístico estarás familiarizado con un modelo gráfico probabilístico: los procesos de decisión de Markov.
WEEK 6
Teoría de la probabilidad (parte 3)
En este módulo de razonamiento probabilístico estarás familiarizado con un modelo gráfico probabilístico: los procesos de decisión de Markov.
