%0 Journal Article
%T 基于Horn子句逻辑的并行推理机
%A 吴陈
%J 计算机科学
%D 1992
%I 
%X 顺序推理中遵循先左后右——子句在前者先选择(即由上到下)的原则,而人们发现 Horn 子句逻辑具有下列基本的并行性:1)AND 并行性,即并行计算规则,指一个目标中的各个子句可并行约化;2)OR 并行性,即并行搜索规则,指一个子目标可同时与多个可能匹配的子句进行匹配;3)搜索并行性,指同时搜索库中所有子句;4)合一并行性,指同时匹配单一目标中的各个项;5)流并行性,指具有共享变量的子目
%K 推理机
%K 人工智能
%K Horn子句
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1CD987E61C339639376A52D9CA905C22&yid=F53A2717BDB04D52&vid=2A8D03AD8076A2E3&iid=94C357A881DFC066&sid=96C778EE049EE47D&eid=340AC2BF8E7AB4FD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0