Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2017, April 5
Author: Mossakowski, Till
Title: Logic Tensor Networks


Learning and Reasoning in Logic Tensor Networks: Theory and Application to Semantic Image Interpretation by Luciano Serafini, Ivan Donadello and Artur d’Avila Garcez.
This paper presents a revision of Real Logic and its imple- mentation with Logic Tensor Networks and its application to Semantic Image Interpretation. Real Logic is a frame- work where learning from numerical data and logical rea- soning are integrated using first order logic syntax. The symbols of the signature of Real Logic are interpreted in the data-space, i.e, on the domain of real numbers. The in- tegration of learning and reasoning obtained in Real Logic allows us to formalize learning as approximate satisfiability in the presence of logical constraints, and to perform infer- ence on symbolic and numerical data. After introducing a refined version of the formalism, we describe its implemen- tation into Logic Tensor Networks which uses deep learning within Google’s TensorFlow TM. We evaluate LTN on the task of classifying objects and their parts in images, where we combine state-of-the-art-object detectors with a part-of ontology. LTN outperforms the state-of-the-art on object classification, and improves the performances on part-of re- lation detection with respect to a rule-based baseline.


Back to the Oberseminar web page