Portal Web de la UNED, Universidad Nacional de Educación a Distancia

El Programa de Desarrollo Profesional y Personal acoge cursos que dan derecho a la obtención de un Título Propio por la UNED. Cada curso se impartirá en una de las siguientes categorías: Experto/a Profesional, Enseñanza Abierta, Actualización Profesional y atienden una demanda de formación en respuesta a las necesidades e intereses del mundo del trabajo. Sus cursos estarán promovidos por la UNED o entidades sociales y económicas que busquen el apoyo académico de la Universidad para la mejor calidad de sus acciones de formación y promoción de sus colectivos laborales y profesionales.

Requisitos de acceso: no hay requisitos mínimos de acceso, salvo los específicos de cada curso establecidos por su director.

El curso es autocontenido en tanto que no se requieren conocimientos previos: se van describiendo lenguajes de representación y posibles cálculos realizables sobre esos lenguajes (quizá con el apoyo de sistemas de IA generativa).

Para la resolución de problemas, se propone aprender a formalizarlos sobre sistemas lógicos y resolverlos por razonamiento facilitado por el sistema.

Como lenguajes de formalización, se parte de la lógica proposicional y de predicados y se exponen luego otros sistemas especializados: para el razonamiento  sobre estados, eventos, acciones o agentes que intervienen con el conocimiento respectivo que se supone a cada uno. 

Para la construcción de las soluciones se dispone de herramientas como son los razonadores habituales en cada sistema o los sistemas de IA generativa.

1. Problemas representables sobre lógica de proposiciones. Razonamiento sobre decisiones cotidianas. Modelización proposicional de sistemas. Uso de SAT-solvers.

2. Problemas representables sobre lógica de predicados. Introducción a su uso en la fundamentación y en el razonamiento matemático, con referencia a probadores de teoremas. Representación de bases de conocimiento en Lógica de Predicados para su explotación en sistemas IA, con referencia a razonadores disponibles.

3. Problemas representables sobre lógicas modales y temporales. La consideración de diversos mundos posibles, o diversos estados accesibles, permite la representación de conceptos (como necesidad o posibilidad) así como la declaración de propiedades verificables de sistemas.

4. Problemas representables sobre lógicas epistémicas. Permiten representar la interacción entre agentes, incluyendo formalmente en la modelización el conocimiento común y el conocimiento parcial de cada uno de ellos.

5. Introducción complementaria a otros sistemas lógicos de interés. Breve presentación de otros sistemas que suplen limitaciones técnicas de los anteriores, como la declaración de ontologías mediante lógicas descriptivas. O bien de sistemas que amplían la capacidad de representación de los anteriores, como las lógicas que formalizan la incertidumbre o las lógicas no monótonas. 

En cada uno de los apartado del curso se plantean problemas y se describen lenguajes lógicos en los que se pueden representar la características relevantes de los mismos.

Se potenciará la puesta en común de los resultados en el foro y la cooperación en la modelización y en el uso de las herramientas sugeridas.

Iniciación y Medio

Duración: del martes 1 de diciembre de 2026 al viernes 14 de mayo de 2027.

Dedicación: 150 horas.

Director/a

7.1 Material disponible en la plataforma virtual

Todos los materiales de estudio se facilitan, en formato multimedia y navegable, a través de la plataforma virtual del curso.

Para la tutorización del curso, se recomienda la comunicación por el foro del curso y la asistencia a las video-conexiones que se irán programando.

Complementariamente, se pueden considerar los siguientes canales.

• José Luis Fernández Vindel (dpto. IA, UNED)
• jlvindel@dia.uned.es
• 91 398 7181 (martes, de 16 a 20h)

Para la evaluación se considera la entrega en el foro de una actividad para cada bloque del temario. Y, complementariamente, la discusión sobre las aportaciones de los compañeros.

Precio de matrícula: 180,00 €.

11.1 Ayudas al estudio y descuentos

Se puede encontrar información general sobre ayudas al estudio y descuentos en este enlace.

Debe hacer la solicitud de matrícula marcando la opción correspondiente, y posteriormente enviar la documentación al correo: ea-ps@adm.uned.es.

Del 7 de septiembre al 27 de noviembre de 2026.

Negociado de Enseñanza Abierta.