作者: C.-K. Wang , A.K. Mok , A.M.K. Cheng
关键词: OPS5 、 Expert system 、 Algorithm 、 Flexibility (engineering) 、 Rule-based system 、 Algorithm design 、 Static timing analysis 、 Modular design 、 Computer science 、 High-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. >