Details
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 81-105 |
Seitenumfang | 25 |
Fachzeitschrift | Journal of automated reasoning |
Jahrgang | 20 |
Ausgabenummer | 1-2 |
Publikationsstatus | Veröffentlicht - 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.
ASJC Scopus Sachgebiete
- Informatik (insg.)
- Software
- Informatik (insg.)
- Theoretische Informatik und Mathematik
- Informatik (insg.)
- Artificial intelligence
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Journal of automated reasoning, Jahrgang 20, Nr. 1-2, 1998, S. 81-105.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › 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 -