Details
| Original language | English |
|---|---|
| Title of host publication | Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings |
| Editors | Jose Julio Alferes, Luis Moniz Pereira, Ewa Orlowska |
| Publisher | Springer Verlag |
| Pages | 104-118 |
| Number of pages | 15 |
| ISBN (print) | 9783540616306 |
| Publication status | Published - 1996 |
| Event | 6th European Workshop on Logics in Artificial Intelligence, JELIA 1996 - Evora, Portugal Duration: 30 Sept 1996 → 3 Oct 1996 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1126 |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 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 subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
- General Computer Science
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings. ed. / Jose Julio Alferes; Luis Moniz Pereira; Ewa Orlowska. Springer Verlag, 1996. p. 104-118 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1126).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › 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 -