Definición de un Esquema Preconceptual para la Obtención

TESIS DOCTORAL
DOCTORADO EN INGENIERÍA
Carlos Mario Zapata J.
DEFINICIÓN DE UN ESQUEMA PRECONCEPTUAL
PARA LA OBTENCIÓN AUTOMÁTICA DE
ESQUEMAS CONCEPTUALES DE UML
fórmula para separar sus partes. En la Figura 18 se puede apreciar un ejemplo tomado de
Blackburn y Bos (2003) sobre la manera de conversión de una expresión en λ-cálculo a
lógica de predicados de primer orden. Se han señalado algunas partes de la expresión inicial
en λ-cálculo (a, woman y walks) para apreciar el punto de partida; además, se utiliza el
símbolo @ para concatenar expresiones o para indicar en dónde hacer substituciones y por
qué valores.
Un tercer formalismo a tomar en consideración es el denominado Gramática Estructural de
Frases orientada por Encabezados (Head-driven Phrase Structure Grammar—HPSG)
(Pollard y Sag, 1994), la cual, según Lappin (2003) “usa grafos dirigidos para representar
toda la información lingüística como secuencias de características con tipos que toman
valores de clases especificadas, donde esos valores pueden, en sí mismos, ser estructuras de
características”; además, utilizan las denominadas matrices atributo-valor para realizar esa
representación. En la Figura 19 se muestra la representación en HPSG del verbo ayudar (en
inglés “help”).
Figura 19. Matriz Atributo-Valor para la representación de HPSG del verbo inglés “help”
(ayudar).
De la Figura 19, nótese que en esa matriz se consigna información fonológica, sintáctica y
semántica en relación con la palabra, de la siguiente manera:
30