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 investigación (ICM) desarrollado por Colin Potts y sus colegas en el Instituto de Georgia. de tecnología. [4] El proceso de parametrización complementa el método de Adquisición de Conocimiento y Especificación Automática (KAOS), [5] que formaliza las respuestas a las preguntas de ICM cuándo , por qué y cómo en Lógica Temporal , para completar la formalización de ICM. 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 de dominio comunes con 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 consulta (ICM) se introdujo para impulsar la obtención de información entre ingenieros y partes interesadas en la ingeniería de requisitos. [4] El ICM consta de preguntas quién , qué , dónde , por qué , cómo y cuándo . Todas las preguntas, excepto las de cuándo , que requieren una lógica temporal para representar dichos fenómenos, se han alineado con el metamodelo en la parametrización semántica utilizando la lógica de descripción (DL).
El proceso de parametrización semántica se basa en la Lógica de Descripción , en la que el TBox se compone de palabras de un diccionario , incluidos sustantivos, verbos y adjetivos, y el ABox se divide en dos conjuntos de aserciones: 1) aquellas aserciones que provienen de palabras del declaración del lenguaje natural, llamada fundamento , y 2) aquellas afirmaciones que infiere el modelador (humano), llamada metamodelo . Considere la siguiente declaración en lenguaje natural no estructurado (UNLS) (consulte Breaux et al. [3] para una discusión más amplia):
El modelador primero identifica polisemas intensionales y extensionales y sinónimos, denotados por los subíndices: el primer subíndice se refiere únicamente 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 únicamente 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 de la declaración y los conceptos del 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.