Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference

11/15/2018
by   Masashi Yoshikawa, et al.
0

In logic-based approaches to reasoning tasks such as Recognizing Textual Entailment (RTE), it is important for a system to have a large amount of knowledge data. However, there is a tradeoff between adding more knowledge data for improved RTE performance and maintaining an efficient RTE system, as such a big database is problematic in terms of the memory usage and computational complexity. In this work, we show the processing time of a state-of-the-art logic-based RTE system can be significantly reduced by replacing its search-based axiom injection (abduction) mechanism by that based on Knowledge Base Completion (KBC). We integrate this mechanism in a Coq plugin that provides a proof automation tactic for natural language inference. Additionally, we show empirically that adding new knowledge data contributes to better RTE performance while not harming the processing speed in this framework.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/21/2016

Neighborhood Mixture Model for Knowledge Base Completion

Knowledge bases are useful resources for many natural language processin...
research
04/19/2017

An Interpretable Knowledge Transfer Model for Knowledge Base Completion

Knowledge bases are important resources for a variety of natural languag...
research
12/03/2015

Building Memory with Concept Learning Capabilities from Large-scale Knowledge Base

We present a new perspective on neural knowledge base (KB) embeddings, f...
research
12/10/2022

MAPS-KB: A Million-scale Probabilistic Simile Knowledge Base

The ability to understand and generate similes is an imperative step to ...
research
12/27/2017

Combining Representation Learning with Logic for Language Processing

The current state-of-the-art in many natural language processing and aut...
research
08/01/2011

Scaling Inference for Markov Logic with a Task-Decomposition Approach

Motivated by applications in large-scale knowledge base construction, we...
research
02/03/2015

Incremental Knowledge Base Construction Using DeepDive

Populating a database with unstructured information is a long-standing p...

Please sign up or login with your details

Forgot password? Click here to reset