A Prolog technology theorem prover: implementation by an extended Prolog computer
Journal of Automated Reasoning
Artificial Intelligence - Special volume on natural language processing
Slot Grammar: A System for Simpler Construction of Practical Natural Language Grammars
Proceedings of the International Symposium on Natural Language and Logic
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Assessing the impact of frame semantics on textual entailment
Natural Language Engineering
Syntactic/semantic structures for textual entailment recognition
HLT '10 Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Implementing weighted abduction in Markov logic
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Elaborating a knowledge base for deep lexical semantics
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Abduction in games for a flexible approach to discourse planning
CICLing'12 Proceedings of the 13th international conference on Computational Linguistics and Intelligent Text Processing - Volume Part II
Leveraging Diverse Lexical Resources for Textual Entailment Recognition
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on RITE
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Discriminative learning of first-order weighted abduction from partial discourse explanations
CICLing'13 Proceedings of the 14th international conference on Computational Linguistics and Intelligent Text Processing - Volume Part I
Hi-index | 0.00 |
This paper presents a discourse processing framework based on weighted abduction. We elaborate on ideas described in Hobbs et al. (1993) and implement the abductive inference procedure in a system called Mini-TACITUS. Particular attention is paid to constructing a large and reliable knowledge base for supporting inferences. For this purpose we exploit such lexical-semantic resources as WordNet and FrameNet. We test the proposed procedure and the obtained knowledge base on the Recognizing Textual Entailment task using the data sets from the RTE-2 challenge for evaluation. In addition, we provide an evaluation of the semantic role labeling produced by the system taking the Frame-Annotated Corpus for Textual Entailment as a gold standard.