Paper: Logical Inference on Dependency-based Compositional Semantics

ACL ID P14-1008
Title Logical Inference on Dependency-based Compositional Semantics
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 2014
Authors

Dependency-based Compositional Se- mantics (DCS) is a framework of natural language semantics with easy-to-process structures as well as strict semantics. In this paper, we equip the DCS framework with logical inference, by defining ab- stract denotations as an abstraction of the computing process of denotations in original DCS. An inference engine is built to achieve inference on abstract denota- tions. Furthermore, we propose a way to generate on-the-fly knowledge in logical inference, by combining our framework with the idea of tree transformation. Experiments on FraCaS and PASCAL RTE datasets show promising results.