On Logics of Strategic Ability Based on Propositional Control
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 95-100.
Abstract
Recently logics for strategic ability have gained pre-eminence in the modelisation and analysis of game-theoretic scenarios. In this paper we provide a contribution to the comparison of two popular frameworks: Concurrent Game Structures (CGS) and Coalition Logic of Propositional Control (CLPC). Specifically, we ground the abstract abilities of agents in CGS on Propositional Control, thus obtaining a class of CGS that has the same expressive power as CL-PC. We study the computational properties of this setting. Further, we relax some of the assumptions of CL-PC so as to introduce a wider class of computationally-grounded CGS.
@inproceedings{ijcai2016p21,
title = {On Logics of Strategic Ability Based on Propositional Control},
author = {Belardinelli, Francesco and Herzig, Andreas},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {95--100},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/21},
}
TY - CPAPER TI - On Logics of Strategic Ability Based on Propositional Control AU - Belardinelli, Francesco AU - Herzig, Andreas T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 95 EP - 100 UR - https://ijcai.org/proceedings/2016/21 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
