Coalition power in epistemic transition systems
Coalition power in epistemic transition systems
The paper proposes a bimodal logic that describes ail interplay between coalition strategies and distributed knowledge. Unlike the existing literature, the paper assumes that a strategy must be not only executable but also verifiable. That is, the strategy of a coalition should be based only on the information distributively known by the coalition and the coalition must be able to verify the result after the strategy is executed. The main technical result of the paper is a sound and complete logical system describing all universal properties expressible in the proposed bimodal language.
axiomatization, coalition power, completeness, formal episteinology, game theory, knowledge, modal logic, multiagent system, social choice, strategy, transition system
723-731
International Foundation for Autonomous Agents and Multiagent Systems
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
8 May 2017
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
Naumov, Pavel and Tao, Jia
(2017)
Coalition power in epistemic transition systems.
Das, Sanmay, Durfee, Edmund, Larson, Kate and Winikoff, Michael
(eds.)
In Proceedings of the16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017.
vol. 2,
International Foundation for Autonomous Agents and Multiagent Systems.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
The paper proposes a bimodal logic that describes ail interplay between coalition strategies and distributed knowledge. Unlike the existing literature, the paper assumes that a strategy must be not only executable but also verifiable. That is, the strategy of a coalition should be based only on the information distributively known by the coalition and the coalition must be able to verify the result after the strategy is executed. The main technical result of the paper is a sound and complete logical system describing all universal properties expressible in the proposed bimodal language.
Text
2017-aamas
- Accepted Manuscript
Restricted to Repository staff only
Request a copy
More information
Published date: 8 May 2017
Venue - Dates:
16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017, , Sao Paulo, Brazil, 2017-05-08 - 2017-05-12
Keywords:
axiomatization, coalition power, completeness, formal episteinology, game theory, knowledge, modal logic, multiagent system, social choice, strategy, transition system
Identifiers
Local EPrints ID: 483116
URI: http://eprints.soton.ac.uk/id/eprint/483116
ISSN: 1548-8403
PURE UUID: 2b541241-09ec-4d2e-8bd0-5592f5d2c991
Catalogue record
Date deposited: 25 Oct 2023 01:56
Last modified: 17 Mar 2024 04:10
Export record
Contributors
Author:
Pavel Naumov
Author:
Jia Tao
Editor:
Sanmay Das
Editor:
Edmund Durfee
Editor:
Kate Larson
Editor:
Michael Winikoff
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics