基于动态神经网络的经典逻辑公式计算方法  

Classical Logic Formula Computing Based on Dynamic Neural Networks

作　　者：邱小平[1] 闵林[2] 李海明[1] 徐扬[1] 

机构地区：[1]西南交通大学智能控制开发中心,成都610031 [2]河南大学网络中心,开封475001

出　　处：《武汉理工大学学报（交通科学与工程版）》2003年第6期750-753,共4页Journal of Wuhan University of Technology（Transportation Science & Engineering）

基　　金：国家自然科学基金项目资助 (批准号 :60 0 740 14 )

摘　　要：对经典逻辑公式计算进行了深入的探讨 ,结合神经网络理论提出一种动态神经网络的计算方法 ,并分析了基于数据库串行实现的步骤 .介绍了针对经典逻辑系统运算符的单元设计、动态神经网络的生成算法与存储方法和公式计算算法 ,分析了算法的正确性和计算复杂性 ,同时举例说明了这种方法的有效性 ,为逻辑公式的计算提供了一种可行思路 .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.

关 键 词：神经网络 软计算 经典逻辑 动态 

分 类 号：TP183[自动化与计算机技术—控制理论与控制工程]