OPS_5并行点火推理模型MES-1  

PARALLEL FIRING REASONING MODEL MES-1 FOR OPS

作　　者：张学海[1] 程退安[1] 郭福顺[1] 廖明宏[1] 

机构地区：[1]哈尔滨工业大学计算机科学与工程系,哈尔滨150006

出　　处：《计算机学报》1992年第11期848-855,共8页Chinese Journal of Computers

基　　金：国家"863"高科技项目

摘　　要：并行点火是并行处理产生式系统的重要内容之一.本文依据产生式规则的数据依赖图,较详细地剖析了OPS_5并行点火时出现的相关问题,并提出一种相关测试算法以及一种按顺接最大相容子集来循环划分规则的方法,旨在获得最大的并行点火效益.此外,本文还提出了OPS_5并行点火推理模型MES-1以及在von Neumann机上的模拟方法.最后,对MES-1做了评价.Based on the data dependency graph of the production rules, this paper analyzes the correlation problem which arises when OPS5 rules fire, and presents a correlation test algorithm and a round-robin partitioning way through forward chaining max ejuivalence subsets to gain the piggest efficiency of parallel firing. Furthermore, the paper presents the parallel firing reasoning model MES-1 for OPS5 and the realizable methods for simulating it on von Neumann architecture. The evaluation of MES-1 is also given.

关 键 词：产生式系统 并行点火 人工智能 

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