A Tableau Prover for Natural Logic and Language

Modeling the entailment relation over sentences is one of the generic problems of natural language understanding. In order to account for this problem, we design a theorem prover for Natural Logic, a logic whose terms resemble natural language expressions. The prover is based on an analytic tableau method and employs syntactically and semantically motivated schematic rules. Pairing the prover with a preprocessor, which generates formulas of Natural Logic from linguistic expressions, results in a proof system for natural language. It is shown that the system obtains a comparable accuracy (81%) on the unseen SICK data while achieving the state-of-the-art precision (98%).

[1]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[2]  Gemma Boleda,et al.  UTexas: Natural Language Semantics using Distributional Semantics and Probabilistic Logic , 2014, *SEMEVAL.

[3]  G. Lakoff.  Linguistics and natural logic , 1970, Synthese.

[4]  Johan Bos,et al.  Towards a large-scale formal semantic lexicon for text processing ! , 2009 .

[5]  Man Lan,et al.  ECNU: One Stone Two Birds: Ensemble of Heterogenous Measures for Semantic Relatedness and Textual Entailment , 2014, *SEMEVAL.

[6]  Francis Jeffry Pelletier,et al.  Representation and Inference for Natural Language: A First Course in Computational Semantics , 2005, Computational Linguistics.

[7]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

[8]  M. Marelli,et al.  SemEval-2014 Task 1: Evaluation of Compositional Distributional Semantic Models on Full Sentences through Semantic Relatedness and Textual Entailment , 2014, *SEMEVAL.

[9]  Christopher D. Manning,et al.  Modeling Semantic Containment and Exclusion in Natural Language Inference , 2008, COLING.

[10]  Akademie van Wetenschappen,et al.  Koninklijke Nederlandse Akademie Van Wetenschappen , 2001 .

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

[12]  Richard Montague,et al.  ENGLISH AS A FORMAL LANGUAGE , 1975 .

[13]  Reinhard Muskens,et al.  An Analytic Tableau System for Natural Logic , 2009, Amsterdam Colloquium on Logic, Language and Meaning.

[14]  Alice Lai,et al.  Illinois-LH: A Denotational and Distributional Approach to Semantics , 2014, *SEMEVAL.

[15]  Stefan Evert,et al.  SemantiKLUE: Robust Semantic Similarity at Multiple Levels Using Maximum Weight Matching , 2014, *SEMEVAL.

[16]  Malvina Nissim,et al.  The Meaning Factory: Formal Semantics for Recognizing Textual Entailment and Determining Semantic Similarity , 2014, *SEMEVAL.

[17]  Mark Steedman,et al.  CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank , 2007, CL.

[18]  Christiane Fellbaum,et al.  Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.

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

[20]  Mirella Lapata,et al.  Composition in Distributional Models of Semantics , 2010, Cogn. Sci..

[21]  Malvina Nissim,et al.  Adding Semantics to Data-Driven Paraphrasing , 2015, ACL.

[22]  Stephen Pulman,et al.  Using the Framework , 1996 .

[23]  Katrin Erk,et al.  On the Proper Treatment of Quantifiers in Probabilistic Logic Semantics , 2015, IWCS.

[24]  Marco Marelli,et al.  A SICK cure for the evaluation of compositional distributional semantic models , 2014, LREC.

[25]  Johan Bos,et al.  Wide-Coverage Semantic Analysis with Boxer , 2008, STEP.

[26]  Alexander F. Gelbukh,et al.  UNAL-NLP: Combining Soft Cardinality Features for Semantic Textual Similarity, Relatedness and Entailment , 2014, *SEMEVAL.

[27]  Johan Bos,et al.  Linguistically Motivated Large-Scale NLP with C&C and Boxer , 2007, ACL.

[28]  Mark Steedman,et al.  A* CCG Parsing with a Supertag-factored Model , 2014, EMNLP.

[29]  Chris Callison-Burch,et al.  PPDB: The Paraphrase Database , 2013, NAACL.

[30]  Johan Bos,et al.  Rebanking CCGbank for Improved NP Interpretation , 2010, ACL.

[31]  John A. Carroll,et al.  Applied morphological processing of English , 2001, Natural Language Engineering.

[32]  Ido Dagan,et al.  The Third PASCAL Recognizing Textual Entailment Challenge , 2007, ACL-PASCAL@ACL.

[33]  Johan Bos,et al.  Recognising Textual Entailment with Logical Inference , 2005, HLT.

[34]  Evert W. Beth,et al.  Semantic Entailment And Formal Derivability , 1955 .

[35]  Martin Kay,et al.  Syntactic Process , 1979, ACL.

[36]  Lasha Abzianidze.  Towards a Wide-Coverage Tableau Method for Natural Logic , 2014, JSAI-isAI Workshops.

[37]  Christopher D. Manning,et al.  NaturalLI: Natural Logic Inference for Common Sense Reasoning , 2014, EMNLP.

[38]  Christopher D. Manning,et al.  Natural language inference , 2009 .

[39]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[40]  D. Gabbay,et al.  Handbook of tableau methods , 1999 .