Tema 1. Introducción al lenguaje de programación Common Lisp
1.1 Common Lisp, un lenguaje interactivo
1.2 El evaluador de Common Lisp
1.3 Estructuras básicas de control: condicionales, recursividad e iteración
1.4 Estructuras de datos: listas
Tema 2. Técnicas de la Inteligencia Artificial: búsqueda en espacios de estados
2.1. Perspectiva histórica de la Inteligencia Artificial
2.2. Técnicas de la Inteligencia Artificial
2.3. Algoritmos básicos para sistemas inteligentes: Sistemas de producción y basados en reglas
2.4. Estrategias de control para búsquedas en espacios de estados
Tema 3. Representación del conocimiento: Lógica
3.1. Sintaxis para una lógica proposicional
3.2. Tablas de verdad e implicación lógica
3.3. Deducción y resolución
3.4. Lógica de predicados
Tema 4. Campos y aplicaciones de la Inteligencia Artificial: Procesamiento de lenguaje natural
4.1. Lenguajes y gramáticas
4.2. Análisis sintáctico como búsqueda
4.3. Consultas a bases de datos en lenguaje natural
Tema 5. Campos y aplicaciones de la Inteligencia Artificial: Bases de datos deductivas y planificación
5.1. Bases de datos deductivas
5.2. Planificación