Logical Learning Through a Hybrid Neural Network with Auxiliary Inputs

05/23/2017
by   Fang Wan, et al.
0

The human reasoning process is seldom a one-way process from an input leading to an output. Instead, it often involves a systematic deduction by ruling out other possible outcomes as a self-checking mechanism. In this paper, we describe the design of a hybrid neural network for logical learning that is similar to the human reasoning through the introduction of an auxiliary input, namely the indicators, that act as the hints to suggest logical outcomes. We generate these indicators by digging into the hidden information buried underneath the original training data for direct or indirect suggestions. We used the MNIST data to demonstrate the design and use of these indicators in a convolutional neural network. We trained a series of such hybrid neural networks with variations of the indicators. Our results show that these hybrid neural networks are very robust in generating logical outcomes with inherently higher prediction accuracy than the direct use of the original input and output in apparent models. Such improved predictability with reassured logical confidence is obtained through the exhaustion of all possible indicators to rule out all illogical outcomes, which is not available in the apparent models. Our logical learning process can effectively cope with the unknown unknowns using a full exploitation of all existing knowledge available for learning. The design and implementation of the hints, namely the indicators, become an essential part of artificial intelligence for logical learning. We also introduce an ongoing application setup for this hybrid neural network in an autonomous grasping robot, namely as_DeepClaw, aiming at learning an optimized grasping pose through logical learning.

READ FULL TEXT

page 2

page 10

research
12/17/2021

Towards fuzzification of adaptation rules in self-adaptive architectures

In this paper, we focus on exploiting neural networks for the analysis a...
research
07/10/2023

Injecting Logical Constraints into Neural Networks via Straight-Through Estimators

Injecting discrete logical constraints into neural network learning is o...
research
09/22/2020

Logical foundations for hybrid type-logical grammars

This paper explores proof-theoretic aspects of hybrid type-logical gramm...
research
10/17/2019

Neural Logic Networks

Recent years have witnessed the great success of deep neural networks in...
research
09/22/2020

Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean

On May 12th, 2020, during the course entitled Artificial Intelligence an...
research
07/27/2023

Understanding Forward Process of Convolutional Neural Network

This paper reveal the selective rotation in the CNNs' forward processing...
research
02/28/2021

A Proof of Concept Neural Network Watchdog using a Hybrid Generative Classifier For Optimized Outlier Detection

With the continuous development of tools such as TensorFlow and PyTorch,...

Please sign up or login with your details

Forgot password? Click here to reset