The search ahead conflict resolution for parallel firing of production systems

Authors:
Ching-Chi Hsu;Feng-Hsu Wang
Affiliations:
Department of Computer Science and Information Engineering, National Taiwan University, Taipei, Taiwan, ROC;Department of Computer Science and Information Engineering, National Taiwan University, Taipei, Taiwan, ROC
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Year:
1989

Citing 6
Cited 0

Execution of OPS5 production systems on a massively parallel machine

Journal of Parallel and Distributed Computing
The DADO production system machine

Journal of Parallel and Distributed Computing
Rule-based programming in OPS83

AI Expert
Introduction to the Algebraic Theory of Graph Grammars (A Survey)

Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Design issues in a Rule-Based System

SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
On the efficient implementation of production systems.

On the efficient implementation of production systems.

Quantified Score

Hi-index	0.00

Visualization

Abstract

To explore the parallelism among rules is one of the ways to increase the speed of production systems. In this paper, an Object Pattern Matching model is proposed to interpret the dependency between production rules, and based on the rule dependency analysis, we develop a new conflict resolution principle, Search Ahead Conflict Resolution (SACR), which can select more than one rule to fire at each execution cycle. The so called Search Ahead Parallelism is thus achieveable by applying the SACR principle at run time. It is proved that the results of running programs in the new production system inference mechanism with SACR principle are the same as those running in the sequential inference mechanism with conflict resolution principle that is based on Last-In First-Out (LIFO) strategy. As a consequence, with the SACR principle, a program composed of a large set of production rules can run in a multiprocessor system and get the same result as those running in a uniprocessor system.