Diagnosis of plan step errors and plan structure violations

Authors:
Cees Witteveen;Nico Roos;Adriaan ter Mors;Xiaoyu Mao
Affiliations:
Delft University of Technology, GA Delft, The Netherlands;Universiteit Maastricht, MD Maastricht, The Netherlands;Almende B. V., DJ Rotterdam, The Netherlands;Almende B. V., DJ Rotterdam, The Netherlands
Venue:
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Year:
2007

Citing 4
Cited 0

A theory of diagnosis from first principles

Artificial Intelligence
Diagnosis of single and multi-agent plans

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
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.01

Visualization

Abstract

Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. While in previous work we have concentrated on the first type of failures, in this paper we introduce the idea of diagnosing violations in 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 multiagent environments violations of plan structure might easily occur as the consequence of synchronization errors. Using a formal framework for plan diagnosis, we show how Model-Based Diagnosis can applied to identify these violations of plan structure specifications and we analyze the computational complexity of the associated diagnostic problems.