Response time analysis of OPS5 production systems

IEEE Transactions on Knowledge and Data Engineering

Volumn 12, Issue 3, 2000, Pages 391-409

  Cheng, Albert Mo Kim ^a,b   Chen, Jeng Rung ^b  

^a IEEE   (United States)

^b University of Houston   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

POTENTIAL INSTANTIATION GRAPH; REAL TIME DECISION SYSTEMS; RESPONSE TIME ANALYSIS; RETE NETWORK;

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; LOGIC PROGRAMMING; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); THEOREM PROVING;

KNOWLEDGE BASED SYSTEMS;

EID: 0033720296     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.846292     Document Type: Article

References (16)

1. S. Abiteboul and E. Simon, "Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog," Theoretical Computer Science, vol. 78, pp. 137-158, 1991.
2. A. Aiken, J. Widom, and J.M. Hellerstein, "Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism," Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 59-68, June 1992, and also in IBM Research Report RJ 8562, San Jose Calif.: IBM Almaden Research Center, Jan. 1992.
3. F. Barachini, "Frontiers in Run-Time Prediction for the Production-System Paradigm," AI Magazine, vol. 15, no. 3, pp. 47-61, Fall 1994.
4. M. Benda, "Real-Time Applications of AI in the Aerospace Industry," Proc. Fall School on Artificial Intelligence, Sept. 1987.
5. A.M.K. Cheng, J.C. Browne, A.K. Mok, and R.-H. Wang, "Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specified in Estella," IEEE Trans. Software Eng., vol 19, no. 9, pp. 863-885, Sept. 1993.
6. C.L. Forgy, OPS5 User's Manual. Technical Report CMU-81-135, Carnegie-Mellon Univ., 1981.
7. C.L. Forgy, "Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem," Artificial Intelligence, vol. 19, pp. 17-37, 1982.
8. C.L. Forgy, "The OPS Languages," PC Artificial Intelligence, pp. 16-21, Sept./Oct. 1995.
9. T. Ishida, "Parallel Rule Firing in Production Systems," IEEE Trans. Knowledge and Data Eng., vol. 3, no. 1, pp 11-17, Mar. 1991.
10. D. Koch, K. Morris, C. Giffin, and T. Reid, "Avionic Sensor-Based Safing System Technology," Presentation Tri-Service Software System Safety Working Group in association with IEEE COMPASS Conf., 1986.
11. T.J. Laffey, P.A. Cox, J.L. Schmidt, S.M. Kao, and J.Y. Read, "Real-Time Knowledge-Based Systems," Artificial Intelligence Magazine, vol. 9, no. 1, pp. 27-45, Spring 1988.
12. J.S. Lark, L.D. Erman, S. Forrest, K.P. Gostelow, F. Hayes-Roth, and D.M. Smith, "Concepts, Methods, and Languages for Building Timely Intelligent Systems," J. Real-Time Systems, vol. 2, pp. 127-148, May 1990.
13. C.A. O'Reilly and A.S. Cromarty, ""Fast" Is Not "Real-time": Designing Effective Real-Time," Proc. SPIE, Artificial Intelligence Systems, Applications of Artificial Intelligence, J.F. Gilmore, ed., 1985.
14. 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.
15. R.-H. Wang and A.K. Mok, "Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure," IEEE Trans. Software Eng., vol. 21, no. 7, pp. 605-614, July 1995.
16. P.H. Winston, Artificial Intelligence. Reading, Mass.: Addison-Wesley, 1977.