1. Introducción a la Inteligencia Artificial (IA)

1. Definición
2. Enfoques de IA
3. Una breve historia de IA

2. Introducción a la programación en LISP
3. Búsqueda en espacios de estados

1. Búsqueda en resolución de problemas
2. Búsqueda no informada
3. Búsqueda heurística
4. Búsqueda en juegos de dos adversarios

4. Representación del conocimiento y razonamiento

1. Cálculo proposicional

1. Sintáxis
2. Semántica
3. Teoría de demostración

2. Cálculo de predicados

1. Sintaxis
2. Semántica
3. Teoría de demostración

3. Razonamiento automático

1. Fórmula clausal de fórmulas de primer orden
2. Unificación
3. Método de resolución-unificación
4. Estrategias de resolución

4. Introducción a planificación

1. Cálculo de situaciones
2. STRIPS
3. Planificación de orden parcial