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

A Parallel Inference Machine Based on Horn Clause Logic

顺序推理中遵循先左后右——子句在前者先选择(即由上到下)的原则,而人们发现 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.