Diagnosis of plan step errors and plan structure violations

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. Categories and Subject Descriptors I.2.8 [Problem Solving, Control Methods, and Search]: Plan execution, formation, and generation; I.2.11 [Distributed Artificial Intelligence]: Intelligent agents, Multiagent Systems General Terms Reliability, Th...

• Type: Conference
• Year: 2007
• Where: ATAL
• Authors: Cees Witteveen, Nico Roos, Adriaan ter Mors, Xiaoyu Mao
• Keywords: ATAL 2007, Plan Execution, Plan Structure, Plan Structure Violations