Temporal diagnosis of multi-agent plan execution without an explicit representation of time

The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s temporal constraints is rather a rule than an exception. In such domains there is a need for identifying the underlying causes of the constraint violations in order to improve plan repairs and to anticipate future constraint violations. This paper presents a model for identifying the causes of the temporal constraint violations using coupled Discrete Event Systems. We show that for temporal diagnosis we can use a model without explicit temporal information.

[1]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[2]  Nico Roos,et al.  Plan-execution health repair in a multi-agent system , 2004 .

[3]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[4]  Victor R. Lesser,et al.  Domain Monotonicity and the Performance of Local Solutions Strategies for CDPS-based Distributed Sensor Interpretation and Distributed Diagnosis , 2004, Autonomous Agents and Multi-Agent Systems.

[5]  Nico Roos,et al.  Diagnosis of single and multi-agent plans , 2005, AAMAS '05.

[6]  Marie-Odile Cordier,et al.  A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks , 2005, Artif. Intell..

[7]  Nico Roos,et al.  Diagnosis of Plans and Agents , 2005, CEEMAS.

[8]  Nico Roos,et al.  Primary and Secondary Plan Diagnosis , 2006 .

[9]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[10]  Meir Kalech,et al.  On the Design of Social Diagnosis Algorithms for Multi-Agent Teams , 2003, IJCAI.

[11]  Michael Freed,et al.  Model-Based Diagnosis of Planning Failures , 1990, AAAI.

[12]  Victor R. Lesser,et al.  Using self-diagnosis to adapt organizational structures , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[13]  Nico Roos,et al.  Keeping Plan Execution Healthy , 2005, CEEMAS.

[14]  Meir Kalech,et al.  Diagnosing a team of agents: scaling-up , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[15]  Nico Roos,et al.  Using DESs for Temporal Diagnosis of Multi-agent Plan Execution , 2007, MATES.

[16]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[17]  Nico Roos,et al.  Diagnosis of Multi-agent Plan Execution , 2006, MATES.

[18]  Nico Roos,et al.  Models and methods for plan diagnosis , 2009, Autonomous Agents and Multi-Agent Systems.