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

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.

[1]  Dirk Herrmann,et al.  Essays In Logical Semantics , 2016 .

[2]  Thomas F. Icard III,et al.  Recent Progress on Monotonicity , 2014, LILT.

[3]  Philipp Koehn,et al.  Synthesis Lectures on Human Language Technologies , 2016 .

[4]  Johan Bos,et al.  Recognising Textual Entailment with Robust Logical Inference , 2005, MLCW.

[5]  Richard Moot.  The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics , 2012 .

[6]  Kazimierz Ajdukiewicz.  Syntactic Connexion (1936) , 1978 .

[7]  J.F.A.K. van Benthem,et al.  Language in Action: Categories, Lambdas and Dynamic Logic , 1997 .

[8]  Elena Akhmatova,et al.  Textual Entailment Resolution via Atomic Propositions , 2005 .

[9]  Yorick Wilks,et al.  Natural language inference. , 1973 .

[10]  Valeria de Paiva,et al.  Perspectives on Semantic Representations for Textual Inference , 2013 .

[11]  Christopher D. Manning,et al.  Natural Logic for Textual Inference , 2007, ACL-PASCAL@ACL.

[12]  Kazimierz Ajdukiewicz,et al.  The scientific world-perspective and other essays, 1931-1963 , 1978 .

[13]  David R. Dowty.  The Role of Negative Polarity and Concord Marking in Natural Language Reasoning , 1994 .

[14]  Emmon Bach,et al.  Categorial Grammars as Theories of Language , 1988 .

[15]  J. Benthem.  A brief history of natural logic , 2008 .

[16]  K. Markert,et al.  When logical inference helps determining textual entailment ( and when it doesn ’ t ) , .

[17]  James R. Curran,et al.  Parsing the WSJ Using CCG and Log-Linear Models , 2004, ACL.

[18]  Simone Paolo Ponzetto,et al.  BabelNet: The automatic construction, evaluation and application of a wide-coverage multilingual semantic network , 2012, Artif. Intell..

[19]  Mark Steedman,et al.  Combinatory Categorial Grammar , 2011 .

[20]  Lauri Karttunen.  From Natural Logic to Natural Reasoning , 2015, CICLing.

[21]  Dan I. Moldovan,et al.  Applying COGEX to Recognize Textual Entailment , 2005, MLCW.

[22]  Robert Dondero.  Princeton University , 2001 .

[23]  Victor Sanchez,et al.  Studies on Natural Logic and Categorial Grammar , 1991 .

[24]  Rajat Raina,et al.  Robust Textual Inference Via Learning and Abductive Reasoning , 2005, AAAI.