×
弗朗西斯科·贝拉迪内利;翁贝托·格兰迪;安德烈亚斯·赫齐格;多米尼克·隆吉;埃米利亚诺·洛里尼;阿里安娜·诺瓦罗;劳伦特·佩鲁塞尔

在布尔游戏中放松独占控制。 （英语） Zbl 1483.68185号

Lang，Jéróme（编辑），《第十六届理性与知识理论方面会议论文集》，TARK 2017，英国利物浦，2017年7月24-26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）251，43-56（2017）。
总结：在布尔游戏（BG）的典型框架中，每个玩家都可以改变一些命题原子的真值，同时尝试实现自己的目标。在标准BG中，目标是命题公式，而在迭代BG中，目标是线性时间逻辑的公式。BG的两个概念的特征都是代理对其原子集具有排他性控制权，这意味着没有两个代理可以控制同一个原子。在本文中，我们放弃了排他性假设，探索了原子可以由多个代理控制的结构。我们引入了具有共享命题控制的并发博弈结构（CGS-SPC），并证明了它们适用于几类重复博弈，包括迭代布尔博弈、影响博弈和聚合博弈。我们的主要结果表明，就验证而言，CGS-SPC可以简化为具有独占控制的并发游戏结构。该结果为CGS-SPC上交替时间逻辑中规范的模型检查问题提供了多项式约简。
关于整个系列，请参见[Zbl 1446.68014号].

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B44号 时间逻辑
91A44型 涉及拓扑、集合论或逻辑的游戏
PDF格式BibTeX公司 XML格式引用
\textit{F.Belardinelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）251，43-56（2017；Zbl 1483.68185）
全文： arXiv公司 链接

参考文献：

[1] Rajeev Alur、Thomas A.Henzinger和Orna Kupferman（2002）：交替时间时序逻辑。《美国医学会杂志》49（5），第672-713页，doi:10.1145/585265.585270·Zbl 1326.68181号 ·doi:10.1145/585265.585270
[2] Francesco Belardinelli和Andreas Herzig（2016）：基于命题控制的战略能力逻辑。摘自：《第25届国际人工智能联合会议论文集》（IJCAI-2016）。
[3] Elise Bonzon、Marie-Christine Lagasquie-Schiex、Jéróme Lang和Bruno Zanuttini（2006）：布尔游戏重温。摘自：第17届欧洲人工智能会议记录（ECAI-2006）。
[4] Nils Bulling、Jürgen Dix和Wojciech Jamroga（2010）：战略能力的模型检验逻辑：复杂性*。在Mehdi Dastani、Koen V.Hindriks和John-Jules Charles Meyer的《编辑：多代理系统的规范和验证》中，Springer US，第125-159页，doi:10.1007/978-1-4419-6984-2_5·Zbl 1201.68070号 ·doi:10.1007/978-1-4419-6984-25
[5] Jelle Gerbrandy（2006）：命题控制的逻辑。摘自：第五届国际自治代理和多代理系统联合会议记录（AAMAS-2006），doi:10.1145/1160633.1160664·数字对象标识代码：10.1145/1160633.1160664
[6] Umberto Grandi、Davide Grossi和Paolo Turrini（2015）：通过二元投票中的谈判实现均衡优化。摘自：第24届国际人工智能联合会议记录（IJCAI-2015）。
[7] Umberto Grandi、Emiliano Lorini、Arianna Novaro和Laurent Perrussel（2017）：《社交网络观点的战略披露》，摘自：《第十六届自主代理和多代理系统国际会议论文集》（AAMAS-2017）。
[8] Davide Grossi、Emiliano Lorini和François Schwarzentruber（2015）：游戏形式逻辑的Ceteris Paribus结构。《人工智能研究杂志》（JAIR）53，第91-126页，doi:10.1613/JAIR.4666·Zbl 1329.03057号 ·doi:10.1613/jair.4666
[9] 朱利安·古铁雷斯（Julian Gutierrez）、保罗·哈伦斯坦（Paul Harrenstein）和迈克尔·伍尔德里奇（Michael Wooldridge）（2013）：迭代布尔游戏。摘自：第23届国际人工智能联合会议记录（IJCAI-2013）·Zbl 1318.91012号
[10] 朱利安·古铁雷斯（Julian Gutierrez）、保罗·哈伦斯坦（Paul Harrenstein）和迈克尔·伍尔德里奇（Michael Wooldridge）（2015）：迭代布尔游戏。信息与计算242，第53-79页，doi:10.1016/j.ic.2015.03.011·Zbl 1318.91012号 ·doi:10.1016/j.ic.2015.03.011
[11] Paul Harrenstein、Wiebe van der Hoek、John-Jules Meyer和Cees Witteveen（2001）：布尔游戏。在：第八届理性与知识理论方面会议论文集（TARK-2001）。
[12] Wiebe van der Hoek，Alessio Lomuscio和Michael Wooldridge（2006）：关于实际ATL模型检查的复杂性。参见：第五届国际自治代理和多代理系统联合会议（AAMAS-2006），doi:10.1145/1160633.1160665·数字对象标识代码：10.1145/1160633.1160665
[13] Wiebe van der Hoek、Dirk Walther和Michael Wooldridge（2010）：关于控制权转移的推理。《人工智能研究杂志》（JAIR）37，第437-477页，doi:10.1613/JAIR.2901·Zbl 1191.68734号 ·doi:10.1613/jair.2901
[14] 威比·范德霍克和迈克尔·伍尔德里奇（2005）：关于合作和命题控制的逻辑。人工智能164（1-2），第81-119页，doi:10.1016/j.artint.2005.01.003·Zbl 1132.68744号 ·doi:10.1016/j.artint.2005.01.003
[15] 黄晓伟，陈清亮，苏凯乐（2015）：模型检查简洁多智能体系统的复杂性。摘自：《第24届国际人工智能联合会议论文集》（IJCAI-2015）。
[16] Wojciech Jamroga和Thomas Au gotnes（2007）：模块化解释系统。摘自：《第六届国际自治代理和多代理系统联合会议论文集》（AAMAS-2007），doi:10。1145/1329125.1329286. ·doi:10.1145/1329125.1329286
[17] Omer Lev和Jeffrey S.Rosenschein（2012）：迭代投票的收敛性。摘自：《第十一届自主代理和多代理系统国际会议论文集》（AAMAS-2012）。
[18] Reshef Meir、Maria Polukarov、Jeffrey S.Rosenschein和Nicholas R.Jennings（2010）：多元投票中的收敛到均衡。摘自：第24届AAAI人工智能会议记录（AAAI-2010）。
[19] Svetlana Obraztsova、Evangelos Markakis、Maria Polukarov、Zinovi Rabinovich和Nicholas R.Jennings（2015）：迭代投票的收敛：受限动力学应该有多大的限制？摘自：《第29届AAAI人工智能会议论文集》（AAAI-2015）。
[20] Amir Pnueli（1977）：程序的时序逻辑。摘自：第18届IEEE计算机科学基础研讨会论文集，doi:10.1109/SFCS.1977.32·Zbl 0402.68009号 ·doi:10.1109/SFCS.1977.32
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。