基于Horn子句逻辑的并行推理机与神经网络  

The Parallel Inference Machine Based on Horn Clause Logic and the Neural Networks

作　　者：吴陈[1] 

机构地区：[1]镇江船舶学院计算机科学与工程系

出　　处：《镇江船舶学院学报》1992年第2期23-28,共6页

摘　　要：本文从原理上设计和定义了一个基于Horn子句逻辑的并行推理机,其结构由进程和进程网络组成,其计算方式为进程合一,也就是进程通讯。同时,还指出了这种并行推理机与生物神经网络计算的相似性。The present paper designs and defines in principle a parallel inference machine based on Horn clause logic, whose structure is composed of processes and process networks and whose computation is performed by process unifications or process communications . Meanwhile, the computing similarities between the parallel inference machine and biological neural networks are also revealed.

关 键 词：人工智能 神经网络 谓词逻辑 

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