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

52 3. La Forma Lógica
Reglas de interpretación semántica. Relacionadas con las anteriores
reglas sintácticas, las reglas de interpretación semántica permiten dar
significado a las estructuras sintácticas obtenidas por las anteriores
reglas sintácticas.
En este segundo tipo de reglas, por cada expresión de categoría gramatical
definida en las reglas sintácticas, una forma lógica especifica
la interpretación semántica del correspondiente constituyente.
Este tipo de gramáticas suelen ser modeladas a partir de la utilización
del lenguaje de programación lógica Prolog (Colmerauer & Roussel,
1996). El desarrollo basado en este lenguaje de programación tiene un
alto componente lógico basado en cláusulas de Horn (Hodges, 1993) que
constituyen reglas del tipo modus ponendo ponens, es decir, si es verdad
el antecedente, entonces es verdad el consecuente. Trabajos como el de
Pereira et al. (1983) son un claro ejemplo de este tipo de tratamiento.
Este trabajo de investigación explora las relaciones entre el parsing
y la deducción destacando el procedimiento de pruebas de deducción
para las cláusulas definidas. La conexión entre el análisis sintáctico y
la deducción está basada en la axiomatización de gramáticas libres de
contexto en cláusulas definidas, siendo las cláusulas definidas un subconjunto
de la lógica de primer orden (Kowalski, 1980) (van Emden &
Kowalski, 1976). La axiomatización permite identificar algoritmos de
análisis sintácticos libres de contexto con procedimientos de prueba para
una clase restringida de cláusulas definidas derivadas a partir de una
serie de reglas libres de contexto. Cuando se utiliza un procedimiento
de pruebas de cláusulas definidas, como Prolog, una declaración objetivo
requiere el procedimiento de prueba para encontrar posibles instancias
que cumplan dicha declaración objetivo. Para la deducción en las
cláusulas definidas cabe destacar que la regla de inferencia fundamental
se basa en una aplicación de reglas de resolución. Como beneficio principal
destaca el mecanismo teóricamente limpio para conectar el análisis
sintáctico con la inferencia necesaria para la interpretación semántica.
En la década de los ochenta, el trabajo presentado por Stallard (1987)
utiliza las formas lógicas como mecanismo de representación formal
del texto utilizando la notación definida en la lógica de primer orden.
Este trabajo presenta un esquema en dos niveles para la interpretación
semántica del texto donde el primer nivel trata las consecuencias
semánticas de la estructura sintáctica mientras que el segundo nivel
trata la elección adecuada del significado de las palabras. En el primer
nivel, los significados de las palabras ambiguas, referencias pronominales,
nominales compuestos y metonímias no son tratadas sino que son
representadas por variables libres sobre predicados y funciones. La dependencia
del contexto del significado léxico es tratada en el segundo
nivel como un proceso de propagación de restricciones que asigna valo-