A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems

IEEE Transactions on Knowledge and Data Engineering

Volumn 16, Issue 2, 2004, Pages 271-288

  Cheng, Albert Mo Kim ^a   Tsai, Hsiu Yen ^a  

^a UNIVERSITY OF HOUSTON   (United States)

Author keywords

Expert systems; KBS; OPS5; Production systems; Real time systems; Response time; Rule based systems; Timing analysis

Indexed keywords

OPS5; PRODUCTION SYSTEMS; RESPONSE TIME; TIMING ANALYSIS;

COMPUTATIONAL METHODS; COMPUTER PROGRAM LISTINGS; DATABASE SYSTEMS; EXPERT SYSTEMS; FORMAL LANGUAGES; GRAPH THEORY; PROBLEM SOLVING; REAL TIME SYSTEMS; SEMANTICS;

KNOWLEDGE BASED SYSTEMS;

EID: 1342345063     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2004.1269603     Document Type: Article

References (40)

1. F. Barachini et al., "The Challenge of Real-Time Process Control for Production Systems," Proc. Seventh Nat'l Conf. Artificial Intelligence, pp. 705-712, 1988.
2. F. Barachini, "Frontiers in Run-Time Prediction for the Production System Paradigm," AI Magazine, vol. 15, no. 3, pp. 47-61, Fall 1994.
3. M.R. Barry and CM. Lowe, "Analyzing Spacecraft Configurations through Specialization and Default Reasoning," Proc. Goddard Conf. Space Applications of Artificial Intelligence, pp. 165-179, 1990.
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. Computer Science, Univ. of Texas at Austin, 1988.
5. L. Brownston, R. Farrel, E. Kant, and N. Martin, Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, 1986.
6. J.-R. Chen and A.M.K. Cheng, "Predicting the Response Time of OPS5-Style Production Systems," Proc. IEEE-CS Conf. AI for Applications, pp. 203-209, 1995.
7. 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.
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 J.-R. Chen, "Response Time Analysis of OPS5 Production Systems," IEEE Trans. Knowledge and Data Eng., vol. 12, no. 3, pp. 391-409, May/June 2000.
10. A.M.K. Cheng, "Parallel Execution of Real-Time Rule-Based Systems," Proc. IEEE Int'l Parallel Processing Symp., pp. 779-786, Apr. 1993.
11. 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.
12. A.M.K. Cheng and C.-K. Wang, "Fast Static Analysis of Real-Time Rule-Based Systems to Verify Their Fixed Point Convergence," Proc. Fifth Ann. IEEE Conf. Computer Assurance, pp. 46-56, June 1990.
13. T. Cooper and N. Wogrin, Rule-Based Programming with OPS5. San Mateo, Calif.: Morgan Kaufmann, 1988.
14. C.L. Forgy, "Ops5 Users Manual," CS technical report, Carnegie Mellon Univ., 1981.
15. C.L. Forgy, "Rete: A Fast Algorithm for Many Pattern/Many Object Pattern Match Problem," Artificial Intelligence, vol. 19, 1982.
16. CL. Forgy, "The OPS Languages: An Historical Overview," PC AI, vol. 9, no. 5, pp. 16-21, Sept. 1995.
17. A. Gupta, "Parallelism in Production Systems," PhD thesis, Carnegie Mellon Univ., 1985.
18. T. Ishida, "Parallel Rule Firing in Production Systems," IEEE Trans. Knowledge and Data Eng., vol. 3, no. 1, Mar. 1991.
19. J.D. Kiper, "Structural Testing of Rule-Based Expert Systems," ACM Trans. Software Eng. and Methodology, vol. 1, no. 2, Apr. 1992.
20. 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.
21. S. Kuo and D. Moldovan, "The State of the Art in Parallel Production Systems," J. Parallel and Distributed Computing, vol. 15, pp. 1-26, 1992.
22. Y.-H. Lee, A.M.K. Cheng, "Run-Time Dynamic Optimization for Real-Time Rule-Based Systems," Proc. IEEE-CS Real-Time Technology and Applications Symp., May-June 2000.
23. C.A. Marsh, "The ISA Expert System: A Prototype System for Failure Diagnosis on the Space Station," Mitre report, The MITRE Corp., Houston, Tex., 1988.
24. D.P. Miranker, "TREAT: A New and Efficient Algorithm for AI Production Systems," PhD thesis, Columbia Univ., 1987.
25. T.J. Laffey et al., "Real-Time Knowledge-Based Systems," AI Magazine, vol. 9, no, 1, pp. 27-45, 1988.
26. D.J. Musliner et al., "The Challenges of Real-Time AI," Computer, vol. 28, no. 1, pp. 58-66, Jan. 1995.
27. A.J. Pasik, "A Source-to-Source Transformation for Increasing Rule-Based Parallelism," IEEE Trans. Knowledge and Data Eng., vol. 4, no. 4, Aug. 1992.
28. D.W. Payton and T.E. Bihari, "Intelligent Real-Time Control of Robotic Vehicles," Comm. ACM, vol. 34, no. 8, pp. 48-63, Aug. 1991.
29. J.G. Schmölze, "Guaranteeing Serializable Results in Synchronous Parallel Production Systems," J. Parallel and Distributed Computing, vol. 13, no. 4, Dec. 1991.
30. S.C. Shah, "Automated Conversion of OPS5 Program into MRL Programs for Response Time Bound Analysis," master's, thesis, Univ. of Houston, 1992.
31. A.C. Shaw, "Reasoning about Time in Higher-Level Language Software," IEEE Trans. Software Eng., vol. 15, no. 7, pp. 875-889, July 1989.
32. J.K. Strosnider and C.J. Paul, "A Structured View of Real-Time Problem Solving," AI Magazine, vol. 15, no. 2, pp. 45-66, Summer 1994.
33. H.-Y. Tsai, "Timing and Complexity Analysis of OPS5 Program," MS thesis, Dept. Computer Science, Univ. of Houston, 1994.
34. J.D. Ullman, "Efficient Tests for Top-Down Termination of Logical Rules," J. ACM, vol. 35, no. 2, Apr. 1988.
35. C.-K. Wang, "Translation between OPS5 and MRL Rule-Based Programs," technical report, Dept. Computer Science, Univ. of Texas at Austin, Aug. 1989.
36. C.-K. Wang, "MRL: The Language," technical report, Dept. Computer Science, Univ. of Texas at Austin, Aug. 1990.
37. C.K. Wang and A.K. Mok, "Timing Analysis of MRL: A Real-Time Rule-Based System," J. Real-Time Systems, Mar. 1993.
38. C.-K. Wang, A.K. Mok, A.M.K. Cheng, "MRL - A Real-Time Rule-Based Production System," Proc. IEEE Real-Time Systems Symp., pp. 267-276, Dec. 1990.
39. B. Zupan and A.M.K. Cheng, "Optimization of Rule-Based Systems Using State Space Graphs," IEEE Trans. Knowledge and Data Eng., vol. 10, no. 2, pp. 238-254, Mar./Apr. 1998.
40. B. Zupan and A.M.K. Cheng, "Optimization of Rule-Based Expert Systems via State Transition System Construction," Proc. IEEE Conf. Artificial Intelligence for Application, pp. 320-326, 1994.