论文部分内容阅读
推理机制是人工智能及逻辑程序设计的关键技术。本文主要讨论了ＭＩＭＤ共享存储器模型上并行正向推理的一种实现机制，并利用队栈结构来实现本地任务的求解及与其它处理器之间的任务调度，同时给出了两种动态的负载平衡调度算法。
Reasoning mechanism is the key technology of artificial intelligence and logic programming. This paper mainly discusses an implementation mechanism of parallel forward reasoning on MIMD shared memory model, and uses the stack structure to solve the local tasks and task scheduling with other processors. At the same time, two dynamic loads Balance scheduling algorithm.