Vivificación

La vivifacción es una operación sobre una base de conocimiento de lógica descriptiva para mejorar el rendimiento de un razonador semántico . La vivifacción reemplaza una disyunción de conceptos.${\displaystyle C_{1}\sqcup C_{2}\ldots \sqcup C_{n}}$por el subsumidor menos común de los conceptos${\displaystyle C_{1},C_{2},\ldots C_{n}}$.

El objetivo de esta operación es mejorar el rendimiento del sistema de razonamiento sustituyendo un conjunto complejo de conceptos por un único concepto que englobe los conceptos originales.

Por ejemplo, consideremos el ejemplo dado en (Cohen 92): Supongamos que tenemos el concepto${\displaystyle {\textrm {PIANISTA(Jill)}}\vee {\textrm {ORGANISTA(Jill)}}}$Este concepto puede transformarse en un concepto más sencillo.${\displaystyle {\textrm {JUGADORA DE TECLADO(Jill)}}}$Este resumen da lugar a una aproximación que puede no ser exactamente equivalente a la original.

La vivificación de la base de conocimiento no es necesariamente exacta. Si el razonador opera bajo el supuesto de mundo abierto, podemos obtener resultados sorprendentes. En el ejemplo anterior, si reemplazamos la disyunción con el concepto vivificado, llegaremos a un resultado sorprendente.

En primer lugar, encontramos que el razonador ya no clasificará a Jill ni como pianista ni como organista. Aunque${\displaystyle {\textrm {ORGANISTA}}}$y${\displaystyle {\textrm {PIANISTA}}}$Son las únicas dos subclases; según la OWA, ya no podemos clasificar a Jill como intérprete de una u otra. La razón es que puede haber otro instrumento de teclado (por ejemplo, un clavecín) que Jill toque, pero que no tenga una subclase específica.

1. Cohen, WW, Borgida, A., Hirsh, H., Computing Least Common Subsumers in Description Logics, En: Proc. AAAI-92, AAAI Press/The MIT Press, 1992, páginas 754—760. "citeseer" . Archivado del original el 19 de febrero de 2008. Recuperado el 26 de enero de 2008 .
2. Baader, F., Kusters, R., Wolter F., Extensiones a las lógicas de descripción. En F. Baader, D. Calvanese, D. McGuinness, D. Nardi y PF Patel-Schneider, editores, The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003. "citeseer" . Archivado del original el 12 de junio de 2008. Recuperado el 26 de enero de 2008 .