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
Argitalpen urtea: 1994
Zenbakia: 14
Orrialdeak: 133-148
Mota: Artikulua
Beste argitalpen batzuk: Procesamiento del lenguaje natural
Laburpena
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.