MÉTODOS LÓGICOS DE AUTOMATIZACIÓN DEL RAZONAMIENTO

Subject's guides

Dentro del área KRR (Representación de conocimiento e Inferencia) se escoge, por limitaciones de tiempo, una línea de estudio.

Bloque 1: Lógica Proposicional y de Primer Orden (revisión)

Sintaxis y semántica. Conceptos semánticos básicos y su interrelación: satisfacibilidad, validez, equivalencia, consecuencia.
El problema de la satisfacibilidad proposicional: planteamiento y complejidad. Métodos y herramientas: Sat-solvers.
Deducción natural y Resolución: una revisión breve. Mayor énfasis en los sistemas de tablas analíticas (tableaux).
Aplicaciones de la Lógica de Primer Orden en IA. Herramientas. Limitaciones.

Bloque 2: Lógicas Descriptivas

Las limitaciones del uso de la Lógica de Primer Orden, como motivación en el diseño de Lógicas Descriptivas.
ALC: una lógica descriptiva básica y sus extensiones. Sintaxis y semántica. Reescritura en términos de (como fragmentos de) Lógica de Primer Orden.
Métodos y algoritmos: tablas analíticas, tableaux para lógicas descriptivas. Herramientas.
El compromiso entre expresividad y aumento de complejidad computacional: el impacto de la extensión de una lógica descriptiva con nuevos constructores.
El uso de lógicas descriptivas en el diseño de ontologías.

Bloque 3: Inferencia en Web Semántica

El lenguaje OWL para la declaración de ontologías utilizables sobre la infraestructura de la Web. Constructores de lógica descriptiva utilizados en su diseño. Perfiles de uso OWL, conforme se utilicen unos u otros contructores.
Inferencia sobre ontologías OWL: soporte en el diseño y en la explotación. Herramientas: editores y razonadores.
Particularización: la tecnología de Datos Enlazados sobre la Web (Linked Data). Facilidades de inferencia sobre estos conjuntos de datos, estructurados mediante ontologías ligeras.

Anexo (fuera de evaluación):

Lecturas generales sobre Representación del Conocimiento e Inferencia (lógicas modales, epistémicas, temporales, ...)