The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - February (2004 vol.16)
pp: 271-288
ABSTRACT
<p><b>Abstract</b>—This paper examines the problem of predicting the timing behavior of knowledge-based systems for real-time applications. In particular, we describe a suite of tools which analyze OPS5 programs to understand their timing properties. First, a graphical representation of an OPS5 program is defined and evaluated. This graph represents the logical control flows of an OPS5 program. Most of our analysis is based on this data structure. Second, we describe a novel tool which verifies that an OPS5 program can terminate in finite time. If the termination of the OPS5 program is not expected, the “culprit” conditions are detected. These conditions are then used to correct the problem by adding extra rules to the original program. Third, another tool is introduced to aid timing analysis of OPS5 programs. This tool generates a set of test data which maximize the program execution time. Other functions are also provided to facilitate the timing analysis.</p>
INDEX TERMS
Timing analysis, response time, OPS5, KBS, expert systems, rule-based systems, production systems, real-time systems.
CITATION
Albert Mo Kim Cheng, Hsiu-yen Tsai, "A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems", IEEE Transactions on Knowledge & Data Engineering, vol.16, no. 2, pp. 271-288, February 2004, doi:10.1109/TKDE.2004.1269603
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool