Shortening matching time in OPS5 production systems

IEEE Transactions on Software Engineering

Volumn 30, Issue 7, 2004, Pages 448-457

  Kang, Jeong A ^a   Cheng, Albert Mo Kim ^b  

^a HUMAX Co Ltd   (South Korea)

^b University of Houston ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DATABASE SYSTEMS; EXPERT SYSTEMS; GRAPH THEORY; HEURISTIC PROGRAMMING; OPTIMIZATION; PROGRAM COMPILERS; REAL TIME SYSTEMS; STATE SPACE METHODS;

COMBINATORIAL MATCH; MATCHING ALGORITHM; MATCHING TIME; PORDUCTION SYSTEM MODEL; RESPONSE TIME; TIMING CONSTRAINTS;

SOFTWARE ENGINEERING;

EID: 3242699836     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2004.32     Document Type: Article

References (35)

1. A. Acharya, M. Tambe, and A. Gupta, "Implementation of Production Systems on Message-Passing Computers," IEEE Trans. Parallel and Distributed Systems, vol. 3, 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. Chen and A.M.K. Cheng, "Predicting the Response Time of OPS5-Sytle Production Systems," Proc. 11th Conf. Artificial Intelligence for Applications, 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.I. Wu, "Optimization of Parallel Execution for Multi-Join Queries," IEEE Trans. Knowledge and Data Eng., vol. 8, 1996.
9. A.M.K. Cheng, "Parallel Execution of Real-Time Rule-Based Systems," Proc. IEEE Int'l Parallel Processing Symp., 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," IEEE Trans. Knowledge and Data Eng., vol. 8, 1996.
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, 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. Perlin, "Incremental Binding-Space Match: The Linearized MatchBox Algorithm," Proc. IEEE Int'l Conf. Tools for AI, 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. Hanson, "A Performance Comparison of the Rete and Treat Algorithms for Testing Database Rule Conditions," Proc. Eighth Int'l Conf. Data Eng., 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, 1998.