Recognizing textual entailment via atomic propositions

Authors:
Elena Akhmatova;Diego Mollá
Affiliations:
Centre for Language Technology, Division of Information and Communication Sciences, Macquarie University, North Ryde, Australia;Centre for Language Technology, Division of Information and Communication Sciences, Macquarie University, North Ryde, Australia
Venue:
MLCW'05 Proceedings of the First international conference on Machine Learning Challenges: evaluating Predictive Uncertainty Visual Object Classification, and Recognizing Textual Entailment
Year:
2005

Citing 8
Cited 0

WordNet: a lexical database for English

Communications of the ACM
Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition

Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition
Automated Reasoning with Otter

Automated Reasoning with Otter
Ontological promiscuity

ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Generating an entailment corpus from news headlines

EMSEE '05 Proceedings of the ACL Workshop on Empirical Modeling of Semantic Equivalence and Entailment
Intrinsic versus extrinsic evaluations of parsing systems

Evalinitiatives '03 Proceedings of the EACL 2003 Workshop on Evaluation Initiatives in Natural Language Processing: are evaluation methods, metrics and resources reusable?
The PASCAL recognising textual entailment challenge

MLCW'05 Proceedings of the First international conference on Machine Learning Challenges: evaluating Predictive Uncertainty Visual Object Classification, and Recognizing Textual Entailment
What syntax can contribute in the entailment task

MLCW'05 Proceedings of the First international conference on Machine Learning Challenges: evaluating Predictive Uncertainty Visual Object Classification, and Recognizing Textual Entailment

Quantified Score

Hi-index	0.02

Visualization

Abstract

This paper describes Macquarie University's Centre for Language Technology contribution to the PASCAL 2005 Recognizing Textual Entailment challenge. Our main aim was to test the practicability of a purely logical approach. For this, atomic propositions were extracted from both the text and the entailment hypothesis and they were expressed in a custom logical notation. The text entails the hypothesis if every proposition of the hypothesis is entailed by some proposition in the text. To extract the propositions and encode them into a logical notation the system uses the output of Link Parser. To detect the independent entailment relations the system relies on the use of Otter and WordNet.