Diagnosis of Plan Structure Violations

Authors:
Nico Roos;Cees Witteveen
Affiliations:
Dept. of Computer Science, Universiteit Maastricht, P.O. Box 616, NL-6200 MD Maastricht,;Faculty EWI, Delft University of Technology, P.O. Box 5031, NL-2600 GA Delft,
Venue:
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
Year:
2007

Citing 14
Cited 0

A theory of diagnosis from first principles

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
Diagnosis of large active systems

Artificial 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
Domain Monotonicity and the Performance of Local Solutions Strategies for CDPS-based Distributed Sensor Interpretation and Distributed Diagnosis

Autonomous Agents and Multi-Agent Systems
A protocol for multi-agent diagnosis with spatially distributed knowledge

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent 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
Towards model-based diagnosis of coordination failures

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
On the design of social diagnosis algorithms for multi-agent teams

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks

Artificial Intelligence
Diagnosis of plans and agents

CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Diagnosis of multi-agent plan execution

MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to be performed and which precedence constraints between them have to be respected. Especially in multi-agent environments violations of plan structure might easily occur as the consequence of synchronization errors. While in previous work we have concentrated on the first type of failures, in this paper we introduce the idea of diagnosing plan structure violations. Using a formal framework for plan diagnosis, we describe how Model-Based Diagnosis can applied to identify these violations of plan structure specifications and we analyze their computational complexity.