Applying COGEX to Recognize Textual Entailment

This paper describes the system that LCC has devised to perform textual entailment recognition for the PASCAL RTE Challenge. Our system transforms each text-hypothesis pair into a two-layered logic form representation that expresses the lexical, syntactic, and semantic attributes of the text and hypothesis. A large set of natural language axioms are constructed for each text-hypothesis pair that help connect concepts in the hypothesis with concepts in the text. Our natural language logic prover is then used to prove entailment through abductive reasoning. The system's performance in the challenge resulted in an accuracy of 55%.

[1]  Dan I. Moldovan,et al.  Moving QA towards reading comprehension using context and default reasoning , 2005, AAAI 2005.

[2]  Anthony Preston,et al.  Book review: Automated Reasoning: 33 Basic Research Problems by Larry Wos (Prentice Hall 1988) , 1988, SGAR.

[3]  Christopher D. Manning,et al.  Robust Textual Inference using Diverse Knowledge Sources , 2005 .

[4]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[5]  Chitta Baral,et al.  Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning , 2005, 9th International Conference on Information Technology (ICIT'06).

[6]  Larry Wos,et al.  Automated reasoning - 33 basic research problems , 1988 .

[7]  Jerry R. Hobbs,et al.  Interpretation as Abduction , 1993, Artif. Intell..

[8]  Ido Dagan,et al.  Evaluating Predictive Uncertainty, Visual Objects Classification and Recognising textual entailment : selected proceedings of the First PASCAL Machine Learning Challenges Workshop , 2006 .

[9]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[10]  D. Bobrow,et al.  A Basic Logic for Textual Inference , 2005 .

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

[12]  Michael Collins,et al.  Head-Driven Statistical Models for Natural Language Parsing , 2003, CL.

[13]  George A. Miller,et al.  Introduction to WordNet: An On-line Lexical Database , 1990 .

[14]  Dan Moldovan,et al.  Models for the Semantic Classification of Noun Phrases , 2004, HLT-NAACL 2004.

[15]  Dan I. Moldovan,et al.  Lexical Chains for Question Answering , 2002, COLING.

[16]  Vasile Rus,et al.  Logic Form Transformation of WordNet and its Applicability to Question Answering , 2001, ACL.

[17]  Sanda M. Harabagiu,et al.  COGEX: A Logic Prover for Question Answering , 2003, NAACL.

[18]  Diego Mollá Aliod,et al.  Recognizing Textual Entailment Via Atomic Propositions , 2005, MLCW.

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

[20]  Dan Roth,et al.  An Inference Model for Semantic Entailment in Natural Language , 2005, IJCAI.