ML Anthology

Termination Analysis of OPS5 Expert Systems

Hsiu-yen Tsai, Albert Mo Kim Cheng
AAAI 1994 pp. 193-198
/aaai/1994/tsai1994aaai-termination/

Abstract

Bounded response time is an important requirement when rule-based expert systems are used in real-time applications. In the case the rule-based system cannot terminate in bounded time, we should detect the "culprit " conditions causing the non-termination to assist programmers in debugging. This paper describes a novel tool which analyzes OPS5 programs to achieve this goal. The first step is to verify that an OPS5 program can terminate in bounded time. A graphical representation of an OPS5 program is defined and evaluated. Once 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.

PDF AAAI Semantic Scholar

Cite

Text

Tsai and Cheng. "Termination Analysis of OPS5 Expert Systems." AAAI Conference on Artificial Intelligence, 1994.

Markdown

[Tsai and Cheng. "Termination Analysis of OPS5 Expert Systems." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/tsai1994aaai-termination/)

BibTeX

@inproceedings{tsai1994aaai-termination,
  title     = {{Termination Analysis of OPS5 Expert Systems}},
  author    = {Tsai, Hsiu-yen and Cheng, Albert Mo Kim},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1994},
  pages     = {193-198},
  url       = {https://mlanthology.org/aaai/1994/tsai1994aaai-termination/}
}