Pattern Reasoning: A New Solution for Knowledge Acquisition Problem

This paper presents pattern reasoning, that is, the logical reasoning of patterns. Pattern reasoning is a new solution for the knowledge acquisition problem. Knowledge acquisition tried to acquire linguistic rules from patterns. In contrast, we try to modify logics to reason patterns. Patterns are represented as functions, which are approximated by neural networks. Therefore, pattern reasoning is realized by logical reasoning of neural networks. A few non-classical logics can reason neural networks, because neural networks can be basically regarded as multilinear functions and the logics are complete for multilinear function space, therefore, the logics can reason neural networks. This paper explains intermediate logic LC as an example of the logics and demonstrates how neural networks can be reasoned by LC.