Multi-agent Conformant Planning with Distributed Knowledge

In Sujata Ghosh & Thomas Icard, Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 128-140 (2021)
  Copy   BIBTEX

Abstract

In this paper, we study the evolution of knowledge in multi-agent conformant planning over transition systems. We propose a dynamic epistemic logical framework with modalities of distributed knowledge to handle the epistemic reasoning in such scenarios, and we reduce a problem of multi-agent conformant planning to a model checking problem. We prove that multi-agent conformant planning is Pspace-complete on the size of the dynamic epistemic model.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-030-88708-7_10

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,030

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Complexity of multi-agent conformant planning with group knowledge.Yanjun Li - 2023 - Synthese 201 (4):1-30.
More for free: A dynamic epistemic framework for conformant planning over transition systems.Yanjun Li, Quan Yu & Yanjing Wang - 2017 - Journal of Logic and Computation 27 (8):2383--2410.
Epistemic Planning with Attention as a Bounded Resource.Gaia Belardinelli & Rasmus K. Rendsvig - 2021 - In Sujata Ghosh & Thomas Icard, Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 14-30.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers.Rustam Galimullin & Thomas Ågotnes - 2021 - In Sujata Ghosh & Thomas Icard, Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 88-101.
A logic of goal-directed knowing how.Yanjing Wang - 2018 - Synthese 195 (10):4419-4439.
How Knowledge Triggers Obligation.Davide Grossi, Barteld Kooi, Xingchi Su & Rineke Verbrugge - 2021 - In Sujata Ghosh & Thomas Icard, Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 201-215.
Knowledge and planning in an action-based multi-agent framework: A case study.Oliver Schulte - unknown
On Artemov and Protopopescu’s Intuitionistic Epistemic Logic Expanded with Distributed Knowledge.Youan Su, Ryo Murai & Katsuhiko Sano - 2021 - In Sujata Ghosh & Thomas Icard, Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 216-231.
Modelling Accuracy and Trustworthiness of Explaining Agents.Alberto Termine, Giuseppe Primiero & Fabio Aurelio D’Asaro - 2021 - In Sujata Ghosh & Thomas Icard, Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 232-245.

Analytics

Added to PP
2022-03-10

Downloads
13 (#1,413,642)

6 months
5 (#864,813)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references