Optimization of rule-based systems using state space graphs

IEEE Transactions on Knowledge and Data Engineering

Volumn 10, Issue 2, 1998, Pages 238-254

  Zupan, Blaž ^a,c   Cheng, Albert Mo Kim ^b,c  

^a JO EF STEFAN INSTITUTE   (Slovenia)

^b University of Houston   (United States)

^c IEEE   (Slovenia)

Author keywords

Computer aided software engineering; Optimization; Real time decision systems; Response time; Rule based programs; State space graphs; Synthesis

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER AIDED SOFTWARE ENGINEERING; CONSTRAINT THEORY; GRAPH THEORY; OPTIMIZATION; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); SCHEDULING; STATE SPACE METHODS;

REAL TIME DECISION SYSTEMS; RULE BASED PROGRAMS; STATE SPACE GRAPHS;

EXPERT SYSTEMS;

EID: 0032027308     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.683755     Document Type: Article

References (23)

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 Determinism," Proc. ACM SIGMOD Int'l Conf. Management of Data, San Diego, Calif., pp. 59-68, June 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. IEEE Int'l Parallel Processing Symp., Newport Beach, Calif., pp. 779-789, 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, Montreal, Que., Canada, pp. 178-191, June 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. C.-K. Wang, A.K. Mok, and A.M.K. Cheng, "MRL - A Real-Time Rule-Based Production System," Proc. IEEE Real-Time Systems Symp., Lake Buena Vista, Fla., pp. 267-276, Dec. 1990.
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.