ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Accurate unlexicalized parsing
ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 1
A `Natural Logic' inference system using the Lambek calculus
Journal of Logic, Language and Information
Learning to recognize features of valid textual entailments
HLT-NAACL '06 Proceedings of the main conference on Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics
Classification of semantic relations by humans and machines
EMSEE '05 Proceedings of the ACL Workshop on Empirical Modeling of Semantic Equivalence and Entailment
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
Autonomously semantifying wikipedia
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Modeling semantic containment and exclusion in natural language inference
COLING '08 Proceedings of the 22nd International Conference on Computational Linguistics - Volume 1
It's a contradiction---no, it's not: a case study using functional relations
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Scaling textual inference to the web
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Without a 'doubt'?: unsupervised discovery of downward-entailing operators
NAACL '09 Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Learning alignments and leveraging natural logic
RTE '07 Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing
Presupposed content and entailments in natural language inference
TextInfer '09 Proceedings of the 2009 Workshop on Applied Textual Inference
Natural language as the basis for meaning representation and inference
CICLing'08 Proceedings of the 9th international conference on Computational linguistics and intelligent text processing
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics
An analytic tableau system for natural logic
Proceedings of the 17th Amsterdam colloquium conference on Logic, language and meaning
Defining specialized entailment engines using natural logic relations
LTC'09 Proceedings of the 4th conference on Human language technology: challenges for computer science and linguistics
A probabilistic modeling framework for lexical entailment
HLT '11 Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies: short papers - Volume 2
Towards a probabilistic model for lexical entailment
TIWTE '11 Proceedings of the TextInfer 2011 Workshop on Textual Entailment
Approaches to text mining arguments from legal cases
Semantic Processing of Legal Texts
HDU: cross-lingual textual entailment with SMT features
SemEval '12 Proceedings of the First Joint Conference on Lexical and Computational Semantics - Volume 1: Proceedings of the main conference and the shared task, and Volume 2: Proceedings of the Sixth International Workshop on Semantic Evaluation
Hi-index | 0.01 |
This paper presents the first use of a computational model of natural logic---a system of logical inference which operates over natural language---for textual inference. Most current approaches to the PASCAL RTE textual inference task achieve robustness by sacrificing semantic precision; while broadly effective, they are easily confounded by ubiquitous inferences involving monotonicity. At the other extreme, systems which rely on first-order logic and theorem proving are precise, but excessively brittle. This work aims at a middle way. Our system finds a low-cost edit sequence which transforms the premise into the hypothesis; learns to classify entailment relations across atomic edits; and composes atomic entailments into a top-level entailment judgment. We provide the first reported results for any system on the FraCaS test suite. We also evaluate on RTE3 data, and show that hybridizing an existing RTE system with our natural logic system yields significant performance gains.