Título
Formal approaches to textual entailment, polarity, and pronominal anaphora
Autor
Jesús Lavalle
Colaborador
MANUEL MONTES Y GOMEZ (Asesor de tesis)
HECTOR JIMENEZ SALAZAR (Asesor de tesis)
Nivel de Acceso
Acceso Abierto
Materias
Natural logic - (LÓGICA NATURAL) Textual entailment - (VINCULACIÓN TEXTUAL) Polarity marking - (MARCADO DE POLARIDAD) Pronominal anaphora resolution - (RESOLUCIÓN PRONOMINAL DE LA ANÁFORA) Model checking - (COMPROBACIÓN DE MODELO) INGENIERÍA Y TECNOLOGÍA - (CTI) CIENCIAS TECNOLÓGICAS - (CTI) TECNOLOGÍA DE LOS ORDENADORES - (CTI) LENGUAJES DE PROGRAMACIÓN - (CTI)
Resumen o descripción
This dissertation is about the interaction of computational semantics and formal methods,
in the aim of finding answers to the question: How does natural language work? On the
last three decades, statistical and machine learning methods have taken command giving
good results in solving very specific tasks. Unfortunately, good results does not mean
good understanding. To know that a ninety per cent of the times I will get certain result
does not mean that I am comprehending the phenomenon under study.
This work shows how three aspects of computational semantics have been solved from
the point of view of formal methods. The main goal was to solve the problem of Recognizing
Textual Entailment, but very soon aspects of polarity computing and anaphora
resolution had to be considered as well. Fortunately, a characterization of the entailments
that can be done with Natural Logic have been found. Also, the computable concept
of polarity has coincided with respect to the algorithms analyzed. About pronominal
anaphora resolution it should be said that a method to solve anaphora in parsing time
has been found, without the need of a logical form. The method can solve Donkey, intra
and intersentencial anaphora.
Esta tesis trata de la interacción entre semántica computacional y métodos formales, con
el objetivo de encontrar respuestas a la pregunta: ¿Cómo funciona el lenguaje natural?
En las ´ ultimas tres décadas, los método estadísticos y de aprendizaje computacional han
dominado y dado buenos resultados al resolver tareas muy especıficas. Desafortunadamente,
buenos resultados no significan buen entendimiento. Saber que el noventa por
ciento de las veces se obtiene cierto resultado no significa que se está comprendiendo el
fenómeno estudiado.
Este trabajo muestra como tres aspectos de la semántica computacional han sido
resueltos desde el punto de vista de los método formales. El principal objetivo era
resolver el problema del Reconocimiento de Implicación Textual, pero muy pronto
también se tuvieron que considerar aspectos como el cálculo de polaridad y la resolución
de anáfora. Afortunadamente, se ha encontrado una caracterización de las implicaciones
que se pueden hacer con Lógica Natural. También, que el concepto computable de
polaridad coincide con respecto a los algoritmos analizados. Sobre la resolución de
anáfora pronominal se debe decir que se ha encontrado un método para resolverla al
momento de hacer el análisis sintáctico, sin necesitar alguna forma lógica. El método
puede resolver anáforas tipo Donkey, intra e intersentenciales.
Editor
Instituto Nacional de Astrofísica, Óptica y Electrónica
Fecha de publicación
15 de octubre de 2017
Tipo de publicación
Tesis de doctorado
Versión de la publicación
Versión aceptada
Recurso de información
Formato
application/pdf
Idioma
Inglés
Audiencia
Estudiantes
Investigadores
Público en general
Sugerencia de citación
Lavalle-Martínez JJ
Repositorio Orígen
Repositorio Institucional del INAOE
Descargas
728