Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment

Authors

  • José de Jesús Lavalle Martínez Instituto Nacional de Astrofísica, Óptica y Electrónica. Benemérita Universidad Autónoma de Puebla
  • Manuel Montes y Gómez Instituto Nacional de Astrofísica, Óptica y Electrónica
  • Héctor Jiménez Salazar Universidad Autónoma Metropolitana, Unidad Cuajimalpa
  • Luis Villaseñor Pineda Instituto Nacional de Astrofísica, Óptica y Electrónica
  • Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla

DOI:

https://doi.org/10.13053/cys-22-1-2778

Keywords:

Textual entailment, automatic theorem proving, natural logic

Abstract

Recognizing Textual Entailment (RTE) is a Natural Language Processing task. It is very important in tasks as Semantic Search and Text Summarization. There are many approaches to RTE, for example, methods based on machine learning, linear programming, probabilistic calculus, optimization, and logic. Unfortunately, no one of them can explain why the entailment is carried on. We can make reasonings, with Natural Logic, from the syntactic part of a natural language expression, and very little semantic information. This paper presents an Automatic Theorem Prover for Natural Logic that allows to know precisely the relationships needed in order to reach the entailment in a class of natural language expressions.

Author Biographies

José de Jesús Lavalle Martínez, Instituto Nacional de Astrofísica, Óptica y Electrónica. Benemérita Universidad Autónoma de Puebla

PhD. Student in Coordinación de Ciencias Computacionales.Titular B Proffesor Researcher, Full Time in Facultad de Ciencias de la Computación.

Manuel Montes y Gómez, Instituto Nacional de Astrofísica, Óptica y Electrónica

Titular Researcher C in Coordinación de Ciencias Computacionales.

Héctor Jiménez Salazar, Universidad Autónoma Metropolitana, Unidad Cuajimalpa

Titular C Proffesor Researcher in División de Ciencias de la Comunicación y Diseño.

Luis Villaseñor Pineda, Instituto Nacional de Astrofísica, Óptica y Electrónica

Titular Researcher C in Coordinación de Ciencias Computacionales.

Beatriz Beltrán Martínez, Benemérita Universidad Autónoma de Puebla

Titular A Proffesor Researcher, Full Time in Facultad de Ciencias de la Computación.

Downloads

Published

2018-03-30

Issue

Vol. 22 No. 1 (2018): Thematic Issue on Language & Knowledge Engineering (Guest Editors: D. Pinto, D. Vilariño, B. Beltrán)

Section

Articles of the Thematic Issue

License 

Hereby I transfer exclusively to the Journal "Computación y 
Sistemas", published by the Computing Research Center (CIC-IPN),
the Copyright of the aforementioned paper. I also accept that these 
rights will not be transferred to any other publication, in any other 
format, language or other existing means of developing.
I certify that the paper has not been previously disclosed or simultaneo
usly submitted to any other publication, and that it does not contain 
material whose publication would violate the Copyright or other 
proprietary rights of any person, company or institution. I certify that 
I have the permission from the institution or company where I work or 
study to publish this work.
The representative author accepts the responsibility for the publication
of this paper on behalf of each and every one of the authors. 
This transfer is subject to the following conditions:
  • The authors retain all ownership rights (such as patent rights) of this work, except for the publishing rights transferred to the CIC, through this document.
  • Authors retain the right to publish the work in whole or in part in any book they are the authors or publishers. They can also make use of this work in conferences, courses, personal web pages, and so on.
  • Authors may include working as part of his thesis, for non-profit distribution only.