Loading...
Natural Solution to FraCaS Entailment Problems
Abzianidze,Lasha
Abzianidze,Lasha
Abstract
Reasoning over several premises is not a common feature of RTE systems as it usually requires deep semantic analysis. On the other hand, FraCaS is a collection of entailment problems consisting of multiple premises and covering semantically challenging phenomena. We employ the tableau theorem prover for natural language to solve the FraCaS problems in a natural way. The expressiveness of a type theory, the transparency of natural logic and the schematic nature of tableau inference rules make it easy to model challenging semantic phenomena. The efficiency of theorem proving also becomes challenging when reasoning over several premises. After adapting to the dataset, the prover demonstrates state-of-the-art competence over certain sections of FraCaS.
Description
Date
2016
Journal Title
Journal ISSN
Volume Title
Publisher
Research Projects
Organizational Units
Journal Issue
Keywords
natural logic, fracas, textual entailment, semantic tableau, reasoning
Citation
Abzianidze, L 2016, Natural Solution to FraCaS Entailment Problems. in Proceedings of the Fifth Joint Conference on Lexical and Computational Semantics : (*SEM 2016). pp. 64-74, the Fifth Joint Conference on Lexical and Computational Semantics, Berlin, Germany, 11/08/16.
License
info:eu-repo/semantics/openAccess