Lógica, Computación e IA

En el curso se presentan los mecanismos formales, basados en lógica computacional y en las técnicas de representación del conocimiento en Inteligencia artificial, utilizados para la representación del conocimiento en la Web, con especial hincapié en el proyecto de la Web Semántica y la Web Social (o Web 2.0). Concretamente:

• Se muestra y discute el equilibrio necesario entre expresividad y complejidad deductiva de distintos lenguajes. De esta forma, se pretende que el alumno quede capacitado para analizar este tipo de análisis
• Se presentan las lógicas descriptivas como una propuesta esencial para la creación y razonamiento con ontologías.

Los contenidos del curso son:

• Representación del Conocimiento y su adaptación a la Web.
• Representación y organización del conocimiento: Ontologías.
• Representación y organización colectiva del conocimiento: Folksonomías.
• Lógicas descriptivas.
• Introducción a la Web Semántica.
• Lenguajes para la representación de ontologías.
• Proyectos innovadores en la Web semántica y social