Skip to main content

Planning and Uncertainty: On the Logic of Multi-Agent Plans and their Entropy

  • Conference paper
Verteilte Künstliche Intelligenz und kooperatives Arbeiten

Part of the book series: Informatik-Fachberichte ((2252,volume 291))

Abstract

The logical foundations of plans in the context of uncertain knowledge about the state of the world and uncertain knowledge about the plans of other agents are investigated. The partial plans of single and groups of agents are formally defined and their properties are studied. The concept of entropy is extended through a mathematical definition of the control entropy of plan states. Furthermore, fuzzy plan states are defined. A tensed modal language, containing can and plan operators, is given a formal semantics. The relevance to communication and cooperation among multiple agents in distributed AI is discussed.

©Werner 1991. All rights reserved.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barwise, J., and Perry, J., Situations and Attitudes, Bradford Books/MIT Press, 1983.

    Google Scholar 

  2. Brown, M. A.,“On the Logic of Ability”, Journal of Philosophical Logic, 17, pp. 1–26, 1988.

    Article  MathSciNet  MATH  Google Scholar 

  3. Khinchin, A. I., Mathematical Foundations of Statistical Mechanics, Dover Publ., New York, 1949.

    MATH  Google Scholar 

  4. Mamdani, E. H.,“Process Control Using Fuzzy Logic”, Designing for Human Computer Communication, Academic Press, London, 1983.

    Google Scholar 

  5. Shannon, C. E.,“The Mathematical Theory of Communication”, Bell Syst, Techn. Journ., vol 27, 379–423; 623–656, 1948.

    MathSciNet  Google Scholar 

  6. Steel, S.,“Knowledge Subgoals in Plans”, European Workshop on Planning, Advanced Proceedings, Sankt Augustine, F.R.G., 1991.

    Google Scholar 

  7. Werner, E.,“The Modal Logic of Games”, WISBER Report B48, University of Hamburg, Hamburg, Germany 1988.

    Google Scholar 

  8. Werner, E.,“Tensed Modal Logic”, WISBER Report B49, University of Hamburg, Hamburg, Germany, 1989a.

    Google Scholar 

  9. Werner, E.,“Cooperating Agents: A Unified Theory of Communication and Social Structure”, Distributed Artificial Intelligence, Vol. 2, M. Huhns & L. Gasser (eds.), Morgan Kaufmann and Pitman Publishers, London, pp. 3–36, 1989b.

    Google Scholar 

  10. Werner, E.,“What Can Agents Do Together? A Semantics of Cooperative Ability”, ECAI- 90, Proceedings of the 9th European Conference on Artificial Intelligence, Stockholm, Sweden, Pitman Publishers, pp. 694–701, 1990.

    Google Scholar 

  11. Werner, E.,“A Unified View of Information, Intention, and Ability”, Decentralized AI, Vol 77, Y. Demazeau & J-P. Muller (eds.), Elsevier Science Publishers (North Holland), forthcoming, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Werner, E. (1991). Planning and Uncertainty: On the Logic of Multi-Agent Plans and their Entropy. In: Brauer, W., Hernández, D. (eds) Verteilte Künstliche Intelligenz und kooperatives Arbeiten. Informatik-Fachberichte, vol 291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76980-1_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-76980-1_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54617-7

  • Online ISBN: 978-3-642-76980-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics