Strategic coalitions with perfect recall
Strategic coalitions with perfect recall
The paper proposes a bimodal logic that describes an inter- play between distributed knowledge modality and coalition know-how modality. Unlike other similar systems, the one proposed here assumes perfect recall by all agents. Perfect recall is captured in the system by a single axiom. The main technical results are the soundness and the completeness the- orems for the proposed logical system.
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
2 February 2018
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
Naumov, Pavel and Tao, Jia
(2018)
Strategic coalitions with perfect recall.
In Proceedings of the 32nd AAAI Conference on Artificial Intelligence.
AAAI Press.
8 pp
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
The paper proposes a bimodal logic that describes an inter- play between distributed knowledge modality and coalition know-how modality. Unlike other similar systems, the one proposed here assumes perfect recall by all agents. Perfect recall is captured in the system by a single axiom. The main technical results are the soundness and the completeness the- orems for the proposed logical system.
Text
2018-aaai-nt
- Accepted Manuscript
More information
Published date: 2 February 2018
Venue - Dates:
AAAI-18: Thirty-Second AAAI Conference on Artificial Intelligence, Hilton New Orleans Riverside, New Orleans, United States, 2018-02-02 - 2018-02-07
Identifiers
Local EPrints ID: 483113
URI: http://eprints.soton.ac.uk/id/eprint/483113
PURE UUID: 720a44cc-ac37-450d-af3f-36241752f4e5
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
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