Transforming rule-based programs: from the sequential to the parallel
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Eliminating redundant barrier synchronizations in rule-based programs
ICS '96 Proceedings of the 10th international conference on Supercomputing
A parallel asynchronous distributed production system
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Control issues in parallel rule-firing production systems
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Concurrent goal-based execution of constraint handling rules
Theory and Practice of Logic Programming
| Hi-index | 0.00 |
Most work on parallelizing forward-chaining production system programs may be described as parallelizing sequential production system interpreters. We are now studying an approach that parallelizes the entire execution of a production system program. We first modify the semantics of the OPS5 production system language into a rule language suitable for parallel execution. We then define a compilation method that partitions rule systems into disjoint subsets that execute asynchronously with respect to each other and which communicate through asynchronous message passing. Within each subset rules may be fired in parallel. The approach is similar to the methods used in parallelizing compilers for block structured languages and is founded on the formalisms developed for assuring the correct operation of concurrent database systems. Our primary results to date involve the definition of the syntax and semantics of a parallel production system language and the development of an ensemble of optimizing transforms.