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

Autores/as

  • José de Jesús Lavalle Martínez Benemérita Universidad Autónoma de Puebla Instituto Nacional de Astrofísica Óptica y Electrónica
  • 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

Palabras clave:

Textual entailment, automatic theorem proving, natural logic

Resumen

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.

Biografía del autor/a

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

Profesor Investigador Titular B de Tiempo Completo, Facultad de Ciencias de la Computación, Benemérita Universidad Autónoma de Puebla.

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.

Descargas

Publicado

2018-03-30

Número

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

Sección

Articles of the Thematic Issue

Licencia

Transfiero exclusivamente a la revista “Computación y Sistemas”, editada por el Centro de Investigación en Computación (CIC), los Derechos de Autor del artículo antes mencionado, asimismo acepto que no serán transferidos a ninguna otra publicación, en cualquier formato, idioma, medio existente (incluyendo los electrónicos y multimedios) o por desarrollar.

Certifico que el artículo, no ha sido divulgado previamente o sometido simultáneamente a otra publicación y que no contiene materiales cuya publicación violaría los Derechos de Autor u otros derechos de propiedad de cualquier persona, empresa o institución. Certifico además que tengo autorización de la institución o empresa donde trabajo o estudio para publicar este Trabajo.

El autor, representante acepta la responsabilidad por la publicación del Trabajo en nombre de todos y cada uno de los autores.

Esta Transferencia está sujeta a las siguientes reservas:

  • Los autores conservan todos los derechos de propiedad (tales como derechos de patente) de este Trabajo, con excepción de los derechos de publicación transferidos al CIC, mediante este documento.
  • Los autores conservan el derecho de publicar el Trabajo total o parcialmente en cualquier libro del que ellos sean autores o editores y hacer uso personal de este trabajo en conferencias, cursos, páginas web personal, etc.