Skip to main content
SpringerLink
Log in

On explicit plan languages for coordinating multiagent plan execution

  • Section III: Coordination Planning and Monitoring
  • Conference paper
  • First Online:
Intelligent Agents IV Agent Theories, Architectures, and Languages (ATAL 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1365))

Included in the following conference series:

Abstract

An agent coordinating with another agent needs a model of the other agent to promote cooperation or to avoid interference. Agent plans in their executable form, however, are not well suited for being reasoned over, particularly because the plans are meaningful only when they are interpreted along with the execution or operational semantics.

In this paper, we introduce Structured Circuit Semantics (SCS) and Grafcet Model of Agent Plans (GAP) to distill out explicit, transferable operational semantics for agent plans from embedded implicit semantics of plan specifications used by plan execution systems. We also present and demonstrate a closed-loop process of exploiting our model of agent plans to discover multiagent coordination requirements and then applying the coordination requirements back to the agent plans.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. William P. Birmingham, Edmund H. Durfee, Tracy Mullen, and Michael P. Wellman. The distributed agent architecture of the university of michigan digital library (extended abstract). In AAAI Spring Symposium Series on Information Gathering from Distributed, Heterogeneous Environments, March 1995.

    Google Scholar 

  2. René David and Hassane Alla. Petri nets and Grafcet: tools for modelling discrete event systems. Prentice Hall, 1992.

    Google Scholar 

  3. Edmund H. Durfee, Marcus Huber, Michael Kurnow, and Jaeho Lee. TAIPE: Tactical assistants for interaction planning and execution. In Proceedings of the First International Conference on Autonomous Agents (Agents '97), pages 443–450, Marina del Rey, California, February 1997.

    Google Scholar 

  4. R. James Firby. Building symbolic primitives with continuous control routines. In James Hendler, editor, Artificial Intelligence Planning Systems: Proceedings of the First International Conference, pages 62–68, College Park, Maryland, June 1992. Morgan Kaufmann.

    Google Scholar 

  5. Francois F. Ingrand, Michael P. Georgeff, and Anand S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, 7(6):34–44, December 1992.

    Article  Google Scholar 

  6. Kurt Jensen. An introduction to the theoretical aspects of coloured petri nets.In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, A Decade of Concurrency: Reflections and Perspectives, Lecture Notes in Computer Science Vol. 803, pages 230–272. Springer-Verlag, 1994.

    Google Scholar 

  7. Patrick G. Kenny, Clint R. Bidlack, Karl C. Kluge, Jaeho Lee, Marcus J. Huber, Edmund H. Durfee, and Terry Weymouth. Implementation of a reactive autonomous navigation system on an outdoor mobile robot. In Association for Unmanned Vehicle Systems Annual National Symposium (AUYS-94), pages 233–239, Detroit, MI, May 1994. Association for Unmanned Vehicle Systems.

    Google Scholar 

  8. Jaeho Lee. On the design of structured circuit semantics. In AAAI Spring Symposium on Lessons Learned from Implemented Software Architectures for Physical Agents, pages 127–134, March 1995.

    Google Scholar 

  9. Jaeho Lee. An Explicit Semantics for Coordinated Multiagent Plan Execution. PhD thesis, University of Michigan, Ann Arbor, Michigan, January 1997.

    Google Scholar 

  10. Jaeho Lee, Marcus J. Huber, Edmund H. Durfee, and Patrick G. Kenny. UM-PRS: an implementation of the procedural reasoning system for multirobot applications. In Conference on Intelligent Robotics in Field, Factory, Service, and Space (CIRFFSS '94), pages 842–849, Houston, Texas, March 1994.

    Google Scholar 

  11. Tadao Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–580, April 1989.

    Article  Google Scholar 

  12. Nils J. Nilsson. Toward agent programs with circuit semantics. Technical Report STANCS-92-1412, Department of Computer Science, Stanford University, January 1992.

    Google Scholar 

  13. Nils J. Nilsson. Teleo-reactive programs for agent control. Journal of Artificial Intelligence Research, 1:139–158, 1994.

    Google Scholar 

  14. Stuart J. Russell and Peter Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 1995.

    Google Scholar 

  15. Marcel J. Schoppers. Universal plans for reactive robots in unpredictable environments. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pages 1039–1046, Milan, Italy, 1987.

    Google Scholar 

  16. José M. Vidal and Edmund H. Durfee. Task planning agents in the UMDL. In Proceeding of the 1995 Intelligent Information Agents Workshop, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ORINCON Corporation, 9363 Towne Centre Drive, 92121, San Diego, CA, USA

    Jaeho Lee

  2. Artificial Intelligence Laboratory, The University of Michigan, 1101 Beal Avenue, 48109, Ann Arbor, MI, USA

    Edmund H. Durfee

Authors
  1. Jaeho Lee
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Edmund H. Durfee
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Munindar P. Singh Anand Rao Michael J. Wooldridge

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lee, J., Durfee, E.H. (1998). On explicit plan languages for coordinating multiagent plan execution. In: Singh, M.P., Rao, A., Wooldridge, M.J. (eds) Intelligent Agents IV Agent Theories, Architectures, and Languages. ATAL 1997. Lecture Notes in Computer Science, vol 1365. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026754

Download citation

  • DOI: https://doi.org/10.1007/BFb0026754

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64162-9

  • Online ISBN: 978-3-540-69696-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation