Details
| Original language | English |
|---|---|
| Title of host publication | Formal Models of Agents - ESPRIT Project ModelAge Final Workshop, Selected Papers |
| Editors | John-Jules Ch. Meyer, Pierre-Yves Schobbens |
| Publisher | Springer Verlag |
| Pages | 173-186 |
| Number of pages | 14 |
| ISBN (print) | 3540670270, 9783540670278 |
| Publication status | Published - 1999 |
| Event | ModelAge Final Workshop on Formal Models of Agents, 1997 - Siena, Italy Duration: 15 Jan 1997 → 17 Jan 1997 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1760 |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
Abstract
In this paper we introduce an agent–based framework for the diagnosis of spatially distributed technical systems, based on a suitable distributed diagnosis architecture. We implement the framework using the concepts of vivid agents and extended logic programming. To demonstrate the power of our approach, we solve a diagnosis example from the domain of unreliable datagram protocols.
ASJC Scopus subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
- General Computer Science
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Formal Models of Agents - ESPRIT Project ModelAge Final Workshop, Selected Papers. ed. / John-Jules Ch. Meyer; Pierre-Yves Schobbens. Springer Verlag, 1999. p. 173-186 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1760).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Diagnostic agents for distributed systems
AU - Fröhlich, P.
AU - Mòra, I.
AU - Nejdl, W.
AU - Schroeder, Michael
N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1999.
PY - 1999
Y1 - 1999
N2 - In this paper we introduce an agent–based framework for the diagnosis of spatially distributed technical systems, based on a suitable distributed diagnosis architecture. We implement the framework using the concepts of vivid agents and extended logic programming. To demonstrate the power of our approach, we solve a diagnosis example from the domain of unreliable datagram protocols.
AB - In this paper we introduce an agent–based framework for the diagnosis of spatially distributed technical systems, based on a suitable distributed diagnosis architecture. We implement the framework using the concepts of vivid agents and extended logic programming. To demonstrate the power of our approach, we solve a diagnosis example from the domain of unreliable datagram protocols.
UR - http://www.scopus.com/inward/record.url?scp=20344372247&partnerID=8YFLogxK
U2 - 10.1007/3-540-46581-2_12
DO - 10.1007/3-540-46581-2_12
M3 - Conference contribution
AN - SCOPUS:20344372247
SN - 3540670270
SN - 9783540670278
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 173
EP - 186
BT - Formal Models of Agents - ESPRIT Project ModelAge Final Workshop, Selected Papers
A2 - Meyer, John-Jules Ch.
A2 - Schobbens, Pierre-Yves
PB - Springer Verlag
T2 - ModelAge Final Workshop on Formal Models of Agents, 1997
Y2 - 15 January 1997 through 17 January 1997
ER -