基于Horn子句逻辑的并行推理机  

A Parallel Inference Machine Based on Horn Clause Logic

作　　者：吴陈[1] 

机构地区：[1]镇江船舶学院计算机系,镇江210003

出　　处：《计算机科学》1992年第5期26-30,共5页Computer Science

摘　　要：顺序推理中遵循先左后右——子句在前者先选择(即由上到下)的原则,而人们发现 Horn 子句逻辑具有下列基本的并行性:1)AND 并行性,即并行计算规则,指一个目标中的各个子句可并行约化;2)OR 并行性,即并行搜索规则,指一个子目标可同时与多个可能匹配的子句进行匹配;3)搜索并行性,指同时搜索库中所有子句;4)合一并行性,指同时匹配单一目标中的各个项;5)流并行性。The paper describes in detail a parallel inference machine based on Horn Clause Logic.The structure of this parallel inference machine is constructed by processes and process networks,and the way of computation of it is perfor- med by process unifications,or process communications.Meanwhile,the paper points out the computing similarity between such a parallel inference machine and a neural network.

关 键 词：推理机 人工智能 HORN子句 

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