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

Autores: Lidia Moreno Boronat , Manuel Palomar Sanz , Antonio Molina Marco
Localización: Procesamiento del lenguaje natural, ISSN 1135-5948, Nº. 14, 1994, págs. 133-148
Idioma: español
Enlaces
- Texto completo
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.