A Logical Neural Network Structure With More Direct Mapping From Logical Relations

TL;DR

This paper introduces a new logical neural network model that directly maps logical relations into the network structure, enabling clearer representation and easier extraction of logical relations, with fewer neurons needed.

Contribution

The paper proposes a novel logical neural network with new logical neurons and links that directly encode logical relations, improving interpretability and efficiency over previous models.

Findings

More direct mapping of logical relations in network structure

Logical relations can be read out from connection patterns

Fewer neurons are required for representation

Abstract

Logical relations widely exist in human activities. Human use them for making judgement and decision according to various conditions, which are embodied in the form of \emph{if-then} rules. As an important kind of cognitive intelligence, it is prerequisite of representing and storing logical relations rightly into computer systems so as to make automatic judgement and decision, especially for high-risk domains like medical diagnosis. However, current numeric ANN (Artificial Neural Network) models are good at perceptual intelligence such as image recognition while they are not good at cognitive intelligence such as logical representation, blocking the further application of ANN. To solve it, researchers have tried to design logical ANN models to represent and store logical relations. Although there are some advances in this research area, recent works still have disadvantages because the structures of these logical ANN models still don't map more directly with logical relations which will cause the corresponding logical relations cannot be read out from their network structures. Therefore, in order to represent logical relations more clearly by the neural network structure and to read out logical relations from it, this paper proposes a novel logical ANN model by designing the new logical neurons and links in demand of logical representation. Compared with the recent works on logical ANN models, this logical ANN model has more clear corresponding with logical relations using the more direct mapping method herein, thus logical relations can be read out following the connection patterns of the network structure. Additionally, less neurons are used.