Skip to main content
SpringerLink
Log in
Book cover

Conference of the Canadian Society for Computational Studies of Intelligence

Canadian AI 2001: Advances in Artificial Intelligence pp 121–130Cite as

Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study

  • Conference paper
  • First Online:

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

Abstract

The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue. We find that the situation calculus, with suitable extensions, supplies a unified representation of (1) the interaction protocol, or structure of the game, (2) the dynamics of the knowledge and common knowledge of the agents, and (3) principles of strategic planning.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Bart. Representations of and strategies for static information, noncooperative games with imperfect information. Master’s thesis, Department of Computing Science, Simon Fraser University, 2000.

    Google Scholar 

  2. R. Fagin, J. Y. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge, Massachusetts, 1995.

    MATH  Google Scholar 

  3. G.E. Hughes and M.J. Cresswell. A New Introduction to Modal Logic. Routledge., London and New York, 1996.

    MATH  Google Scholar 

  4. Y. Lespérance, H. Levesque, and R. Reiter. A situation calculus approach to modeling and programming agents. In M. Wooldridge and A. Rao, editors, Foundations for Rational Agency, pages 275–299. Kluwer, 1999.

    Google Scholar 

  5. H.J. Levesque, F. Pirri, and R. Reiter. Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science, 3(18), 1998.

    Google Scholar 

  6. J. McCarthy and P.J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In D. Michie and B. Meltzer, editors, Machine Intelligence 4, pages 463–502. Edinburgh University Press, 1969.

    Google Scholar 

  7. M. Osborne and A. Rubinstein. A Course in Game Theory. MIT Press, Cambridge, Mass., 1994.

    Google Scholar 

  8. R. Scherl and H. Levesque. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 695–698, Menlo Park, California, 1993. AAAI Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada, V5A 1S6

    Bradley Bart & James P. Delgrande

  2. Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada, T6G 2E1

    Oliver Schulte

Authors
  1. Bradley Bart
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. James P. Delgrande
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Oliver Schulte
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Alberta, Edmonton, AB, Canada, T6G 2E8

    Eleni Stroulia

  2. School of Information Technology and Engineering, University of Ottawa, Ottawa, ON, Canada, K1N 6N5

    Stan Matwin

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bart, B., Delgrande, J.P., Schulte, O. (2001). Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study. In: Stroulia, E., Matwin, S. (eds) Advances in Artificial Intelligence. Canadian AI 2001. Lecture Notes in Computer Science(), vol 2056. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45153-6_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-45153-6_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42144-3

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation