References & Citations
Computer Science > Artificial Intelligence
Title: Logic Tensor Networks
(Submitted on 25 Dec 2020 (v1), last revised 23 Dec 2021 (this version, v4))
Abstract: Artificial Intelligence agents are required to learn from their surroundings and to reason about the knowledge that has been learned in order to make decisions. While state-of-the-art learning from data typically uses sub-symbolic distributed representations, reasoning is normally useful at a higher level of abstraction with the use of a first-order logic language for knowledge representation. As a result, attempts at combining symbolic AI and neural computation into neural-symbolic systems have been on the increase. In this paper, we present Logic Tensor Networks (LTN), a neurosymbolic formalism and computational model that supports learning and reasoning through the introduction of a many-valued, end-to-end differentiable first-order logic called Real Logic as a representation language for deep learning. We show that LTN provides a uniform language for the specification and the computation of several AI tasks such as data clustering, multi-label classification, relational learning, query answering, semi-supervised learning, regression and embedding learning. We implement and illustrate each of the above tasks with a number of simple explanatory examples using TensorFlow 2. Keywords: Neurosymbolic AI, Deep Learning and Reasoning, Many-valued Logic.
Submission history
From: Samy Badreddine [view email][v1] Fri, 25 Dec 2020 22:30:18 GMT (2818kb,D)
[v2] Thu, 14 Jan 2021 07:37:47 GMT (2826kb,D)
[v3] Sun, 17 Jan 2021 01:28:44 GMT (2788kb,D)
[v4] Thu, 23 Dec 2021 04:14:25 GMT (2677kb,D)
Link back to: arXiv, form interface, contact.