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

共 10 条

[1] A STUDY OF TEXTUAL ENTAILMENT
Rus, Vasile
McCarthy, Philip M.
McNamara, Danielle S.
Graesser, Arthur C.
[J]. INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2008, 17 (04) : 659 - 685
[2] Automatic Classification of Research Documents using Textual Entailment
Ojokoh, Bolanle Adefowoke
Omisore, Olatunji Mumini
Samuel, Oluwarotimi Williams
[J]. PROCEEDINGS OF THE 15TH ACM/IEEE-CS JOINT CONFERENCE ON DIGITAL LIBRARIES (JCDL'15), 2015, : 251 - 252
[3] The impact of summarisation on textual entailment - a case study on global warming arguments
Groza, Adrian
Popa, Oana Maria
[J]. PROCEEDINGS OF THE 2018 10TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMPUTERS AND ARTIFICIAL INTELLIGENCE (ECAI), 2018,
[4] Improving the precision of natural textual entailment problem datasets
Bernardy, Jean-Philippe
Chatzikyriakidis, Stergios
[J]. PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION (LREC 2020), 2020, : 6835 - 6840
[5] Telescope guidance via automatic theorem proving
Cherkashin, E
Vassilyev, S
[J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 1439 - 1444
[6] AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS
Goc, Daniel
Henshall, Dane
Shallit, Jeffrey
[J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 24 (06) : 781 - 798
[7] Automatic theorem proving and fuzzy situational search for decisions
Samokhvalov Y.Y.
[J]. Cybernetics and Systems Analysis, 2001, 37 (4) : 509 - 514
[8] Natural Language Processing Applications: A New Taxonomy using Textual Entailment
Elshazly, Manar
Haggag, Mohammed
Ehssan, Soha Ahmed
[J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2021, 12 (05) : 676 - 690
[9] Harmonization of conflicting medical opinions using argumentation protocols and textual entailment - a case study on Parkinson disease
Groza, Adrian
Nagy, Madalina Mandy
[J]. 2016 IEEE 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING (ICCP), 2016, : 163 - 170
[10] TABLEAU-BASED THEOREM-PROVING AND SYNTHESIS OF LAMBDA-TERMS IN THE INTUITIONISTIC LOGIC
BITTEL, O
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 262 - 278

← 1 →