Building expert systems
Parallel algorithms and architectures for rule-based systems
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Artificial intelligence (2nd ed.)
Artificial intelligence (2nd ed.)
Principles of artificial intelligence
Principles of artificial intelligence
Methods and effectiveness of parallel rule firing
Proceedings of the sixth conference on Artificial intelligence applications
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Eliminating redundant barrier synchronizations in rule-based programs
ICS '96 Proceedings of the 10th international conference on Supercomputing
Organization Self-Design of Distributed Production Systems
IEEE Transactions on Knowledge and Data Engineering
An Optimization Algorithm for Production Systems
IEEE Transactions on Knowledge and Data Engineering
On the Reliability of AI Planning Software in Real-Time Applications
IEEE Transactions on Knowledge and Data Engineering
Response Time Analysis of EQL Real-Time Rule-Based Systems
IEEE Transactions on Knowledge and Data Engineering
A Meta-Level Control Architecture for Production Systems
IEEE Transactions on Knowledge and Data Engineering
OSAM*.KBMS/P: A Parallel, Active, Object-Oriented Knowledge Base Server
IEEE Transactions on Knowledge and Data Engineering
Response Time Analysis of OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
An Expert System Shell for Aerospace Applications
IEEE Expert: Intelligent Systems and Their Applications
Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specified in Estella
IEEE Transactions on Software Engineering
A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Self-Stabilizing Real-Time OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Parallel execution of multi-set constraint rewrite rules
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Comparison of three algorithms for ensuring serializable executions in parallel production systems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Concurrent goal-based execution of constraint handling rules
Theory and Practice of Logic Programming
| Hi-index | 0.00 |
To improve the performance of forward chaining production systems, a new parallel execution model in which multiple production rules are fired in parallel in each production cycle is proposed. Solutions for three major problems in parallel rule firing are provided. The first solution, interference analysis, detects cases where a parallel firing result is different from the result of any sequential firing. Based on a data dependency graph of production systems, general techniques applicable to both compile- and run-time interference analyses are proposed. The second solution, parallel firing algorithms, achieve the parallel firing on multiple processor architectures. An efficient selection algorithm is provided to select multiple rules to be fired in parallel by combining the compile- and run-time interference analysis techniques. The parallel programming environment, the third solution, provides language facilities to enable programmers to make full use of potential parallelism without considering the internal parallel mechanisms. A parallel firing simulator is also implemented to estimate the effectiveness of parallel firings of production system programs. The effectiveness of parallel rule firings on several production system applications is evaluated. Results show that the degree of concurrency can be increased by a factor of 2-9. The sources of parallelism are investigated based on the evaluation results.