Macro-operators: a weak method for learning
Artificial Intelligence - Lecture notes in computer science 178
Artificial Intelligence
DIRT @SBT@discovery of inference rules from text
Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining
Annals of Mathematics and Artificial Intelligence
A survey on tree edit distance and related problems
Theoretical Computer Science
An inference model for semantic entailment in natural language
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Semantic inference at the lexical-syntactic level
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Macro-FF: improving AI planning with automatically learned macro-operators
Journal of Artificial Intelligence Research
Inferring textual entailment with a probabilistically sound calculus*
Natural Language Engineering
Limited discrepancy beam search
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Automatic cost estimation for tree edit distance using particle swarm optimization
ACLShort '09 Proceedings of the ACL-IJCNLP 2009 Conference Short Papers
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Simple coreference resolution with rich syntactic and semantic features
EMNLP '09 Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 3 - Volume 3
Tree edit models for recognizing textual entailments, paraphrases, and answers to questions
HLT '10 Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics
Directional distributional similarity for lexical inference
Natural Language Engineering
Bandit based monte-carlo planning
ECML'06 Proceedings of the 17th European conference on Machine Learning
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
BiuTee: a modular open-source system for recognizing textual entailment
ACL '12 Proceedings of the ACL 2012 System Demonstrations
Hi-index | 0.00 |
This paper addresses the search problem in textual inference, where systems need to infer one piece of text from another. A prominent approach to this task is attempts to transform one text into the other through a sequence of inference-preserving transformations, a.k.a. a proof, while estimating the proof's validity. This raises a search challenge of finding the best possible proof. We explore this challenge through a comprehensive investigation of prominent search algorithms and propose two novel algorithmic components specifically designed for textual inference: a gradient-style evaluation function, and a local-lookahead node expansion method. Evaluations, using the open-source system, BiuTee, show the contribution of these ideas to search efficiency and proof quality.