Knowledge and planning in an action-based multi-agent framework: A case study

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.

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Representing Von neumann–morgenstern games in the situation calculus.Oliver Schulte - unknown
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
Multi-agent Conformant Planning with Distributed Knowledge.Yanjun Li - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 128-140.
Complexity of multi-agent conformant planning with group knowledge.Yanjun Li - 2023 - Synthese 201 (4):1-30.
Common knowledge: finite calculus with syntactic cut-elimination procedure.Francesca Poggiolesi & Brian Hill - 2015 - Logique Et Analyse 58 (230):279-306.
Plans, actions and dialogues using linear logic.Lucas Dixon, Alan Smaill & Tracy Tsang - 2009 - Journal of Logic, Language and Information 18 (2):251-289.
Abductive planning with sensing.Matthew Stone - unknown
Progression and Verification of Situation Calculus Agents with Bounded Beliefs.Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi & Stavros Vassos - 2016 - Studia Logica 104 (4):705-739.
Persuasive argumentation in negotiation.Katia P. Sycara - 1990 - Theory and Decision 28 (3):203-242.

Analytics

Added to PP
2009-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references