Parallel execution of real-time rule-based systems

When rule-based expert systems are used to monitor and control real-time systems, the ability of these expert systems to met stringent response time constraints is as important as their ability to produce correct results to react to input. This paper explores parallel execution as an approach to achieve higher execution speed in rule-based systems in domains requiring high performance and real-time response. In particular, it shows how rule-firing parallelism can be automatically extracted from a real-time rule-based system via static analysis of the system source code. To demonstrate the practicality of this approach, the proposed technique is applied to reduce the execution time of two NASA expert systems.<<ETX>>

[1]  Dan I. Moldovan,et al.  Implementation of Multiple Rule Firing Production Systems on Hypercube , 1991, J. Parallel Distributed Comput..

[2]  Christopher A. Marsh.  The ISA expert system: a prototype system for failure diagnosis on the space station , 1988, IEA/AIE '88.

[3]  Andrew S. Cromarty,et al.  "Fast" Is Not "Real-Time": Designing Effective Real-Time AI Systems , 1985, Other Conferences.

[4]  Albert Mo Kim Cheng,et al.  MRL: a real-time rule-based production system , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[5]  Thomas J. Laffey,et al.  Real-Time Knowledge-Based Systems , 1988, AI Mag..

[6]  A.M.K. Cheng,et al.  Fast static analysis of real-time rule-based systems to verify their fixed point convergence , 1990, Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security..

[7]  Salvatore J. Stolfo,et al.  Towards the Parallel Execution of Rules in Production System Programs , 1985, ICPP.

[8]  Anoop Gupta.  Parallelism in production systems , 1987 .

[9]  Toru Ishida,et al.  Parallel Rule Firing in Production Systems , 1991, IEEE Trans. Knowl. Data Eng..

[10]  Salvatore J. Stolfo.  Five Parallel Algorithms for Production System Execution on the DADO Machine , 1984, AAAI.

[11]  J. C. Browne,et al.  Estella; a facility for specifying behavioral constraint assertions in real-time rule-based systems , 1991, COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance.

[12]  Albert M Cheng.  Analysis and Synthesis of Real-Time Rule-Based Decision Systems , 1991 .

[13]  Paul P. Dasiewicz,et al.  A Parallel Model and Architecture for Production Systems , 1987, International Conference on Parallel Processing.

[14]  Alexander J. Pasik,et al.  A Source-to-Source Transformation for Increasing Rule-Based System Parallelism , 1992, IEEE Trans. Knowl. Data Eng..

[15]  James G. Schmolze.  Guaranteeing Serializable Results in Synchronous Parallel Production Systems , 1991, J. Parallel Distributed Comput..

[16]  Salvatore J. Stolfo,et al.  Improving Production System Performance on Parallel Architectures by Creating Constrained Copies of Rules , 1987 .