MRL: a real-time rule-based production system

作者: C.-K. Wang , A.K. Mok , A.M.K. Cheng

DOI: 10.1109/REAL.1990.128757

关键词: OPS5Expert systemAlgorithmFlexibility (engineering)Rule-based systemAlgorithm designStatic timing analysisModular designComputer scienceHigh-level programming language

摘要: The response time analysis of rule-based expert systems is discussed. production system MRL (macro-rule-based language) introduced. has been designed to facilitate more accurate the times programs while maintaining flexibility and expressiveness traditional such as OPS5. Research on modular described. Several timing algorithms based this approach have developed. One them, a fixed-point detection algorithm discussed show that efficient effective can be achieved. In particular, general technique called transfer principle introduced for exploiting which are simpler analyze. design match Rhyme, an uniquely suited performance real-time systems, presented. >

参考文章(5)
Daniel P. Miranker, TREAT: a better match algorithm for AI production systems national conference on artificial intelligence. pp. 42- 47 ,(1987)
Christopher A. Marsh, The ISA expert system: a prototype system for failure diagnosis on the space station industrial and engineering applications of artificial intelligence and expert systems. pp. 60- 74 ,(1988) , 10.1145/51909.51917
Charles L. Forgy, Rete: a fast algorithm for the many pattern/many object pattern match problem Artificial Intelligence. ,vol. 19, pp. 17- 37 ,(1982) , 10.1016/0004-3702(82)90020-0
A.K. Mok, Formal analysis of real-time equational rule-based systems real-time systems symposium. pp. 308- 318 ,(1989) , 10.1109/REAL.1989.63583