LOGICAL ANALYSIS FOR NEURAL NETWORKS
神经网络的逻辑分析

By comparison with constraint satisfaction networks, this paper presents an essential frame of the logical theory for continuous-state neural networks, and gives the quantitative analyzing method for contradiction. The analysis indicates that the basic reason for the alternation of the logical states of the neurons is the existence of superior contradiction inside the networks. The dynamic process for a neural network to find a solution corresponds to eliminating the superior contradiction.