This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Optimization of Rule-Based Systems Using State Space Graphs
March/April 1998 (vol. 10 no. 2)
pp. 238-254

Abstract—Embedded rule-based expert systems must satisfy stringent timing constraints when applied to real-time environments. The paper describes a novel approach to reduce the response time of rule-based expert systems. Our optimization method is based on a construction of the reduced cycle-free finite state space graph. In contrast with traditional state space graph derivation, our optimization algorithm starts from the final states (fixed points) and gradually expands the state space graph until all of the states with a reachable fixed point are found. The new and optimized system is then synthesized from the constructed state space graph. We present several algorithms implementing the optimization method. They vary in complexity as well as in the usage of concurrency and state-equivalency—both targeted toward minimizing the size of the optimized state space graph. Though depending on the algorithm used, optimized rule-based systems: 1) in general have better response time in that they require fewer rule firings to reach the fixed point; 2) are stable, i.e., have no cycles that would result in the instability of execution; and 3) have no redundant rules. We also address the issue of deterministic execution and propose optimization algorithms that generate the rule-bases with single corresponding fixed points for every initial state. The synthesis method also determines the tight response time bound of the new system and can identify unstable states in the original rule-base. No information other than the rule-based real-time decision program itself is given to the optimization method. The optimized system is guaranteed to compute correct results independent of the scheduling strategy and execution environment.

[1] S. Abiteboul and E. Simon, "Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog," Theoretical Computer Science, vol. 78, pp. 137-158, 1991.
[2] A. Aiken, J. Widom, and J.M. Hellerstein, “Behavior of Database Production Rules: Termination, Confluence, and Observable Determination,” Proc. ACM SIGMOD Int'l Conf. Management of Data, M. Stonebraker, ed., pp. 59-68, May 1992.
[3] J.C. Browne et al., "A New Approach to Modularity in Rule-Based Programming," Proc. TAI, Sixth Int'l Conf. Tools with Artificial Intelligence, pp. 18-25, Nov. 1994.
[4] J.C. Browne, A.M.K. Cheng, and A.K. Mok, "Computer-Aided Design of Real-Time Rule-Based Decision Systems," technical report, Dept. of Computer Science, Univ. of Texas at Austin, 1988; also to appear in IEEE Trans. Software Eng.
[5] J.-R. Chen and A.M.K. Cheng, “Response Time Analysis of EQL Real-Time Rule-Based Systems,” IEEE Trans. Knowledge and Data Eng., vol. 7, no. 1, pp. 26-43, Feb. 1995.
[6] J.-R. Chen and A.M.K. Cheng, "Predicting the Response Time of OPS5-Style Production Systems," Proc. IEEE Conf. Artificial Intelligence for Applications,Los Angeles, Feb. 1995.
[7] A.M.K. Cheng, “Parallel Execution of Real-Time Rule-Based Systems,” Proc. Seventh Int'l Parallel Processing Symp., pp. 779-786, Apr. 1993.
[8] A.M.K. Cheng, J.C. Browne, A.K. Mok, and R.-H. Wang, "Analysis of Real-Time Rule-Based System with Behavioral Constraint Assertions Specified in Estella," IEEE Trans. Software Eng., vol. 19, no. 9, pp. 863-885, Sept. 1993.
[9] A.M.K. Cheng and H. Tsai, "Timing Analysis of OPS5 Expert System," IEEE Trans. Software Eng., to appear 1997.
[10] L.B. Eliot, "If It Works, Is It Good?" AI Expert, vol. 7, no. 6, pp. 9-11, June 1992.
[11] C.L. Forgy, "OPS5 User's Manual," Technical Report CMU-CS-81-135, Dept. of Computer Science, Carnegie Mellon Univ., 1981.
[12] P. Godefroid, G.J. Holzmann, and D. Pirottin, "State Space Caching Revisited," Proc. Fourth Workshop Computer-Aided Verification, pp. 175-186, 1992.
[13] G.J. Holzmann, Design and Validation of Computer Protocols, chapter on protocol validation, pp. 217-244, Prentice Hall, London, 1991.
[14] T. Ishida, “An Optimization Algorithm for Production Systems,” IEEE Trans. Knowledge and Data Eng., vol. 6, no. 4, pp. 549-558, Aug. 1994.
[15] S. Kuo and D. Moldovan, "Implementation of Multiple Rule Firing Production System on Hypercube," J. Parallel and Distributed Computing, vol. 13, no. 4, pp. 383-394, Dec. 1991.
[16] C.A. Marsh, "The ISA Expert System: A Prototype System for Failure Diagnosis on the Space Station," Mitre Corp. report, Houston, 1988.
[17] A.K. Mok, "Formal Analysis of Real-Time Equational Rule-Based Systems," Proc. RTSS, 10th Real-Time Systems Symp., Dec. 1989.
[18] A.J. Pasik, "A Source-to-Source Transformation for Increasing Rule-Based System Parallelism," IEEE Trans. Knowledge and Data Eng., vol. 4, no. 4, pp. 336-343, Aug. 1992.
[19] A.A. Valmari and T.M. Jokela, "Embedded Software Validation Through State Space Generation," Proc. Second Int'l Conf. Software Eng. for Real-Time Systems,Cirencester, England, pp. 278-282, 1989.
[20] C.-K. Wang, "Translation Between OPS5 and MRL Rule-Based Programs," technical report, Dept. of Computer Science, Univ. of Texas at Austin, Aug. 1990.
[21] C.-K. Wang and A.K. Mok, "Timing Analysis of MRL: A Real-Time Rule-Based System," J. Real-Time Systems, vol. 5, no. 1, pp. 89-128, Mar. 1993.
[22] M. Jarke, J. Mylopoulos, J.W. Schmidt, and Y. Vassiliou, "DAIDA: An Environment for Evolving Information Systems," ACM Trans. Information Systems, pp. 1-50, vol. 10, Jan. 1992.
[23] B. Zupan, "Optimization of Real-Time Rule-Based Systems Using State-Space Diagrams," master's thesis, Dept. of Computer Science, Univ. of Houston, Texas, 1993.

Index Terms:
Computer-aided software engineering, real-time decision systems, response time, rule-based programs, optimization, state-space graphs, synthesis.
Citation:
Blaz Zupan, Albert Mo Kim Cheng, "Optimization of Rule-Based Systems Using State Space Graphs," IEEE Transactions on Knowledge and Data Engineering, vol. 10, no. 2, pp. 238-254, March-April 1998, doi:10.1109/69.683755
Usage of this product signifies your acceptance of the Terms of Use.