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

被引：0

作者：

Lavalle, Jesus ^{[1
,2
]}

Montes, Manuel ^{[1
]}

Jimenez, Hector ^{[3
]}

Villasenor, Luis ^{[1
]}

Beltran, Beatriz ^{[2
]}

机构：

[1] Inst Nacl Astrofis Opt & Electr, Coordinac Ciencias Computac, Santa Maria Tonanzintla, Mexico

[2] Benemerita Univ Autonoma Puebla, Fac Ciencias Comp, Puebla, Mexico

[3] Univ Autonoma Metropolitana, Unidad Cuajimalpa, Div Ciencias Comunicac & Diseno, Dept Tecnol Informac, Ciudad De Mexico, Mexico

来源：

COMPUTACION Y SISTEMAS | 2018年 / 22卷 / 01期

关键词：

Textual entailment; automatic theorem proving; natural logic;

D O I：

10.13053/CyS-22-1-2778

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：119 / 135

页数：17

共 50 条

[21] Theorem proving system for logic design verification
Yamada, Naoyuki
Kobayashi, Yasuhiro
Kiguchi, Takashi
Journal of information processing, 1988, 11 (02) : 92 - 104
[22] Optical vector logic theorem-proving
Westphal, J
Caulfield, J
Hardy, J
Qian, L
Proceedings of the 8th Joint Conference on Information Sciences, Vols 1-3, 2005, : 1323 - 1326
[23] Theorem Proving as Constraint Solving with Coherent Logic
Predrag Janičić
Julien Narboux
Journal of Automated Reasoning, 2022, 66 : 689 - 746
[24] Computer theorem proving in some extended logic
Plodczyk, Slawomir
Wesserling, Janusz
Mulawka, Jan
PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2018, 2018, 10808
[25] Logic Against Bias: Textual Entailment Mitigates Stereotypical Sentence Reasoning
Luo, Hongyin
Glass, James
17TH CONFERENCE OF THE EUROPEAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, EACL 2023, 2023, : 1243 - 1254
[26] AUTOMATIC THEOREM-PROVING .2.
VORONKOV, AA
DEGTYAREV, AI
CYBERNETICS, 1987, 23 (04): : 547 - 556
[27] An application of automatic theorem proving in computer vision
Bondyfalat, D
Mourrain, B
Papadopoulo, T
AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS, 1999, 1669 : 207 - 231
[28] AUTOMATIC THEOREM PROVING WITH RENAMABLE AND SEMANTIC RESOLUTION
SLAGLE, JR
JOURNAL OF THE ACM, 1967, 14 (04) : 687 - &
[29] The role and resolution of textual entailment in Natural Language Processing applications
Kozareva, Zornitsa
Montoyo, Andres
NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS, PROCEEDINGS, 2006, 3999 : 186 - 196
[30] Telescope guidance via automatic theorem proving
Cherkashin, E
Vassilyev, S
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 1439 - 1444

← 1 2 3 4 5 →