Details
| Original language | English |
|---|---|
| Pages (from-to) | 57-72 |
| Number of pages | 16 |
| Journal | Computers and Mathematics with Applications |
| Volume | 20 |
| Issue number | 9-10 |
| Publication status | Published - 1990 |
| Externally published | Yes |
Abstract
We describe how model-based reasoning knowledge (represented in the form of Horn clauses) can be transformed into efficient diagnostic procedures. These procedures, in the form of generalized decision trees, are produced by partial evaluation of a declarative system model. These decision trees are constructed incrementally based on diagnostic sessions and the system model. Both optimal measurement point selection and fault localization are included in these diagnostic procedures. Using this approach we produce a diagnosis system which integrates both model-based structural and behavioral knowledge and generates explicit diagnostic knowledge. This structure guarantees both high flexibility and a good runtime behavior. Conventional inductive learning algorithms produce decision trees with constant attribute labels for decision making. In contrast our algorithm generates generalized expression labels leading to much smaller and more understandable decision trees. This is done by exploiting the logic representation of the model and an extension of well-known partial evaluation techniques.
ASJC Scopus subject areas
- Mathematics(all)
- Modelling and Simulation
- Computer Science(all)
- Computational Theory and Mathematics
- Mathematics(all)
- Computational Mathematics
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Computers and Mathematics with Applications, Vol. 20, No. 9-10, 1990, p. 57-72.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
AU - Friedrich, G.
AU - Gottlob, G.
AU - Nejdl, W.
PY - 1990
Y1 - 1990
N2 - We describe how model-based reasoning knowledge (represented in the form of Horn clauses) can be transformed into efficient diagnostic procedures. These procedures, in the form of generalized decision trees, are produced by partial evaluation of a declarative system model. These decision trees are constructed incrementally based on diagnostic sessions and the system model. Both optimal measurement point selection and fault localization are included in these diagnostic procedures. Using this approach we produce a diagnosis system which integrates both model-based structural and behavioral knowledge and generates explicit diagnostic knowledge. This structure guarantees both high flexibility and a good runtime behavior. Conventional inductive learning algorithms produce decision trees with constant attribute labels for decision making. In contrast our algorithm generates generalized expression labels leading to much smaller and more understandable decision trees. This is done by exploiting the logic representation of the model and an extension of well-known partial evaluation techniques.
AB - We describe how model-based reasoning knowledge (represented in the form of Horn clauses) can be transformed into efficient diagnostic procedures. These procedures, in the form of generalized decision trees, are produced by partial evaluation of a declarative system model. These decision trees are constructed incrementally based on diagnostic sessions and the system model. Both optimal measurement point selection and fault localization are included in these diagnostic procedures. Using this approach we produce a diagnosis system which integrates both model-based structural and behavioral knowledge and generates explicit diagnostic knowledge. This structure guarantees both high flexibility and a good runtime behavior. Conventional inductive learning algorithms produce decision trees with constant attribute labels for decision making. In contrast our algorithm generates generalized expression labels leading to much smaller and more understandable decision trees. This is done by exploiting the logic representation of the model and an extension of well-known partial evaluation techniques.
UR - http://www.scopus.com/inward/record.url?scp=0025592834&partnerID=8YFLogxK
U2 - 10.1016/0898-1221(90)90112-W
DO - 10.1016/0898-1221(90)90112-W
M3 - Article
AN - SCOPUS:0025592834
VL - 20
SP - 57
EP - 72
JO - Computers and Mathematics with Applications
JF - Computers and Mathematics with Applications
SN - 0898-1221
IS - 9-10
ER -