摘要
对经典逻辑公式计算进行了深入的探讨 ,结合神经网络理论提出一种动态神经网络的计算方法 ,并分析了基于数据库串行实现的步骤 .介绍了针对经典逻辑系统运算符的单元设计、动态神经网络的生成算法与存储方法和公式计算算法 ,分析了算法的正确性和计算复杂性 ,同时举例说明了这种方法的有效性 ,为逻辑公式的计算提供了一种可行思路 .
In this paper, classical logic formula computing is discussed deeply. A new computing method for it, based on dynamic neural networks (DNN) whose realization steps based on database is studied in detail and is presented combined with NN theory. Unit design of the operators in classical logic system, the DNN's generation algorithm with the storage method and the formulae-computed algorithm are introduced successively, including their soundness and computational complexity. Experiment results show that this method is effective and is a feasible way for logic formula computing.
出处
《武汉理工大学学报（交通科学与工程版）》
北大核心
2003年第6期750-753,共4页
Journal of Wuhan University of Technology（Transportation Science & Engineering）
基金
国家自然科学基金项目资助 (批准号 :60 0 740 14 )
关键词
神经网络
软计算
经典逻辑
动态
neural networks
soft computing
classical logic
dynamic
