Connectionist Propositional Logic: A Simple Correlation Matrix Memory Based Reasoning System

Contents

A novel purely connectionist implementation of propositional logic is constructed by combining neural Correlation Matrix Memory operations, tensor products and simple control circuits. The implementation is highly modular and expandable and in its present form it not only allows forward rule chaining but also iml~lements i8 a hierarchy traversal which results in interesting behaviour even in its simplest form. Additionally, some biological relevance can be inferred from the architecture given Hebbian learning mechanism, CMM construction and utilisation of inhibitory synapses for control.