{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:34:13Z","timestamp":1723016053353},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>Representation and reasoning about strategic abilities has been an active research area in AI and multi-agent systems. Many variations and extensions of alternating-time temporal logic ATL have been proposed. However, most of the logical frameworks ignore the issue of coordination within a coalition, and are unable to specify the internal structure of strategies. In this paper, we propose JAADL, a modal logic for joint abilities under strategy commitments, which is an extension of ATL. Firstly, we introduce an operator of elimination of (strictly) dominated strategies, with which we can represent joint abilities of coalitions. Secondly, our logic is based on linear dynamic logic (LDL), an extension of linear temporal logic (LTL), so that we can use regular expressions to represent commitments to structured strategies. We analyze valid formulas in JAADL, give sufficient\/necessary conditions for joint abilities, and show that model checking memoryless JAADL is in EXPTIME.<\/jats:p>","DOI":"10.24963\/ijcai.2020\/250","type":"proceedings-article","created":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T12:12:10Z","timestamp":1594210330000},"page":"1805-1812","source":"Crossref","is-referenced-by-count":1,"title":["A Modal Logic for Joint Abilities under Strategy Commitments"],"prefix":"10.24963","author":[{"given":"Zhaoshuai","family":"Liu","sequence":"first","affiliation":[{"name":"Sun Yat-sen University"}]},{"given":"Liping","family":"Xiong","sequence":"additional","affiliation":[{"name":"South China Normal University"}]},{"given":"Yongmei","family":"Liu","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University"}]},{"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[{"name":"York University"}]},{"given":"Ronghai","family":"Xu","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University"}]},{"given":"Hongyi","family":"Shi","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-PRICAI-2020","name":"Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}","start":{"date-parts":[[2020,7,11]]},"theme":"Artificial Intelligence","location":"Yokohama, Japan","end":{"date-parts":[[2020,7,17]]}},"container-title":["Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2020,7,9]],"date-time":"2020-07-09T02:14:05Z","timestamp":1594260845000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2020\/250"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2020\/250","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}