This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Shortening Matching Time in OPS5 Production Systems
July 2004 (vol. 30 no. 7)
pp. 448-457

Abstract—A rule-based system must satisfy stringent timing constraints when applied to a real-time environment. As the scale of rule-based expert systems increases, the efficiency of systems becomes a pressing concern. The most critical performance factor in the implementation of a production system is the condition-testing algorithm. We propose a new method based on the widely used RETE match algorithm. We show an approach designed to reduce the response time of rule-based expert systems by reducing the matching time. There are two steps in the method we propose: The first makes an index structure of the tokens to reduce the α-node-level join candidates. The second chooses the highest time tag for certain \beta{\hbox{-}}\rm nodes to reduce the amount of combinatorial match that is problematical in a real-time production system application. For this purpose, a simple compiler is implemented in C and the response time of test programs is measured.

[1] A. Acharya, M. Tambe, and A. Gupta, "Implementation of Production Systems on Message-Passing Computers," IEEE Trans. Parallel and Distributed Systems, vol. 3, pp. 477-487, July 1992.
[2] A. Acharya and M. Tambe, Collection Oriented Match Proc. Second Int'l Conf. Information Knowledge Management (CIKM), 1993.
[3] D.A. Brant and D.P. Miranker, Index Support for Rule Activation Proc. ACM SIGMOD Int'l Conf. Management Data, 1993.
[4] 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.
[5] A.M.K. Cheng and J.-R. Chen, Response Time Analysis of OPS5 Production Systems IEEE Trans. Knowledge and Data Eng., vol. 12, 2000.
[6] A.M.K. Cheng and S. Fujii, Bounded-Response-Time Self-Stabilizing OPS5 Production Systems Proc. IEEE-CS Int'l Parallel and Distributed Processing Symp., 2000.
[7] A.M.K. Cheng and H.-Y. Tsai, A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems IEEE Trans. Knowledge and Data Eng., vol. 16, no. 2, pp. 271-288, Feb. 2004.
[8] M.-S. Chen, P.S. Yu, and K.-L. Wu, “Optimization of Parallel Execution for Multi-Join Queries,” IEEE Trans. Knowledge and Data Eng., vol. 8, no. 3, pp. 416-428, June 1996.
[9] A.M.K. Cheng, “Parallel Execution of Real-Time Rule-Based Systems,” Proc. Seventh Int'l Parallel Processing Symp., pp. 779-786, Apr. 1993.
[10] R.B. Doorenbos, Matching 100,000 Learned Rules Proc. 11th Nat'l Conf. AI., 1993.
[11] C.L. Forgy, OPS5 Users Manual Technical Report CMU-CS-81-135, Carnegie Mellon Univ., Pittsburgh, 1981.
[12] C.L. Forgy, RETE: A Fast Algorithm for the Many Pattern: Many Object Pattern Match Problem Artificial Intelligence, vol. 19, 1982.
[13] A. Gupta, Parallelism in Production Systems PhD thesis, Computer Science Dept., Carnegie Mellon Univ., Pittsburgh, 1986.
[14] E. Hanson, “The Design and Implementation of the Ariel Active Database Rule System,” Technical Report CIS-TR-92-018, Univ. of Florida, 1992.
[15] E. Hanson and M. Hasan, Gator: An Optimized Discrimination Network for Active Database Rule Condition Testing TR-93-036, CIS Dept., Univ. of Florida, 1993.
[16] T. Ishida, “An Optimization Algorithm for Production Systems,” IEEE Trans. Knowledge and Data Eng., vol. 6, no. 4, pp. 549-558, Aug. 1994.
[17] J.A. Kang, Reducing Matching Time in OPS5 Production Systems master's thesis, Computer Science Dept., Univ. of Houston, 2000.
[18] P. Lee and A.M.K. Cheng, Reducing Match Time Variance in Production Systems with HAL Proc. Sixth Int'l Conf. Information Knowledge, 1997.
[19] Y.-H. Lee and A.M.K. Cheng, Runtime Dynamic Optimization for Real-Time Rule-Based Systems Proc. IEEE-CS Real-Time Technology and Applications Symp., 2000.
[20] P.-Y. Lee and A.M.K. Cheng, HAL: A Faster Match Algorithm IEEE Trans. Knowledge and Data Eng., vol. 14, 2002.
[21] Y.-H. Lee and A.M.K. Cheng, Optimizing Real-Time Equational Rule-Based Systems IEEE Trans. Software Eng., vol. 30, no. 2, Feb. 2004.
[22] H.S. Lee and M.I. Schor, Match Algorithms for Generalized Rete Networks Artificial Intelligence, vol. 54, no. 3, 1992.
[23] J. McDermott, A. Newell, and J. Moore, The Efficiency of Certain Production System Implementations Pattern-Directed Inference Systems, Academic Press, 1978.
[24] D.P. Miranker, TREAT: A Better Match Algorithm for AI Production Systems Proc. Am. Assoc. for Artificial Intelligence Conf., 1987.
[25] P. Nayak, A. Gupta, and P. Rosenbloom, Comparison of the Rete and Treat Production Matchers for Soar (A Summary) Machine Architecture and Comm. Language for AI, 1994.
[26] L. Obermeyer, D.P. Miranker, and D. Brant, Selective Indexing Speeds Production Systems Proc. Seventh Int'l Conf. Tools with Artificial Intelligence, 1995.
[27] C.J. Paul, A. Acharya, B. Black, and J.K. Strosnider, Reducing Problem-Solving Variance to Improve Predictability Comm. ACM, vol. 34, 1991.
[28] M.W. Perlin, “Incremental Binding-Space Match: The Linearized Matchbox Algorithm,” Proc. IEEE Int'l Conf. Tools for Artificial Intelligence, pp. 468-477, Nov. 1991.
[29] J.G. Schmolze and W. Snyder, Detecting Redundant Production Rules Proc. Fourth Nat'l Conf. AI, 1992.
[30] H.-Y. Tsai and A.M.K. Cheng, Termination Analysis of OPS5 Expert Systems Proc. 12th Nat'l Conf. AI, 1994.
[31] M. Tambe, D. Kalp, and P.S. Rosenbloom, An Efficient Algorithm for Production Systems with Linear-Time Match Proc. IEEE Int'l Conf. Tools with AI, 1992.
[32] C.K. Wang, A.K. Mok, and A.M.K. Cheng, Increasing Production System Parallelism via Synchronization Minimization and Check-Ahead Conflict Resolution Proc. Int'l Conf. Parallel Processing, vol. 3, 1990.
[33] Y. Wang and E.N. Hanson,"A performance comparison of the Rete and TREAT algorithms for testing database rule conditions," Proc. IEEE Data Eng. Conf., pp. 88-97, Feb. 1992.
[34] C. Wang and A.M.K. Cheng, Increasing Production System Parallelism via Synchronization Minimization and Check-Ahead Conflict Resolution Proc. 24th Int'l Conf. Parallel Processing, 1994.
[35] 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.

Index Terms:
Matching, knowledge-based systems, expert systems, rule-based systems, OPS5, Rete, response time.
Citation:
Jeong A. Kang, Albert Mo Kim Cheng, "Shortening Matching Time in OPS5 Production Systems," IEEE Transactions on Software Engineering, vol. 30, no. 7, pp. 448-457, July 2004, doi:10.1109/TSE.2004.32
Usage of this product signifies your acceptance of the Terms of Use.