A theory of diagnosis from first principles
Artificial Intelligence
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
Using self-diagnosis to adapt organizational structures
Proceedings of the fifth international conference on Autonomous agents
Coordinated Decentralized Protocols for Failure Diagnosisof Discrete Event Systems
Discrete Event Dynamic Systems
Autonomous Agents and Multi-Agent Systems
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
A distributed framework for solving the Multiagent Plan Coordination Problem
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the design of social diagnosis algorithms for multi-agent teams
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Multi-agent plan diagnosis and negotiated repair
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Primary and secondary diagnosis of multi-agent plan execution
Autonomous Agents and Multi-Agent Systems
Diagnosis of Simple Temporal Networks
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A distributed control loop for autonomous recovery in a multi-agent plan
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Agent cooperation for monitoring and diagnosing a MAP
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Maximal-confirmation diagnoses
Knowledge-Based Systems
Reasoning about Exceptions to Contracts
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Diagnosis of coordination failures: a matrix-based approach
Autonomous Agents and Multi-Agent Systems
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
We consider a model-based diagnosis approach to the diagnosis of plans. Here, a plan performed by some agent(s) is considered as a system to be diagnosed. We introduce a simple formal model of plans and plan execution where it is assumed that the execution of a plan can be monitored by making partial observations of plan states. These observed states are used to compare them with states predicted based on (normal) plan execution. Deviations between observed and predicted states can be explained by qualifying some plan steps in the plan as behaving abnormally. A diagnosis is a subset of plan steps qualified as abnormal that can be used to restore the compatibility between the predicted and the observed partial state. Besides minimum and subset minimal diagnoses, we argue that in plan-based diagnosis maximum informative diagnoses should be considered as preferred diagnoses, too. The latter ones are diagnoses that make the strongest predictions with respect to partial states to be observed in the future. We show that in contrast to minimum diagnoses, finding a (subset minimal) maximum informative diagnosis can be achieved in polynomial time. Finally, we show how these diagnoses can be found efficiently if the plan is distributed over a number of agents.