A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
Diagnosis of large active systems
Artificial Intelligence
Distributed Diagnosis for Qualitative Systems
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
On the design of coordination diagnosis algorithms for teams of situated agents
Artificial Intelligence
Chronicles for On-line Diagnosis of Distributed Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Diagnosis of a class of distributed discrete-event systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
On classification and modeling issues in distributed model-based diagnosis
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
| Hi-index | 0.00 |
The importance of distributed systems is increasing. More and more systems are built using multi-agent or service-oriented architectures. The size of the resulting systems also increases, which makes the diagnosis task more difficult because of the underlying complexity. As a consequence distributed diagnosis has become more and more important but usually it is tied to specific modeling concepts or based on particular algorithms whose correctness and completeness is not proven. Therefore, we focus in this paper on a general theory for distributed diagnosis, which provides a framework for checking the correctness and completeness of distributed diagnosis algorithms. Moreover, we present a simple algorithm and show that correctness and completeness can only be guaranteed under certain assumptions. The theory is of importance for industry to ensure the correctness of diagnosis systems in the distributed case.