This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems
February 2004 (vol. 16 no. 2)
pp. 271-288

Abstract—This paper examines the problem of predicting the timing behavior of knowledge-based systems for real-time applications. In particular, we describe a suite of tools which analyze OPS5 programs to understand their timing properties. First, a graphical representation of an OPS5 program is defined and evaluated. This graph represents the logical control flows of an OPS5 program. Most of our analysis is based on this data structure. Second, we describe a novel tool which verifies that an OPS5 program can terminate in finite time. If the termination of the OPS5 program is not expected, the “culprit” conditions are detected. These conditions are then used to correct the problem by adding extra rules to the original program. Third, another tool is introduced to aid timing analysis of OPS5 programs. This tool generates a set of test data which maximize the program execution time. Other functions are also provided to facilitate the timing analysis.

[1] F. Barachiniet 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 C.M. 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 Conf. Artificial Intelligence for Applications,Los Angeles, Feb. 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, 2000.
[10] A.M.K. Cheng, “Parallel Execution of Real-Time Rule-Based Systems,” Proc. Seventh 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. of the Fifth Ann. Conf. on Computer Assurance, pp. 46-56, 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. on Knowledge and Data Engineering, vol. 3, No. 1, pp 11-17, March 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 and A.M.K. Cheng, Dynamic optimization for Real-Time Rule-Based Systems Using Predicate Dependency Proc. IEEE Real-Time Technology and Applications Symp., 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. Laffeyet al., Real-Time Knowledge-Based Systems AI Magazine, vol. 9, no, 1, pp. 27-45, 1988.
[26] D.J. Musliner, J.A. Hendler, A.K. Agrawala, E.H. Durfee, J.K. Strosnider, and C.J. Paul, “The Challenges of Real Time AI,” Computer, vol. 28, 1995.
[27] 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.
[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. Schmolze, 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, 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] 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.
[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, Apr. 1998.
[40] B. Zupan and A.M.K. Cheng,“Optimization of rule-based systems via state transition system construction,” Proc. of 1994 IEEE Conf. on Artificial Intelligence for Applications, pp. 320 - 326, March 1994.

Index Terms:
Timing analysis, response time, OPS5, KBS, expert systems, rule-based systems, production systems, real-time systems.
Citation:
Albert Mo Kim Cheng, Hsiu-yen Tsai, "A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems," IEEE Transactions on Knowledge and Data Engineering, vol. 16, no. 2, pp. 271-288, Feb. 2004, doi:10.1109/TKDE.2004.1269603
Usage of this product signifies your acceptance of the Terms of Use.