Evaluación del uso de sistemas lógicos como soporte de la inferencia deductiva en IA y Ciencias de la Computación.
Esta asignatura de caracter optativo pertenece al Máster Universitario en "Inteligencia Artificial Avanzada: Fundamentos, Métodos y Aplicaciones" que se imparte por profesores de los Departamentos de "Inteligencia Artificial" y "Lenguajes y Sistemas Informáticos" de la ETSI Informática de la UNED. Esta asignatura es de carácter anual con una carga de 6 ECTS.
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.