Sistemas de producción e IA. estrategias de búsqueda para sistemas de producción de IA. Estrategias de exploración para sistemas de producción descomponibles. El cálculo de predicados IA. Sistemas de refutación por resolución. Sistemas de deducción basada en reglas. Sistemas generadores de planes básicos. Sistemas avanzados de generación de planes. Representaciones de objetos estructurados. Indice. Anexos. Bibliografia