Run-Time Prediction for Production Systems

A major obstacle to the widespread use of expert systems in real-time domains is the non-predictability of response times. While some researchers have addressed this issue by optimizing response time through better algorithms or parallel hardware, there has been little research towards run-time prediction in order to meet user defined deadlines. To cope with the latter, real-time expert systems must provide mechanisms for estimating run-time required to react to external events. As a starting point for our investigations we chose the RETE algorithm, which is widely used for real-time production systems. In spite of RETE's combinatorial worst case match behavior we introduce a method forestimating match-time in the RETE network. This paper shows that simple profiling methods do not work well, but by going to a finer granularity, we can get much better execution time predictions for basic actions as well as for complete right hand sides of rules. Our method is dynamically applied during the run-time of the production system by using continuously updated statistical data of individual nodes in the RETE network.

[1]  Daniel P. Miranker TREAT: A new and efficient match algorithm for AI production systems , 1988 .

[2]  Charles L. Forgy,et al.  OPS5 user's manual , 1981 .

[3]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[4]  Allen Newell,et al.  Some Chunks Are Expensive , 1988, ML.

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

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

[7]  Anoop Gupta,et al.  Suitability of Message Passing Computers for Implementing Production Systems , 1988, AAAI.

[8]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[9]  Jay K. Strosnider,et al.  Reducing problem-solving variance to improve predictability , 1991, CACM.

[10]  Thomas Mandl,et al.  A Parallel Production System Architecture , 1991, J. Parallel Distributed Comput..

[11]  Franz Barachini The evolution of PAMELA , 1991 .

[12]  Tambe,et al.  Uni-Rete : specializing the Rete match algorithm for the unique-attribute representation , 1991 .

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

[14]  Norbert Theuretzbacher,et al.  The Challenge of Real-Time Process Control for Production Systems , 1988, AAAI.

[15]  Allen Newell,et al.  Parallel algorithms and architectures for rule-based systems , 1986, ISCA '86.

[16]  Toru Ishida,et al.  Methods and effectiveness of parallel rule firing , 1990, Sixth Conference on Artificial Intelligence for Applications.