On the Boundary of Behavioral Strategies
In the setting of multi-agent games, considerable effort has been devoted to the definition of modal logics for strategic reasoning. In this area, a recent contribution is given by the introduction of Strategy Logic (SL, for short) by Mogavero, Murano, and Vardi. This logic allows to reason explicit...
Gespeichert in:
| Veröffentlicht in: | 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science S. 263 - 272 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
01.06.2013
|
| Schlagworte: | |
| ISBN: | 1479904139, 9781479904136 |
| ISSN: | 1043-6871 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | In the setting of multi-agent games, considerable effort has been devoted to the definition of modal logics for strategic reasoning. In this area, a recent contribution is given by the introduction of Strategy Logic (SL, for short) by Mogavero, Murano, and Vardi. This logic allows to reason explicitly about strategies as first order objects and express in a very natural and elegant way several solution concepts like Nash, resilient, and secure equilibria, dominant strategies, etc. The price that one has to pay for the high expressiveness of SL semantics is that agents strategies it admits may be not behavioral, i.e., a choice of an agent, at a given moment of a play, may depend on the choices another agent can make in another counterfactual play. As the latter moves are unpredictable, this kind of strategies cannot be synthesized in practice. In this paper, we investigate two syntactical fragments of SL, namely the conjunctive-goal and disjunctive-goal, called SL[CG] and SL[DG] for short, and prove that their semantics admit behavioral strategies only. These logics are obtained by forcing SL formulas to be only of the form of conjunctions or disjunctions of goals, which are temporal assertions associated with a binding of agents with strategies. As SL formulas with any Boolean combination of goals turn out to be non behavioral, we have that SL[CG] and SL[DG] represent the maximal fragments of SL describing agent behaviors that are synthesizable. As a consequence of the above results, the model-checking problem for both SL[CG] and SL[DG] is shown to be solvable in 2EXPTIME, as it is for the subsumed logic ATL*. |
|---|---|
| AbstractList | In the setting of multi-agent games, considerable effort has been devoted to the definition of modal logics for strategic reasoning. In this area, a recent contribution is given by the introduction of Strategy Logic (SL, for short) by Mogavero, Murano, and Vardi. This logic allows to reason explicitly about strategies as first order objects and express in a very natural and elegant way several solution concepts like Nash, resilient, and secure equilibria, dominant strategies, etc. The price that one has to pay for the high expressiveness of SL semantics is that agents strategies it admits may be not behavioral, i.e., a choice of an agent, at a given moment of a play, may depend on the choices another agent can make in another counterfactual play. As the latter moves are unpredictable, this kind of strategies cannot be synthesized in practice. In this paper, we investigate two syntactical fragments of SL, namely the conjunctive-goal and disjunctive-goal, called SL[CG] and SL[DG] for short, and prove that their semantics admit behavioral strategies only. These logics are obtained by forcing SL formulas to be only of the form of conjunctions or disjunctions of goals, which are temporal assertions associated with a binding of agents with strategies. As SL formulas with any Boolean combination of goals turn out to be non behavioral, we have that SL[CG] and SL[DG] represent the maximal fragments of SL describing agent behaviors that are synthesizable. As a consequence of the above results, the model-checking problem for both SL[CG] and SL[DG] is shown to be solvable in 2EXPTIME, as it is for the subsumed logic ATL*. |
| Author | Mogavero, Fabio Murano, Aniello Sauro, Luigi |
| Author_xml | – sequence: 1 givenname: Fabio surname: Mogavero fullname: Mogavero, Fabio organization: Univ. degli Studi di Napoli Federico II, Naples, Italy – sequence: 2 givenname: Aniello surname: Murano fullname: Murano, Aniello organization: Univ. degli Studi di Napoli Federico II, Naples, Italy – sequence: 3 givenname: Luigi surname: Sauro fullname: Sauro, Luigi organization: Univ. degli Studi di Napoli Federico II, Naples, Italy |
| BookMark | eNotzjFPwzAQQGFLFImmsLGxZGRJuDufnXikEYVKkToU5sqJzzSoJCgJSPx7kGB626eXqEU_9KLUNUKOCO6u3lb7nAB1rulMJciFc8Co3UItEVhntizwQiXT9AYAZBmW6nbXp_NR0vXw2Qc_fqdDTNdy9F_dMPpTup9HP8trJ9OlOo_-NMnVf1fqZfPwXD1l9e5xW93XmSfGOSNx5Kw1GLCI6BqGtg0WuQwNumhjGRgsERN7wmCEvcTGtYZCDK11Vq_UzZ_bicjhY-zef68O1hRoTKl_AM7eQDI |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1109/LICS.2013.32 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE/IET Electronic Library IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE/IET Electronic Library url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EndPage | 272 |
| ExternalDocumentID | 6571558 |
| Genre | orig-research |
| GroupedDBID | --Z 23M 29P 6IE 6IF 6IH 6IK 6IL 6IM 6IN AAJGR AAWTH ADZIZ ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK IJVOP IPLJI M43 OCL RIE RIL RIO RNS |
| ID | FETCH-LOGICAL-a241t-2e9296651d17f19b40ccd6148db19f6f8d40622424a21d5e4aefb9c52dfdc6963 |
| IEDL.DBID | RIE |
| ISBN | 1479904139 9781479904136 |
| ISICitedReferencesCount | 19 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000326815000031&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1043-6871 |
| IngestDate | Wed Aug 27 04:17:07 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a241t-2e9296651d17f19b40ccd6148db19f6f8d40622424a21d5e4aefb9c52dfdc6963 |
| PageCount | 10 |
| ParticipantIDs | ieee_primary_6571558 |
| PublicationCentury | 2000 |
| PublicationDate | 2013-June |
| PublicationDateYYYYMMDD | 2013-06-01 |
| PublicationDate_xml | – month: 06 year: 2013 text: 2013-June |
| PublicationDecade | 2010 |
| PublicationTitle | 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science |
| PublicationTitleAbbrev | lics |
| PublicationYear | 2013 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0002640 ssj0001035133 |
| Score | 2.0269833 |
| Snippet | In the setting of multi-agent games, considerable effort has been devoted to the definition of modal logics for strategic reasoning. In this area, a recent... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 263 |
| SubjectTerms | Cognition Games History Indexes Reactive power Semantics Syntactics |
| Title | On the Boundary of Behavioral Strategies |
| URI | https://ieeexplore.ieee.org/document/6571558 |
| WOSCitedRecordID | wos000326815000031&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwED21FQNTgRbxLQ8MDLiN4_gjaysqkFCpBEjdqvhLYklRmyLx77HdNGVgYUsyWLGsu3e2770HcEstl4pqhpWvjXGmM-ljLtXYCMY1l86jXBLNJsR0KufzfNaC-4YLY62NzWd2EB7jXb5Z6k04KhtyJjz8yTa0heBbrtb-PCVcidF9FvZAXysRUMz9riCSuoTPvT5r5zutp_qdNx3x-fD5afwaOr7oIDiS_HJciYAz6f7vV4-gv2fuoVmDScfQsuUJdHfWDaiO5B7cvZTIl35oFF2VVt9o6dCoYeyjnWatXffhffLwNn7EtWkCLjwYVzi1vuDhnBFDhCO5yhKtTVD7NIrkjjtpPISngRRSpMQwmxXWqVyz1DijuQ_HU-iUy9KeAcoELRhVkilHMpcY5RJaSCYE82MkTJ9DL0x88bnVxVjUc774-_MlHKZbKwmckCvoVKuNvYYD_VV9rFc3cTF_AIxGlrE |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NT8IwGH6DaKInVDB-24MHDxa2df3YFSKBiEgiJtzI-pV4GWaAif_edozhwYu3rkmXNc3b5137Ps8DcE8ME5IoiqXLjXGsYuFiLlJYc8oUE9ahXFCYTfDxWMxmyaQGjxUXxhhTFJ-Ztm8Wd_l6odb-qKzDKHfwJ_Zg3ztnlWyt3YmKvxQju33YQX2pRUAwc_8FBa2Lu93XDU22ak_lM6tq4pPOaNh78zVfpO09SX55rhSQ02_872OPobXj7qFJhUonUDPZKTS25g2ojOUmPLxmyCV_qFv4KuXfaGFRt-Lso61qrVm24L3_NO0NcGmbgFMHxyscGZfyMEZDHXIbJjIOlNJe71PLMLHMCu1APPK0kDQKNTVxaqxMFI201Yq5gDyDerbIzDmgmJOUEimotGFsAy1tQFJBOafuHQFVF9D0E59_bpQx5uWcL__uvoPDwfRlNB8Nx89XcBRtjCVwEF5DfZWvzQ0cqK_VxzK_LRb2B6GYmfo |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2013+28th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=On+the+Boundary+of+Behavioral+Strategies&rft.au=Mogavero%2C+Fabio&rft.au=Murano%2C+Aniello&rft.au=Sauro%2C+Luigi&rft.date=2013-06-01&rft.pub=IEEE&rft.isbn=9781479904136&rft.issn=1043-6871&rft.spage=263&rft.epage=272&rft_id=info:doi/10.1109%2FLICS.2013.32&rft.externalDocID=6571558 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1043-6871&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1043-6871&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1043-6871&client=summon |