Advertisement

Diagnosis of Plan Structure Violations

  • Nico Roos
  • Cees Witteveen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4687)

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.

Keywords

Model-Based Diagnosis Plan execution Coordination errors 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Roos, N., Witteveen, C.: Diagnosis of plans and agents. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS (LNAI), vol. 3690, pp. 357–366. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Witteveen, C., Roos, N., van der Krogt, R., de Weerdt, M.: Diagnosis of single and multi-agent plans. In: AAMAS 2005, pp. 805–812 (2005)Google Scholar
  3. 3.
    de Jonge, F., Roos, N., Witteveen, C.: Primary and secondary plan diagnosis. In: DX 2006. 17th International Workshop on Principles of Diagnosis, Universidad de Valladolid, pp. 133–140 (2006)Google Scholar
  4. 4.
    de Jonge, F., Roos, N., Witteveen, C.: Diagnosis of multi-agent plan execution. In: Fischer, K., Timm, I.J., André, E., Zhong, N. (eds.) MATES 2006. LNCS (LNAI), vol. 4196, pp. 86–97. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Kalech, M., Kaminka, G.A.: Towards model-based diagnosis of coordination failures. In: AAAI 2005, pp. 102–107 (2005)Google Scholar
  6. 6.
    Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Kleer, J.d., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97–130 (1987)zbMATHCrossRefGoogle Scholar
  8. 8.
    Kalech, M., Kaminka, G.A.: On the design of social diagnosis algorithms for multi-agent teams. In: IJCAI 2003, pp. 370–375 (2003)Google Scholar
  9. 9.
    Kalech, M., Kaminka, G.A.: Diagnosing a team of agents: Scaling-up. In: AAMAS 2005, pp. 249–255 (2005)Google Scholar
  10. 10.
    de Jonge, F., Roos, N.: Plan-execution health repair in a multi-agent system. In: PlanSIG 2004. Proc. 23rd Annual Workshop of the UK Planning and Scheduling SIG (2004)Google Scholar
  11. 11.
    Carver, N., Lesser, V.: Domain monotonicity and the performance of local solutions strategies for CDPS-based distributed sensor interpretation and distributed diagnosis. Autonomous Agents and Multi-Agent Systems 6(1), 35–76 (2003)CrossRefGoogle Scholar
  12. 12.
    Horling, B., Benyo, B., Lesser, V.: Using self-diagnosis to adapt organizational structures. In: Proc. 5th Int’l. Conf. on Autonomous Agents, pp. 529–536. ACM Press, New York (2001)CrossRefGoogle Scholar
  13. 13.
    Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of large active systems. Artificial Intelligence 110(1), 135–183 (1999)zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)zbMATHGoogle Scholar
  15. 15.
    Debouk, R., Lafortune, S., Teneketzis, D.: Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Journal of Discrete Event Dynamical Systems: Theory and Application 10, 33–86 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Pencolé, Y., Cordier, M.: A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence 164(1-2), 121–170 (2005)zbMATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Roos, N., Witteveen, C.: Models and methods for plan diagnosis. In: FAMAS 2006. Formal Approaches to Multi-Agent Systems, ECAI 2006, Workshop Notes (2006)Google Scholar
  18. 18.
    Roos, N., Witteveen, C.: Diagnosis of plan structure violations. Technical Report MICC 07-05, Universiteit Maastricht (2007)Google Scholar
  19. 19.
    Roos, N., ten Teije, A., Witteveen, C.: A protocol for multi-agent diagnosis with spatially distributed knowledge. In: AAMAS 2003, pp. 655–661 (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Nico Roos
    • 1
  • Cees Witteveen
    • 2
  1. 1.Dept. of Computer Science, Universiteit Maastricht, P.O. Box 616, NL-6200 MD Maastricht 
  2. 2.Faculty EWI, Delft University of Technology, P.O. Box 5031, NL-2600 GA Delft 

Personalised recommendations