Resumen de Lenguaje de representación semántica basado en el cáculo de predicados

Lidia Moreno Boronat , Manuel Palomar Sanz , Antonio Molina Marco

• Se presenta un formalismo para representar el significado de las oraciones el cual es una extensión del cálculo de predicados llamado Lenguaje de la Forma Lógica (LFL), basado en un trabajo de M. McCord presentado en [WALKER, 89]. En la construcción de la fórmula o Forma Lógica (FL) que representará el significado de una determinada oración intervendrán tanto las FL's asociadas a los elementos constituyentes de ésta como diversos mecanismos utilizados en el propio Analizador Semántico para tratar los problemas tales como ámbito de la cuantificación, negación, oraciones relativas, adverbios, comparativos, etc.