Learning and Reasoning with Logic Tensor Networks
The paper introduces real logic: a framework that seamlessly integrates logical deductive reasoning with efficient, data driven relational 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: i learning from data in presence of logical constraints, and ii reasoning on formulas exploiting concrete data. We implement real logic in an deep learning architecture, called logic tensor networks, based on Google's \textsc {TensorFlow}\tiny \text {TM} primitives. The paper concludes with experiments on a simple but representative example of knowledge completion.
AI*IA