Lenguaje de representación semántica basado en el cáculo de predicados
- Moreno Boronat, Lidia
- Palomar Sanz, Manuel
- Molina Marco, Antonio
ISSN: 1135-5948
Datum der Publikation: 1994
Nummer: 14
Seiten: 133-148
Art: Artikel
Andere Publikationen in: Procesamiento del lenguaje natural
Zusammenfassung
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.