Dynamic optimization for real-time rule-based systems using predicate dependency

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 2000, Pages 145-154

  Lee, Yun Hong ^a   Cheng, Albert Mo Kim ^a  

^a University of Houston   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRUCTION ALGORITHMS; DYNAMIC OPTIMIZATION; OPTIMIZATION METHOD; PREDICATE DEPENDENCIES; RULE BASED EXPERT SYSTEMS; RULE BASED PROGRAMS; RULE DEPENDENCY GRAPHS; RULE-BASED SYSTEM;

ALGORITHMS; EXPERT SYSTEMS;

ALGORITHMS; COMPUTER SYSTEMS PROGRAMMING; GRAPH THEORY; OPTIMIZATION; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS);

PREDICATE DEPENDENCY;

EID: 0033691063     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTTAS.2000.852459     Document Type: Conference Paper

References (16)

1. J. C. Browne, A. M. K. Cheng, and A. K. Mok, "Computer-aided design of real-time rule-based decision systems," Technical Report, Computer Science, Univ. of Texas at Austin, 1988.
2. Jeng-Rung Chen and AlbertMo Kim Cheng, "Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments," Proc. 6th IEEE-CS Intl. Conf. on Tools with Artificial Intelligence, New Orleans, LA, pp. 297-303, 1994.
3. Jeng-Rung Chen and AlbertMo Kim Cheng, "Predicting the response time of OPS5-style production systems," in Proc. IEEE Conf. on AI for Applications, LA, CA, Feb. 1995.
4. Jeng-Rung Chen and Albert Mo Kim Cheng, "Response Time Analysis of EQL Real-Time Rule-Based Systems," IEEE TKDE Vol. 7, No 1, pp. 26-43, Feb. 1995.
5. Albert Mo Kim Cheng, James C. Browne, A. K. Mok, and Rwo-Hsi Wang "Estella: A language for specifying Behavioral Constraint Assertions in real-time rule-based systems," 6th Ann. IEEE Conf. on Computer Assurance, Nat'l Inst. Standards and Technology, Gaithersburg, Md., June 1991.
6. AlbertMo Kim Cheng, James C. Browne, A. K. Mok, and Rwo-Hsi Wang "Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specified in Estella," IEEE Transactions on Software Engineering Vol. 19, No. 9, Sept. 1993.
7. Albert Mo Kim Cheng, "Parallel execution of realtime rule-based systems," in Proc. IEEE Int. Parallel Processing Symposium, Newport Beach, CA, pp. 779-789, Apr. 1993.
8. J. J. Helly, "Distributed Expert System for Space Shuttle Flight Control," Ph. D Dissertation, Department of Computer Science, UCLA, 1984.
9. T. Ishida, "An optimization algorithm for production systems," IEEE TKDE Vol. 6, No 4, pp. 549-558, Aug. 1994.
10. C. A. Marsh, "The ISA expert system: A prototype system for failure diagnosis on the space station," Mitre report, The MITRE Corporation, Houston, 1988.
11. Daniel P. Miranker, "TREAT: A New and Efficient Match Algorithm for AI Production Systems," Research Notes in AI Morgan Kaufmann Publishers, Inc. San Mateo, California, 1990.
12. Daniel P. Miranker and B.J. Lofaso, "The Organization and Performance of a TREAT Based Production System Compiler," IEEE TKDE pp 3-10, March 1991.
13. A. J. Pasik, "A source-to-source transformation for increasing rule-based system parallelism," IEEE Transactions on Knowledge and Data Engineering vol. 4, no. 4, pp 336-343, Aug. 1992.
14. Y. W. Wang and Eric N. Hanson, "A Performance Comparison of the Rete and TREAT Algorithms for Testing Database Rule Conditions," in Proc. IEEE Data Eng. Conf., pp. 88-97, 1992.
15. Rwo-Hsi Wang and A.K. Mok, "Response-time bounds of rule-based programs under rule priority structure," in Proc. IEEE Real-Time Systems Symposium, pp. 142-151, 1994.
16. Blaz Zupan and Albert Mo Kim Cheng, "Optimization of Rule-Based Systems Using State Space Graphs," IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No. 2 April 1998.