摘要
推理机制是人工智能及逻辑程序设计的关键技术。本文主要讨论了ＭＩＭＤ共享存储器模型上并行正向推理的一种实现机制，并利用队栈结构来实现本地任务的求解及与其它处理器之间的任务调度，同时给出了两种动态的负载平衡调度算法。
The inference mechanism is a key technology in AI and Logic Programming. This paper mainly disscusses one of the implementing mechanism of parallel forward reasoning in MIMD shared memory model, and how to utilize the queue-stack structure to solve local problems and schedule task with other processors. Two typical dynamically scheduling algorithms on load balancing are proposed.
出处
《小型微型计算机系统》
CSCD
北大核心
1996年第4期7-11,共5页
Journal of Chinese Computer Systems
基金
国家863计划的资助
