Extracting Logic Programs from Artificial Neural Networks

Abstract

topic: The research field of neurosymbolic integration aims at combining the advantages of neural networks and logic programs. One of the fundamental questions is how knowledge in form of logic programs can be extracted from neural networks. It should be evaluated if techniques of inductive logic programming (ILP) are suited for this task. Additionally it should be investigated if there are good special purpose algorithms for the base case of propositional logic. goals: • evaluating existing ILP programs for the extraction of a logic program from a given neural network representing an immediate consequence operator • find satisfying extraction methods for the special case of propositional logic programs