一种基于模糊-神经网络的Horn集上的归结

摘要：

关于定理机器证明的归结原理已应用到人工智能的很多领域，各种改进方法也已经提出。模糊－神经网络是模糊逻辑与神经网络的融合，该文尝试利用模糊－神经网络进行Horn集上的归结。

关键词： Horn子句 Horn集 模糊-神经网络 模糊逻辑 神经网络

作者: 裴峥 黄天民

作者单位: 交通大学智能控制开发中心(四川成都)

会议类型: 国内会议

会议名称: 第九届全国多值逻辑与模糊逻辑学术会议

会议地点: 成都

会议语种:中文

页码: 142～146

在线出版日期: 2000-12-01（万方平台首次上网日期，不代表论文的发表时间）