On logics of strategic ability based on propositional control - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

On logics of strategic ability based on propositional control

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.
No file

Dates and versions

hal-01424478 , version 1 (02-01-2017)

Identifiers

  • HAL Id : hal-01424478 , version 1

Cite

Francesco Belardinelli, Andreas Herzig. On logics of strategic ability based on propositional control. 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.95--101. ⟨hal-01424478⟩
134 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More