Learning and Reasoning with Logic Tensor Networks

摘要

The paper introduces real logic: a framework that seamlessly integrates logical deductive reasoning with efficient, data-driven relar tional learning. Real logic is based on full first order language. Terms are interpreted in n-dimensional feature vectors, while predicates are interpreted in fuzzy sets. In real logic it is possible to formally define the following two tasks: (ⅰ) learning from data in presence of logical constraints, and (ⅱ) reasoning on formulas exploiting concrete data. We implement real logic in an deep learning architecture, called logic tensor networks, based on Google's TensorFlow™ primitives. The paper concludes with experiments on a simple but representative example of knowledge completion.