Esta asignatura se encuadra en el Master "Inteligencia Artificial Avanzada: Fundamentos, Métodos y Aplicaciones", y se presenta como optativa en la Especialidad "Sistemas Inteligentes de Diagnóstico, Planificación y Control". En ella se facilitan algunos sistemas lógicos como métodos de resolución de tareas en IA.

Gran parte del estudio se centra en la definición, uso correcto e implementación de estos sistemas; sin embargo, las actividades persiguen facilitar al estudiante un enfoque aplicado. De esta forma, la asignatura se presenta como una herramienta para la comprensión de otras y para el desarrollo del Trabajo Fin de Máster.