This Article 
 Bibliographic References 
 Add to: 
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.
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.