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

D. Kustrin and J. Austin

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.