Toward a Reasoning System Based on Non-Axiomatic Term Logic

Abstract

This paper discusses an approach to realizing a human cognition-oriented reasoning system that tries to integrate a non-axiomatic logic with recent advances in neural networks.