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

Anexo A. Reglas simples de derivación de
predicados en la forma lógica
En el capítulo 3 se ha comentado que la derivación de la forma lógica
consiste en un proceso composicional que empieza en las hojas del
árbol de dependencias y continúa por sus ramificaciones en sentido ascendente
hasta llegar a la raíz. Luego, la primera tarea del proceso de
derivación de la forma lógica consiste en resolver los nodos hoja del
árbol de dependencias. En el mismo capítulo, también se ha justificado
la necesidad de reglas simples cuyo propósito es resolver los predicados
de la forma lógica generados en las hojas del árbol de dependencias. A
continuación se especifican estas reglas simples.
Especificación de las reglas simples
Tal y como matiza el algoritmo Regla Simple detallado en el capítulo 3,
el primer paso consiste en decidir si el nodo hoja genera o no un predicado
en la forma lógica. Los nodos hoja que infieren un predicado en la
forma son aquellos cuya categoría léxica se corresponda con sustantivo,
adjetivo, indeterminado y preposición. Cabe destacar, que en el análisis
de dependencias, los adverbios son etiquetados de la misma manera
que los adjetivos y, en la forma lógica, tienen el mismo tratamiento, a
excepción de los adverbios que indican la negación del verbo.
Una vez comprobada la categoría léxica del nodo hoja, en el caso de
que ésta se corresponda con algún tipo de los comentados en el párrafo
anterior, el siguiente paso del algoritmo consiste en generar el predicado
asociado al nodo hoja. A continuación se especifica la derivación de los
predicados asociados a los nodos hoja atendiendo a la categoría léxica
de los nodos hoja.
Derivación de predicados en nodos hoja del tipo sustantivo
Los nodos hoja del tipo sustantivo infieren un predicado con un único
argumento que queda instanciado con una variable del tipo x. A continuación,
el cuadro 57 muestra un ejemplo de derivación del predicado
asociado a un nodo hoja de tipo sustantivo.