并行单元归结

• 作者: 夏世芬 徐扬 马淑霞
• 来源期刊: 四川师范大学学报(自然科学版)
• 学科: 数学
• 关键词: 归结 神经网络 Horn子句集 完备性
• 年，卷（期）: 2004,（5）
• 页码范围: 501-504
• 页数: 4页
• 分类号: O159
• 字数: 2985字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8395.2004.05.015

摘要

给出了基于神经网络的单元归结算法.首先将子句集S表示为δ形,并且用算子对(⊙,(○+))引入两种类型的神经元,然后用这两种神经元构造子句集S的神经网络结构,而后给出基于Horn子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例进行了验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学数学系	186	1462	15.0	32.0
2	夏世芬	西南交通大学数学系	13	34	3.0	5.0
3	马淑霞	西南交通大学数学系	7	20	2.0	4.0