Parametrización semántica

La parametrización semántica es un proceso de modelado conceptual para expresar descripciones en lenguaje natural de un dominio en lógica de predicados de primer orden . ^{[ 1 ] [ 2 ] [ 3 ]} El proceso produce una formalización de oraciones en lenguaje natural en lógica descriptiva para responder a las preguntas quién, qué y dónde en el Modelo de Ciclo de Indagación (MCI) desarrollado por Colin Potts y sus colegas en el Instituto Tecnológico de Georgia. ^{[ 4 ]} El proceso de parametrización complementa el método de Adquisición de Conocimiento y Especificación Automatizada (KAOS), ^{[ 5 ]} que formaliza las respuestas a las preguntas cuándo , por qué y cómo del MCI en lógica temporal , para completar la formalización del MCI. Los artefactos utilizados en el proceso de parametrización incluyen un diccionario que alinea el léxico del dominio con conceptos únicos, distinguiendo entre sinónimos y polisemas , y varios patrones de lenguaje natural que ayudan a mapear descripciones comunes del dominio a especificaciones formales.

La parametrización semántica define un metamodelo que consta de ocho roles que son independientes del dominio y reutilizables. Siete de estos roles corresponden a las relaciones temáticas de Jeffrey Gruber ^{[ 6 ]} y a los roles de caso en la gramática de casos de Charles Fillmore : ^{[ 7 ]}

El Modelo de Ciclo de Indagación (MCI) se introdujo para impulsar la obtención de información entre ingenieros y partes interesadas en la ingeniería de requisitos . ^{[ 4 ]} El MCI consta de preguntas de quién , qué , dónde , por qué , cómo y cuándo . Todas, excepto la pregunta de cuándo , que requiere una lógica temporal para representar tales fenómenos, se han alineado con el metamodelo en la parametrización semántica utilizando la lógica descriptiva (LD).

El proceso de parametrización semántica se basa en la lógica descriptiva , donde la TBox se compone de palabras de un diccionario , incluyendo sustantivos, verbos y adjetivos, y la ABox se divide en dos conjuntos de aserciones: 1) aquellas aserciones que provienen de palabras en la declaración en lenguaje natural, denominadas fundamento , y 2) aquellas aserciones que son inferidas por el modelador (humano), denominadas metamodelo . Considere la siguiente declaración en lenguaje natural no estructurada (UNLS) (véase Breaux et al. ^{[ 3 ]} para una discusión más extensa):

UNLS _1.0

El cliente _1,1 no debe compartir _2,2 el código de acceso _3,3 del cliente _1,1 con alguien _4,4 que no sea el proveedor _5,4 .

El modelador primero identifica polisemas y sinónimos intensionales y extensionales, denotados por los subíndices: el primer subíndice se refiere de forma única al índice intensional, es decir, el mismo primer índice en dos o más palabras se refiere al mismo concepto en el TBox; el segundo subíndice se refiere de forma única al índice extensional, es decir, dos segundos índices iguales en dos o más palabras se refieren al mismo individuo en el ABox. Este paso de indexación alinea las palabras en el enunciado y los conceptos en el diccionario. A continuación, el modelador identifica conceptos del diccionario para componer el metamodelo. La siguiente tabla ilustra la expresión DL completa que resulta de aplicar la parametrización semántica.