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
Año de publicación: 1994
Número: 14
Páginas: 133-148
Tipo: Artículo
Otras publicaciones en: Procesamiento del lenguaje natural
Resumen
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.