Skip to main content
SpringerLink
Log in

Towards a theory of simultaneous actions

  • Conference paper
  • First Online:
Book cover European Workshop on Planning (EWSP 1991)

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

Included in the following conference series:

Abstract

We will lay down a model of concurrency for planning problems. The model will be expressive enough for representing real simultaneity of primitive actions without getting too complicated for the plan synthesis process. The model will be described in detail and its use in respect to the synthesis of terminating plans is demonstrated in an example.

This research is supported in part by the National Science Foundation under Grant CCR-8904809.

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. J.F. Allen. Towards a General Theory of Action and Time, AI Journal 23, 1984

    Google Scholar 

  2. E.M. Clarke, E.A. Emerson. Design and Synthesis of Synchronization Skeletons from Branching-Time Temporal Logic, Logics of Programs, Springer LNCS 131, 1981

    Google Scholar 

  3. M.P. Georgeff. Actions, Processes, and Causality, Tech. Note 404, SRI International, 1987

    Google Scholar 

  4. M.P. Georgeff. Many Agents are better than one, Tech. Note 417, SRI International, 1987

    Google Scholar 

  5. C.A.R. Hoare. Communicating Sequential Processes, CACM, 1978

    Google Scholar 

  6. R. Milner. A Calculus of Communicating Systems, Springer LNCS 92, 1980

    Google Scholar 

  7. Z. Manna, R. Waldinger. A Deductive Approach to Program Synthesis, ACM Transactions on Programming Languages and Systems, 1980

    Google Scholar 

  8. Z. Manna, R. Waldinger. How to Clear a Block, J. o. Automated Reasoning, 1987

    Google Scholar 

  9. Z. Manna, P. Wolper. Synthesis of Communicating Processes from Temporal-Logic Specifications, ACM Transactions on Programming Languages and Systems, 1984

    Google Scholar 

  10. R.N. Pelavin. A Formal Approach to Planning with Concurrent Actions and External Events, Ph.D. thesis, University of Rochester, New York, 1988

    Google Scholar 

  11. E. Pednault. Formulating Multiagent, Dynamic-World Problems in the Classical Planning Framework, Proceedings of the Workshop ‘Reasoning about Actions and Plans’, Georgeff and Lansky (eds.), 1986

    Google Scholar 

  12. V.R. Pratt. Modeling Concurrency with Partial Orders, Int. J. Parallel Programming, 1986

    Google Scholar 

  13. W. Reisig. Petri Nets: An Introduction, Springer, 1985

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FG Intellektik, TH Darmstadt, Alexanderstr. 10, 6100, Darmstadt, Germany

    Gerd Große

  2. Artificial Intelligence Center, SRI International, 333 Ravenswood Ave., 94025, Menlo Park, Ca, USA

    Richard Waldinger

Authors
  1. Gerd Große
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Richard Waldinger
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Joachim Hertzberg

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Große, G., Waldinger, R. (1991). Towards a theory of simultaneous actions. In: Hertzberg, J. (eds) European Workshop on Planning. EWSP 1991. Lecture Notes in Computer Science, vol 522. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052951

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54364-0

  • Online ISBN: 978-3-540-47584-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation