Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings |
| Herausgeber/-innen | Jose Julio Alferes, Luis Moniz Pereira, Ewa Orlowska |
| Herausgeber (Verlag) | Springer Verlag |
| Seiten | 104-118 |
| Seitenumfang | 15 |
| ISBN (Print) | 9783540616306 |
| Publikationsstatus | Veröffentlicht - 1996 |
| Veranstaltung | 6th European Workshop on Logics in Artificial Intelligence, JELIA 1996 - Evora, Portugal Dauer: 30 Sept. 1996 → 3 Okt. 1996 |
Publikationsreihe
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Band | 1126 |
| ISSN (Print) | 0302-9743 |
| ISSN (elektronisch) | 1611-3349 |
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. Recently, Nejdl, FrShlich and Schroeder have developed a framework, which allows to express these strategies as formulas of a meta-language. This paper presents a method for designing strategy knowledge bases as well as an efficient straightforward operational semantics for exploiting them.
ASJC Scopus Sachgebiete
- Mathematik (insg.)
- Theoretische Informatik
- Informatik (insg.)
- Allgemeine Computerwissenschaft
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings. Hrsg. / Jose Julio Alferes; Luis Moniz Pereira; Ewa Orlowska. Springer Verlag, 1996. S. 104-118 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 1126).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
}
TY - GEN
T1 - Design and implementation of diagnostic strategies using modal logic
AU - Fröhlich, Peter
AU - Nejdl, Wolfgang
AU - Schroeder, Michael
N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1996.
PY - 1996
Y1 - 1996
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. Recently, Nejdl, FrShlich and Schroeder have developed a framework, which allows to express these strategies as formulas of a meta-language. This paper presents 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. Recently, Nejdl, FrShlich and Schroeder have developed a framework, which allows to express these strategies as formulas of a meta-language. This paper presents a method for designing strategy knowledge bases as well as an efficient straightforward operational semantics for exploiting them.
UR - http://www.scopus.com/inward/record.url?scp=84955614349&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84955614349
SN - 9783540616306
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 104
EP - 118
BT - Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings
A2 - Alferes, Jose Julio
A2 - Pereira, Luis Moniz
A2 - Orlowska, Ewa
PB - Springer Verlag
T2 - 6th European Workshop on Logics in Artificial Intelligence, JELIA 1996
Y2 - 30 September 1996 through 3 October 1996
ER -