The DeepLog Neurosymbolic Machine

TL;DR

DeepLog is a versatile neurosymbolic AI framework that combines a logic-based modeling language with algebraic circuits, enabling flexible and efficient representation and inference across various logical and probabilistic systems.

Contribution

It introduces a unified framework with a new language and computational model for neurosymbolic AI, facilitating abstraction, flexibility, and GPU acceleration.

Findings

Demonstrates the generality of DeepLog across fuzzy and probabilistic logics.

Shows efficiency gains with GPU implementation over CPU.

Validates the framework through comparative experiments.

Abstract

We contribute a theoretical and operational framework for neurosymbolic AI called DeepLog. DeepLog introduces building blocks and primitives for neurosymbolic AI that make abstraction of commonly used representations and computational mechanisms in neurosymbolic AI. DeepLog can represent and emulate a wide range of neurosymbolic systems. It consists of two key components. The first is the DeepLog language for specifying neurosymbolic models and inference tasks. This language consists of an annotated neural extension of grounded first-order logic, and makes abstraction of the type of logic, e.g. Boolean, fuzzy or probabilistic, and whether logic is used in the architecture or in the loss function. The second DeepLog component is situated at the computational level and uses extended algebraic circuits as computational graphs. Together these two components are to be considered as a neurosymbolic abstract machine, with the DeepLog language as the intermediate level of abstraction and the circuits level as the computational one. DeepLog is implemented in software, relies on the latest insights in implementing algebraic circuits on GPUs, and is declarative in that it is easy to obtain different neurosymbolic models by making different choices for the underlying algebraic structures and logics. The generality and efficiency of the DeepLog neurosymbolic machine is demonstrated through an experimental comparison between 1) different fuzzy and probabilistic logics, 2) between using logic in the architecture or in the loss function, and 3) between a standalone CPU-based implementation of a neurosymbolic AI system and a DeepLog GPU-based one.