Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques

Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

Autoren

Externe Organisationen

  • Technische Universität Wien (TUW)
Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
Seiten (von - bis)57-72
Seitenumfang16
FachzeitschriftComputers and Mathematics with Applications
Jahrgang20
Ausgabenummer9-10
PublikationsstatusVeröffentlicht - 1990
Extern publiziertJa

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 Sachgebiete

Zitieren

Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques. / Friedrich, G.; Gottlob, G.; Nejdl, W.
in: Computers and Mathematics with Applications, Jahrgang 20, Nr. 9-10, 1990, S. 57-72.

Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

Download
@article{c807b19c4a1144b0ad042279f72c5fdb,
title = "Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques",
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.",
author = "G. Friedrich and G. Gottlob and W. Nejdl",
year = "1990",
doi = "10.1016/0898-1221(90)90112-W",
language = "English",
volume = "20",
pages = "57--72",
journal = "Computers and Mathematics with Applications",
issn = "0898-1221",
publisher = "Elsevier Ltd.",
number = "9-10",

}

Download

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 -

Von denselben Autoren