Knowledge Sharing in Coalitions
Guifei Jiang, Dongmo Zhang, Laurent Perrussel

TL;DR
This paper explores how knowledge sharing among agents influences their ability to form effective coalitions in imperfect information settings, proposing a new semantics for logic that preserves coalition properties.
Contribution
It introduces a new semantics for alternating-time temporal logic with imperfect information that maintains desirable coalition properties and analyzes the role of group knowledge in coalition success.
Findings
Proposed a semantics that preserves coalition properties in imperfect information contexts.
Analyzed the impact of shared knowledge on coalition ability.
Provided insights into the types of group knowledge needed for goal achievement.
Abstract
The aim of this paper is to investigate the interplay between knowledge shared by a group of agents and its coalition ability. We investigate this relation in the standard context of imperfect information concurrent game. We assume that whenever a set of agents form a coalition to achieve a goal, they share their knowledge before acting. Based on this assumption, we propose a new semantics for alternating-time temporal logic with imperfect information and perfect recall. It turns out that this semantics is sufficient to preserve all the desirable properties of coalition ability in traditional coalitional logics. Meanwhile, we investigate how knowledge sharing within a group of agents contributes to its coalitional ability through the interplay of epistemic and coalition modalities. This work provides a partial answer to the question: which kind of group knowledge is required for a group…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Advanced Algebra and Logic · Logic, programming, and type systems
