Details
| Original language | English |
|---|---|
| Pages (from-to) | 81-105 |
| Number of pages | 25 |
| Journal | Journal of automated reasoning |
| Volume | 20 |
| Issue number | 1-2 |
| Publication status | Published - 1998 |
Abstract
The ability to select suitable diagnostic assumptions and models extends the power of model-based diagnosis for complex systems and can explicitly be modeled by diagnostic strategies. We discuss a framework that allows one to express these strategies as formulas of a meta-language and present a method for designing strategy knowledge bases as well as an efficient straightforward operational semantics for exploiting them.
Keywords
- Model-based diagnosis, Strategy
ASJC Scopus subject areas
- Computer Science(all)
- Software
- Computer Science(all)
- Computational Theory and Mathematics
- Computer Science(all)
- Artificial Intelligence
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Journal of automated reasoning, Vol. 20, No. 1-2, 1998, p. 81-105.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - Strategies in Model-based Diagnosis
AU - Fröhlich, Peter
AU - Nejdl, Wolfgang
AU - Schroeder, Michael
PY - 1998
Y1 - 1998
N2 - The ability to select suitable diagnostic assumptions and models extends the power of model-based diagnosis for complex systems and can explicitly be modeled by diagnostic strategies. We discuss a framework that allows one to express these strategies as formulas of a meta-language and present a method for designing strategy knowledge bases as well as an efficient straightforward operational semantics for exploiting them.
AB - The ability to select suitable diagnostic assumptions and models extends the power of model-based diagnosis for complex systems and can explicitly be modeled by diagnostic strategies. We discuss a framework that allows one to express these strategies as formulas of a meta-language and present a method for designing strategy knowledge bases as well as an efficient straightforward operational semantics for exploiting them.
KW - Model-based diagnosis
KW - Strategy
UR - http://www.scopus.com/inward/record.url?scp=0032045317&partnerID=8YFLogxK
U2 - 10.1023/a:1005948807784
DO - 10.1023/a:1005948807784
M3 - Article
AN - SCOPUS:0032045317
VL - 20
SP - 81
EP - 105
JO - Journal of automated reasoning
JF - Journal of automated reasoning
SN - 0168-7433
IS - 1-2
ER -