四川师范大学学报(自然科学版)
四川師範大學學報(自然科學版)
사천사범대학학보(자연과학판)
JOURNAL OF SICHUAN NORMAL UNIVERSITY(Natural Science)
2004年
5期
501-504
,共4页
归结%神经网络%Horn子句集%完备性
歸結%神經網絡%Horn子句集%完備性
귀결%신경망락%Horn자구집%완비성
给出了基于神经网络的单元归结算法.首先将子句集S表示为δ形,并且用算子对(⊙,(○+))引入两种类型的神经元,然后用这两种神经元构造子句集S的神经网络结构,而后给出基于Horn子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例进行了验证.
給齣瞭基于神經網絡的單元歸結算法.首先將子句集S錶示為δ形,併且用算子對(⊙,(○+))引入兩種類型的神經元,然後用這兩種神經元構造子句集S的神經網絡結構,而後給齣基于Horn子句集的神經網絡的歸結算法,最後證明瞭該算法的完備性,併用實例進行瞭驗證.
급출료기우신경망락적단원귀결산법.수선장자구집S표시위δ형,병차용산자대(⊙,(○+))인입량충류형적신경원,연후용저량충신경원구조자구집S적신경망락결구,이후급출기우Horn자구집적신경망락적귀결산법,최후증명료해산법적완비성,병용실례진행료험증.
