Representación del conocimiento textual mediante técnicas lógico ...

tringido de manuales del sistema operativo Unix.
3.3 La forma lógica en aplicaciones de PLN 59
Moldovan et al. (2003) distingue cuatro tipos de predicados según su
función sintáctica. Cada predicado incluye su raíz léxica:
• Sustantivo. Este tipo de predicado representa a los sustantivos de
la frase y tiene un único argumento que se instancia con la variable
que identifica al objeto que cumple el predicado.
• Verbo. Este tipo de predicado representa a los verbos de la frase y
tiene tres argumentos. El primer argumento se instancia con la variable
que identifica exclusivamente la acción del verbo. El segundo
argumento se corresponde con la variable que identifica al objeto
que desempeña el rol de sujeto sintáctico del verbo. El tercer argumento
se corresponde con la variable que identifica al objeto que
hace las funciones de objeto sintáctico del verbo.
• Adjetivo. Este tipo de predicado representa a los adjetivos que aparecen
en la frase y tiene un único argumento que se instancia con
la variable que identifica al objeto que cumple el predicado. Generalmente,
el adjetivo suele acompañar a un sustantivo. Este hecho
hace que en la forma lógica ambos predicados queden instanciados
por la misma variable.
• Adverbio. Este tipo de predicado representa a los adverbios que
aparecen en la frase y tiene un único argumento que se instancia
con la variable que identifica al objeto que cumple el predicado. Generalmente,
el adverbio suele acompañar al verbo y, en este caso, en
la forma lógica ambos quedan identificados por la misma variable.
Al igual que en el caso de la forma lógica de Mollá et al., en este
formato de forma lógica, también existen predicados cuya función es
relacionar otros predicados de la forma lógica. Un ejemplo de ello son
también las preposiciones que introducen predicados con dos argumentos
que quedan instanciados con las variables identificadoras de
los predicados relacionados mediante la preposición. A continuación
el ejemplo 25 ilustra la representación de una frase a través de su
forma lógica asociada.
(25) Frase: John gave Mary the book on Saturday.
Forma lógica: John NN(x1) give VB(e1, x1, x3) Mary:NN (x2)
book NN(x3) on IN(e1, x4) Saturday NN(x4)