(31101184) MÉTODOS LÓGICOS DE AUTOMATIZACIÓN DEL RAZONAMIENTO
PUNTOS FUERTES DE LA ASIGNATURA
Esta asignatura ya no se ofertará en el Máster de Investigación de IA para el próximo curso 2019-20. En cuanto a su interés en la oferta del máster, proporcionaba un recorrido sobre los sistemas lógicos que se usan en las tecnologías semánticas, especialmente en las que acaban configurando la Web de Datos Enlazados.
PUNTOS DÉBILES DE LA ASIGNATURA
El interés de matriculación en esta asignatura había decrecido en los últimos años porque estaba muy focalizada en el estudio las bases teóricas de los sistemas lógicos que sustentan la inferencia en las tecnologías semánticas. Por ello se consideró que era necesaria su extinción y se solicitó la inclusión en el programa de una nueva asignatura ("Web Semántica y Enlazado de Datos"), que facilita un recorrido más amplio sobre las tecnologías semánticas.
