CAJ | 학술논문

给出基于神经网络的归结方法.首先将子句集S表示为δ形式,并且用算子对(·，+))引入两种类型的神经元; 然后用这两种神经元构造子句集S的神经网络结构; 而后给出基于子句集的神经网络的归结算法; 最后证明了该算法的完备性,并用实例进行了验证.
급출기우신경망락적귀결방법.수선장자구집S표시위δ형식,병차용산자대(·，+))인입량충류형적신경원; 연후용저량충신경원구조자구집S적신경망락결구; 이후급출기우자구집적신경망락적귀결산법; 최후증명료해산법적완비성,병용실례진행료험증.
In this paper, we give a method of resolution by neural network. First, we express the clause set S in σ-form. Then, introduce two kinds of neurons by a couple of operators (·,+) and get NN structure of σ-form clause set S. After that resolution algorithm based on the NN is obtained. In the end, prove the complete theorem of the resolution algorithm and test it by example.