A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
Characterizing diagnoses and systems
Artificial Intelligence
An analysis of multi-agent diagnosis
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Coordinated Decentralized Protocols for Failure Diagnosisof Discrete Event Systems
Discrete Event Dynamic Systems
Monitoring and Organizational-Level Adaptation of Multi-Agent Systems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Reaching Diagnostic Agreement in Multi-Agent Diagnosis
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Diagnosing a team of agents: scaling-up
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Diagnosis of single and multi-agent plans
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Synthesizing diagnostic explanations from monitoring data in multi-robot systems
AIA'06 Proceedings of the 24th IASTED international conference on Artificial intelligence and applications
Advanced Engineering Informatics
On the design of coordination diagnosis algorithms for teams of situated agents
Artificial Intelligence
Hypotheses refinement under topological communication constraints
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
An algorithm for computing the diagnoses with minimal cardinality in a distributed system
Engineering Applications of Artificial Intelligence
Toward Cooperative Team-diagnosis in Multi-robot Systems
International Journal of Robotics Research
Exception Diagnosis Architecture for Open Multi-Agent Systems
Software Engineering for Multi-Agent Systems V
Diagnosis of Plan Structure Violations
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
Distributed Consistency-Based Diagnosis
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Detecting disagreements in large-scale multi-agent teams
Autonomous Agents and Multi-Agent Systems
Diagnosis of multi-robot coordination failures using distributed CSP algorithms
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Towards model-based diagnosis of coordination failures
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
A framework for decentralized qualitative model-based diagnosis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A representation for coordination fault detection in large-scale multi-agent systems
Annals of Mathematics and Artificial Intelligence
Agent-based error prevention algorithms
Expert Systems with Applications: An International Journal
Diagnosis of multi-agent plan execution
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Software Engineering for Multi-Agent Systems IV
A sentinel based exception diagnosis in market based multi-agent systems
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
When agents communicate hypotheses in critical situations
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Application of model-based diagnosis to multi-agent systems representing public administration
AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis
Autonomous Agents and Multi-Agent Systems
COMMODITY12: A smart e-health environment for diabetes management
Journal of Ambient Intelligence and Smart Environments - Design and Deployment of Intelligent Environments
Hi-index | 0.00 |
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local models of the system have to be used to detect possible faults. Traditional diagnostic tools, however, are not suitable to deal with such a set of spatially distributed local models.A Multi-Agent System of diagnostic agents, where each agent has a model\footnote[Here, we focus on Model-Based Diagnosis.] of a subsystem, may be proposed as a solution for establishing global diagnoses of large distributed systems. Unfortunately, establishing a global minimal diagnosis is NP-Hard, even if every agent is able to determine local minimal diagnoses in polynomial time. Moreover, communication overhead in establishing a global diagnosis will be high: unless Ρ = ΝΡ a super-polynomial number of messages between the agents will be required for establishing a global diagnosis.In this paper we present a protocol that overcomes this complexity issue by exchanging diagnostic precision for enables agents to determine local minimal diagnoses that are consistent with global diagnoses. Moreover, the protocol ensures that no agent acquires knowledge of global diagnoses. The protocol does not guarantee that a combination of the agents' local minimal diagnoses is also a global minimal diagnosis. However, for every global minimal diagnosis, there is a combination of local minimal diagnoses.