Los idiomas y la coherencia

Título original:

Languages and the Consistency

Contenido del libro:

El trabajo descrito en este libro forma parte del proyecto "ENGLISH BEANS", que es un programa de aprendizaje de inglés en línea. Su objetivo es ayudar a los estudiantes de primaria y secundaria a mejorar la eficacia del aprendizaje del inglés mediante el uso de tecnologías de vanguardia como el Procesamiento del Lenguaje Natural, Corpus y Knowledge Graph. "English Beans" tiene una arquitectura jerárquica de múltiples niveles y una estructura compleja, y también implica una variedad de módulos y herramientas de terceros. La coherencia, entre los diferentes módulos y herramientas, es por tanto un problema clave a efectos de la integridad del proyecto "ENGLISH BEANS". El lenguaje EXPRESS (ISO 10303-11) se introdujo en el proyecto para describir los conocimientos, la información y los datos relativos de manera semiformal. El trabajo de comprobación, análisis y simulación se aplicaría entonces a este nivel semiformal para garantizar la coherencia y la integridad del sistema global.

Un modelo EXPRESS correcto no sólo debe ser sintácticamente correcto, sino también semánticamente completo y coherente. En este contexto, la definición de coherencia es que no debe haber restricciones conflictivas en el modelo, de modo que éste y todos sus subcomponentes puedan coexistir correctamente en una instanciación.

Los enfoques actuales de la comprobación de modelos EXPRESS se centran en la comprobación sintáctica y semántica del lenguaje y en la comprobación de los datos de instancia con respecto a las restricciones del modelo. El enfoque que se aborda en este libro es diferente, ya que considera las cuestiones de coherencia semántica mediante el análisis de la definición del modelo EXPRESS.

La consistencia es en parte el objetivo de varios paradigmas como UML, OWL y la Programación por Restricciones (CP). Abordar los problemas de consistencia en esos paradigmas requiere una semántica formal y tecnologías de razonamiento que puedan cubrir plenamente esa semántica formal. El trabajo que aquí se describe utiliza estos enfoques formales, y más concretamente la Programación de Restricciones, para proporcionar un entorno de comprobación de la coherencia de los modelos EXPRESS.