Download:
|
by Blaz Zupan, Student Member, Albert Mo, Kim Cheng, Senior Member
IEEE Trans. on Knowledge and Data Eng
ftp://garovix.ijs.si/pub/papers/bz/tkde97.ps.gz
Add To MetaCart
Abstract:
Abstract--- Embedded rule-based expert systems must satisfy stringent timing constraints when applied to real-time environments. The paper describes a novel approach to reduce the response time of rule-based expert systems. Our optimization method is based on a construction of the reduced cycle-free finite state space graph corresponding to the input rule-based system. In contrast with traditional state space graph generation algorithms, the optimization algorithm derives a state space graph starting from the final states (fixed points) and gradually expands the state space graph until all of the states with a reachable fixed point are found. The new and optimized system is synthesized from the derived transition system with a synthesis method. We present several algorithms implementing the optimization method. They vary in complexity as well as in the usage of
Citations
|
108
|
L.: OPS5 User's Manual
– Forgy
- 1981
|
|
69
|
Behavior of database production rules: Termination, con uence, and observable determinism
– Aiken, Widom, et al.
- 1992
|
|
42
|
State space caching revisited
– Godefroid, Holzmann, et al.
- 1992
|
|
23
|
Implementation of multiple rule firing production systems on hypercube
– Kuo, Moldovan
- 1991
|
|
18
|
Fundamental properties of deterministic and nondeterministic extensions of Datalog
– Abiteboul, Simon
- 1991
|
|
11
|
An optimization algorithm for production systems
– Ishida
- 1994
|
|
10
|
Analysis of real-time rule-based system with behavioral constraint assertions specified in Estella
– Cheng, Browne, et al.
- 1993
|
|
9
|
Formal analysis of real-time equational rule-based systems
– Mok
- 1990
|
|
7
|
Parallel Execution of Real-Time Rule-Based Systems
– Cheng
- 1993
|
|
6
|
Computer-Aided Design of Real-Time Rule-Based Decision Systems
– Browne, Cheng, et al.
- 1988
|
|
5
|
Termination analysis of OPS5 expert systems
– Tsai, Cheng
- 1994
|
|
4
|
et al. "A New Approach to Modularity in Rule-Based Programming
– Browne
- 1994
|
|
4
|
Predicting the response time of OPS5-style production systems
– Chen, Cheng
- 1995
|
|
4
|
The isa expert system: A prototype system for failure diagnosis on the space station
– Marsh
- 1988
|
|
4
|
MRL: A Real-Time Rule-Based Production System
– Wang, Mok, et al.
- 1990
|
|
3
|
Response time analysis of EQL real-time rule-based systems
– Chen, Cheng
- 1995
|
|
3
|
If it works, is it good
– Eliot
- 1992
|
|
3
|
Design and Validation of Computer Protocols, chapter 11–14
– Holzmann
- 1991
|
|
2
|
Embedded Software Validation Through State Space Generation
– Valmari, Jokela
- 1989
|
|
2
|
Timing analysis of MRL: a realtime rule-based system
– Wang, Mok
- 1993
|
|
2
|
Optimization of real-time rule-based systems using state-space diagrams," Master's thesis
– Zupan
- 1993
|
|
1
|
A source-to-source transformation fro increasing rule-based system parallelism
– Pasik
- 1992
|
|
1
|
Translation between OPS5 and MRL rule-based programs
– Wang
- 1990
|
