Dynamic Neural Networks for Logic Formula

摘要：

In this article, a kind of calculus method that is used to determine the truth-values of prepositional logic formulae by means of the dynamic neural networks is proposed. The method con be executed mechanically and extended to fuzzy logic system.

关键词： unit neuron neural network logic formula

作者: Haiming Li Keyun Qin Yang Xu

作者单位: Intelligence Control Development Center Southwest Jiaotong University Chengdu, Sichuan, P.R.China 610031

会议类型: 国际会议

会议名称: 8th International Conference on Neural Information Processing(ICONIP 2001)(第八届国际神经信息处理大会)

会议地点: 上海

会议语种:英文

页码: 1568-1573

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