Un formalismo para la extracción de información semántica en textos matemáticos

  1. Díaz García, Julia
unter der Leitung von:
  1. Pilar Rodríguez Marín Doktorvater/Doktormutter

Universität der Verteidigung: Universidad Autónoma de Madrid

Jahr der Verteidigung: 1995

Gericht:
  1. Roberto Moriyón Salomón Präsident/in
  2. Manuel Alfonseca Moreno Sekretär/in
  3. Luis de Sopeña Pastor Vocal
  4. Kepa Sarasola Gabiola Vocal
  5. Ana M. García Serrano Vocal

Art: Dissertation

Teseo: 50224 DIALNET lock_openBiblos-e Archivo editor

Zusammenfassung

EL TRABAJO DE INVESTIGACION QUE SE PRESENTA HA SIDO DESARROLLADO EN EL MARCO DEL PROYECTO PROGENES (FINANCIADO POR EL PLAN NACIONAL DE INVESTIGACION, PROGRAMA NACIONAL DE TECNOLOGIA DE INFORMACION Y DE LAS COMUNICACIONES, PROYECTO 352,90). PROGENES (PROOF GENERATOR EXPERT SYSTEM) ES UN PROYECTO DE INVESTIGACION BASICA DEDICADO AL DESARROLLO DE UN SISTEMA CAPAZ DE RESOLVER ENUNCIADOS EN LENGUAJE NATURAL. AL SISTEMA SE LE PROPORCIONA LA MISMA INFORMACION, Y EN LA MISMA FORMA, QUE A CUALQUIER PERSONA QUE TUVIERA QUE RESOLVER EL PROBLEMA. POR LO TANTO SE HA INCORPORADO AL SISTEMA UNA INTERFAZ CAPAZ DE ENTENDER EL TEXTO DE LOS ENUNCIADOS EXPRESADOS EN LENGUAJE NATURAL, E INTERPRETARLOS SEGUN UNA SEMANTICA QUE REFLEJA CONCEPTOS Y RELACIONES EXISTENTES EN ESTA AREA DE CONOCIMIENTOS. EL OBJETIVO DE ESTA TESIS HA SIDO DISEÑAR E IMPLEMENTAR UN FORMALISMO SEMANTICO QUE REPRESENTE EL TEXTO INICIAL DE LOS ENUNCIADOS, UTILIZANDO MECANISMOS COMPOSICIONALES GENERALES, RESOLVIENDO LAS AMBIGUEDADES LEXICAS QUE APARECEN EN LOS TEXTOS Y EFECTUANDO UN TRATAMIENTO DE LA COMPLEJIDAD SEMANTICA.