×

兹马思-数学第一资源

天生的战略能力。(英语) Zbl 07153684
摘要:在博弈论和博弈逻辑的语义中,策略可以用从博弈状态到主体行为的任何函数来表示。从数学的角度来看,这是有道理的,但在人类行为的背景下却未必如此。这是因为人类不善于执行复杂的计划,而且一开始也不太可能想出这样的计划。类似的问题也适用于内存和/或计算能力有限的人工智能体。在本文中,我们采用有限理性的观点,并研究了“简单”策略在代理人能力规范中的应用。我们正式定义了“简单”的含义,并提出了一种只考虑这些策略的交替时间-时间逻辑的变体。我们还研究了能力语义的模型检验问题。
在此基础上,我们研究了具有LTL可定义获胜条件的并发博弈中的自然战略能力问题,并研究了一些基于肯定获胜和纳什均衡的决策问题。我们证明,通过采用基于自然策略的有限理性观点,我们可以显著降低理性验证对于多智能体系统。
理学硕士:
68吨 人工智能
PDF格式 双歧杆菌 XML 引用
全文: 内政部
参考文献:
[1] Ågotnes,T.,《交替时间时序逻辑中的行为与知识》,Synthese,149,2377-409(2006)
[2] Ågotnes,T.;Goranko,V.;Jamroga,W.,《具有不可撤销策略的交替时间-时间逻辑》,(TARK XI(2007)),15-24
[3] Ågotnes,T.;Goranko,V.;Jamroga,W.;Wooldridge,M.,《知识与能力》(van Ditmarsch,H.P.;Halpern,J.Y.;van der Hoek,W.;Kooi,B.P.《认知逻辑手册》(2015年),大学出版物),543-589
[4] Ågotnes,T.;Walther,D.,《有限记忆下的战略能力逻辑》,J.Log。Lang.Inf.,18,1,55-77(2009年)·Zbl 1163.68037
[5] Alechina,N.;Bulling,N.;Logan,B.;Nguyen,H.N.,《懒惰的美德:资源代理逻辑的一个可判定的片段》,人工智能。国际,245,56-85(2017年)·Zbl 1402.68122号
[6] Alechina,N.;Dastani,M.;Logan,B.;Meyer,J.-J.Ch.,代理程序的逻辑,(AAAI论文集(2007)),795-800
[7] Alechina,N.;Logan,B.;Dastani,M.;Meyer,J.-J.Ch.,《关于代理执行策略的推理》,《自主代理和多智能体系统国际联席会议论文集》。自主智能体与多智能体系统国际联席会议论文集,AAMAS(2008),1455-1458
[8] Alechina,N.;Logan,B.;Nga,N.H.;Rakib,A.,《有限资源联盟的逻辑》,《国际人工智能联合会议论文集》。国际人工智能联席会议论文集,IJCAI(2009)),659-664
[9] Alechina,N.;Logan,B.;Nguyen,H.N.;Raimondi,F.,《基于资源生产和消费的资源约束ATL的模型检验》,J.Comput。系统。《科学》,88,126-144(2017年)·Zbl 1371.68173
[10] Alechina,N.;Logan,B.;Nguyen,H.N.;Rakib,A.,《资源受限的交替时间时序逻辑》,《自主智能体和多智能体系统国际联席会议论文集》。自主智能体与多智能体系统国际联席会议论文集,AAMAS(2010),481-488
[11] Alur,R.;Henzinger,T.A.;Kupferman,O.,《交替时间-时间逻辑》(第38届计算机科学基础年会论文集)。第38届计算机科学基础年会论文集,FOCS(1997),IEEE计算机学会出版社,100-109
[12] Alur,R.;Henzinger,T.A.;Kupferman,O.,交替时间-时间逻辑,J.ACM,49672-713(2002)·Zbl 1326.68181
[13] Aminof,B.;Murano,A.;Rubin,S.;Zuleger,F.,《即时交替时间认知逻辑》,(KR(2016)论文集),258-267
[14] Andre,E.;Jamroga,W.;Knapik,M.;Penczek,W.;Petrucci,L.,《定时ATL:忘记记忆,只是计数》,《第16届自主智能体和多智能体系统国际会议论文集》。第16届自主智能体和多智能体系统国际会议论文集,AAMAS 2017(2017),IFAAMAS,1460-1462
[15] Barlo,M.;Carmona,G.;Sabourian,H.,《有限作用空间的有界记忆》,(博弈论学会第三届世界大会)。博弈论学会第三届世界大会,游戏(2008年)
[16] Belardinelli,F.;Condurache,R.;Dima,C.;Jamroga,W.;Jones,A.V.,《三票投票协议的战略能力验证双模拟》,《第16届自主代理和多主体系统国际会议论文集》,2017年(2017年),IFAAMAS,1286-1295
[17] Belardinelli,F.;Lomuscio,A.;Murano,A.;Rubin,S.,《具有不完全信息和公共行为的多智能体系统验证》,(AAMAS会议记录(2017)),1268-1276
[18] 《知识与策略的推理:认知策略逻辑》,《第二届战略推理国际研讨会论文集》。第二届战略推理国际研讨会论文集,SR 2014,法国格勒诺布尔,2014年4月5日至6日(2014年)),2014年27月至33日
[19] Belardinelli,Francesco;Lomuscio,Alessio;Murano,Aniello;Rubin,Sasha,《有限记录道上的交替时间-时间逻辑》,(IJCAI 2018(2018)),77-83
[20] Benaloh,J.;Tuinstra,D.,《无收据无记名投票选举》,(第二十六届ACM计算理论研讨会论文集(1994年),ACM),544-553·Zbl 1344.68029号
[21] Berthon,R.;Maubert,B.;Murano,A.;Rubin,S.;Vardi,M.Y.,《不完全信息下的战略逻辑》,《LICS论文集(2017)》,1-12
[22] Bhaskar,V.;Mailath,G.J.;Morris,S.,《有限社会记忆序贯博弈中马尔可夫均衡的基础》,Rev。经济。螺柱,8020925-948(2012)·Zbl 1405.91027号
[23] 无符号系统分析;无符号分析程序。系统构造与分析工具与算法论文集。系统构造与分析工具与算法论文集。系统构建与分析的工具与算法论文集,TACAS,《计算机科学课堂讲稿》,第1579卷(1999年),斯普林格,193-207
[24] Bonzon,E.;Lagasquie-Schiex,M.-C.;Lang,J.;Zanuttini,B.,《布尔博弈再探讨》,(ECAI论文集(2006)),265-269
[25] Bordini,R.;Fisher,M.;Visser,W.;Wooldridge,M.,《通过模型检查验证多智能体程序》,Auton。Agents Multi-Agent系统,12,2,239-256(2006)
[26] Bordini,R.H.;Bazzan,A.L.C.;de Oliveira Jannone,R.;Basso,D.M.;Vicari,R.M.;Lesser,V.R.,AgentSpeak(XL):通过决策理论任务调度在BDI代理中的有效意图选择,(AAMAS会议(2002)),1294-1302
[27] Bordini,R.H.;Wooldridge,M.;Hübner,J.F.,《使用Jason在AgentSpeak中编程多智能体系统》,《Agent技术中的Wiley系列》(2007),John Wiley&Sons·Zbl 1132.68021
[28] 伯恩,L.E.,认知和使用概念,心理学。修订版,77546-556(1970)
[29] Brafman,R.I.;De Giacomo,G.;Patrizi,F.《在有限记录道上使用低密度脂蛋白(LDL)在MDP中指定非马尔可夫奖励(初步版本)”,CoRR(2017),abs/1706.08100
[30] Braddil,T.;Chatterjee,K.;Chmelik,M.;Fellner,A.;Kretinsky,J.,《通过学习马尔可夫决策过程中的小策略进行反例解释》,《CAV论文集(2015)》,158-177·Zbl 1381.68104号
[31] Braddil,T.;Chatterjee,K.;Kretinsky,J.;Toman,V.,《反应合成中决策树的策略表示》,《塔卡斯学报(2018年)》,待发表。可在·Zbl 1423.68118号
[32] Brihaye,T.;Laroussinie,F.;Markey,N.;Oreiby,G.,《时间并发博弈结构》,《CONCUR程序》(2007年)),445-459·Zbl 1151.68510
[33] Brihaye,T.;Da Costa Lopes,A.;Laroussinie,F.;Markey,N.,《策略情境和有限记忆的ATL》,《LFCS论文集》。LFCS论文集,《计算机科学讲义》,第5407卷(2009年),施普林格,92-106页·Zbl 1211.03031号
[34] Bulling,N.;Dix,J.,《使用论证和ATL对联盟进行建模和验证》,Rev。伊比利亚姆。英特尔。人工制品,14,46,45-73(2010年)
[35] Bulling,N.;Dix,J.;Jamroga,W.《战略能力的模型检验逻辑:复杂性》(Dastani,M.;Hindriks,K.;Meyer,J.-J.《多智能体系统的规范与验证》(2010),Springer),125-159·Zbl 1201.68070
[36] Bulling,N.;Farwer,B.,表达资源有界系统的性质:逻辑RTL*和RTL,(多智能体系统中计算逻辑的论文集)。多智能体系统中的计算逻辑论文集。多智能体系统计算逻辑研究进展。多智能体系统中的计算逻辑论文集,高潮,计算机科学讲义,第6214卷(2010年)),第22-45页·Zbl 1309.68066
[37] Bulling,N.;Farwer,B.,《模型检验资源受限代理的(不)可判定性》,《ECAI论文集》。ECAI论文集,《人工智能与应用前沿》,第215卷(2010年),IOS出版社,567-572·Zbl 1211.68246
[38] Bulling,N.;Jamroga,W.,《探员可能执行的措施》,Fundam。通知,93,1-3,81-96(2009)·Zbl 1191.68648号
[39] Bulling,N.;Jamroga,W.,《用记忆验证特工比看上去更难》,AI Commun.,23380-403(2010)·Zbl 1216.68257
[40] Bulling,N.;Jamroga,W.,《战略能力的变体比较:不确定性和记忆如何影响游戏的一般属性》,J.Auton。Agents Multi-Agent系统,28,3,474-518(2014年)
[41] Bulling,N.;Jamroga,W.;Dix,J.,《理性游戏的时间属性推理》,Ann。数学。人工制品。国际期刊,53,1-4,51-114(2008年)·Zbl 1187.03016
[42] Busard,S.;Pecheur,C.;Qu,H.;Raimondi,F.,《部分可观测性和无条件公平约束下的无记忆策略推理》,Inf.Comput.,242,128-156(2015)·Zbl 1319.68141
[43] 乔尔姆萨克,P.;Lomuscio,A.;Mogavero,F.;Murano,A.,MCMAS-SLK:用于验证策略逻辑规范的模型检查器(CAV'14)。2014年11月,LNCS,第8559卷(2014年),施普林格,524-531页
[44] 乔尔姆夏克,P.;洛穆西奥,A.;穆拉诺,A.,《根据单目标战略逻辑规范验证和综合多智能体系统》(AAAI 2015(2015),AAAI出版社),2038-2044年
[45] Chatterjee,K.;Henzinger,T.A.;Piterman,N.,《战略逻辑》,Inf.Comput.,208,6677-693(2010年)·Zbl 1205.68197
[46] Chen,T.;Forejt,V.;Kwiatkowska,M.;Parker,D.;Simaitis,A.《PRISM games:随机多人博弈的模型检验器》(TACAS)。塔卡斯,LNCS,第7795卷(2013年),施普林格,185-191·Zbl 1381.68151号
[47] Clarke,E.M.;Emerson,E.A.,《使用分支时间时序逻辑设计和综合同步框架》,《程序逻辑研讨会论文集》。程序逻辑研讨会论文集,《计算机科学讲义》,第131卷(1981年),52-71页
[48] Dastani,M.;Jamroga,W.,《关于多智能体程序策略的推理》,(AAMAS论文集(2010)),625-632
[49] 戴维斯,E.;马库斯,G.,《常识推理》,公社。ACM,58,9,92-103(2015年)
[50] de Alfaro,L.;Faella,M.;Henzinger,T.A.;Majumdar,R.;Stoelinga,M.,《模型检验贴现时间特性》,理论。计算机。科学,345139-170(2005)·Zbl 1079.68062
[51] de Alfaro,L.;Henzinger,T.A.,《欧米茄规则游戏集》,(2000年版),141-154
[52] De Giacomo,G.;Vardi,M.Y.,《有限迹上的线性时间逻辑和线性动态逻辑》,(IJCAI论文集(2013)),854-860
[53] De Giacomo,G.;Vardi,M.Y.,《有限记录道上LTL和LDL的合成》,《IJCAI论文集》(2015)),1558-1564
[54] Dima,C.;Tiplease,F.L.,不完全信息和完美召回语义下的模型检查ATL是不可判定的,CoRR,abs/1102.4225(2011)
[55] Duijf,H.;Broersen,J.M.,《战略代表》,《SR论文集(2016)》,15-26
[56] 费尔德曼,J.,《人类概念学习中布尔复杂性的最小化》,自然,407630(2000)
[57] Gelade,W.;Neven,F.,《正则表达式的补码和交集的简洁性》,《STACS论文集(2008)》,325-336·Zbl 1259.68107
[58] Ghallab,M.;Nau,D.;Traverso,P.,《自动化规划:理论与实践》(2004),摩根考夫曼·107613.8升
[59] Goranko,V.;van Drimmelen,G.,《交替时间时序逻辑的完全公理化和可判定性》,理论。计算机。科学,353,1193-117(2006)·Zbl 1089.03013
[60] Gruber,H.;Holzer,M.,《从有限自动机到正则表达式再到后面——关于描述复杂性的总结》,Int.J.发现。计算机。《科学》第26、8、1009-1040页(2015年)·Zbl 1405.68165
[61] Gupta,A.;Schewe,S.;Wojtczak,D.,《在多人折扣和游戏中充分利用有限内存》,《甘道夫学报》(2015年),16-30
[62] Gutierrez,J.;Harrenstein,P.;Wooldridge,M.,《迭代布尔博弈》,Inf.Comput.,242,53-79(2015)·Zbl 1318.91012号
[63] Gutierrez,J.;Harrenstein,P.;Wooldridge,M.,《从模型检验到平衡检验:理性验证的反应性模块》,人工制品。国际,248123-157(2017年)·Zbl 1420.68129
[64] Harel,D.;Kozen,D.,《过程逻辑:表达性、可判定性、完备性》,J.Comput。系统。《科学》第25、2、144-170页(1982年)·Zbl 0494.03016
〔65〕 《冲突中的逻辑》(2004),乌得勒支大学博士论文
[66] Herzig,A.;Lorini,E.;Maffre,F.;Walther,D.,《交替时间-时间逻辑与显式程序》,《喇嘛会议录》(2014年)
[67] Hindriks,K.V.;de Boer,F.S.;van der Hoek,W.;Meyer,J.-J.Ch.,《3APL中的代理编程》,Auton。代理多智能体系统,2,4,357-401(1999)
[68] Hindriks,K.V.;de Boer,F.S.;van der Hoek,W.;Meyer,J.-J.Ch.,《具有声明性目标的代理程序设计》,《安乐学报》(2000年)),228-243·Zbl 1056.68562
〔69〕 Hopcroft,John E.;Ullman,Jeffrey D.,《自动机理论、语言和计算导论》(1990),Addison-Wesley·Zbl 0426.68001
[70] 霍尔纳,J.;奥尔斯泽夫斯基,W.,《福克定理有多强大?《经济学季刊》,1773-1814年(2009年)·Zbl 1179.91032号
[71] Huang,X.;van der Meyden,R.,《符号模型检验认知策略逻辑》,(AAAI人工智能会议论文集(2014)),1426-1432
[72] Jackson,P.,专家系统导论(1998),Addison-Wesley
[73] Jamroga,W.,《随机多智能体系统的时序逻辑》,《PRIMA'08论文集》。PRIMA'08会刊,《计算机科学讲义》,第5357卷(2008年),239-250页
[74] Jamroga,W.;Ågotnes,T.,《建设性知识:在不完全信息下代理人可以实现的目标》,J.Appl。非班级。日志,17,4,423-475(2007)·Zbl 1186.03031
[75] Jamroga,W.;Dix,J.,《模型检验ATL》({i r})确实是\(\Delta_2^P\)-完成的,(欧洲医学会会刊)。欧洲原子能机构会议记录,欧洲大学研讨会论文集,第223卷(2006年)
[76] Jamroga,W.;Dix,J.,《代理人的模型检验能力:更近距离的观察》,理论计算。系统,42,3366-410(2008)·Zbl 1136.68036
[77] Jamroga,W.;Knapik,M.;Kurpiewski,D.,《不完全信息下战略能力的不动点逼近》,《第16届自主智能体和多智能体系统国际会议论文集》。第16届自主智能体和多智能体系统国际会议论文集,AAMAS(2017),IFAAMAS,1241-1249
[78] Jamroga,W.;Malvone,V.;Murano,A.,《关于自然战略能力的推理》,《第16届自主智能体和多智能体系统国际会议论文集》。第16届自主智能体和多智能体系统国际会议论文集,AAMAS(2017),IFAAMAS,714-722
[79] Jamroga,W.;van der Hoek,W.,《懂得玩游戏的经纪人》,Fundam。通知,63,2-3,185-219(2004年)·Zbl 1102.68106
[80] Kacprzak,M.;Lomuscio,A.;Penczek,W.,《从有界到无界的时间认知逻辑模型检验》,Fundam。通知,63221-240(2004年)·Zbl 1102.68107
[81] 北卡罗来纳州科切拉科塔,《金钱就是记忆》,《经济学杂志》。理论,81,232-251(1998)·Zbl 0910.90044
[82] 库普尔曼,O.;皮特曼,N.;瓦尔迪,M.Y.,《从活跃到迅速,形式》。方法系统。Des.,34,2,83-103(2009年)·Zbl 1192.68416
[83] Kwiatkowska,M.;Norman,G.;Parker,D.,《PRISM:概率符号模型检查器》,《工具学报》。工具集,计算机科学课堂讲稿,第2324卷(2002),斯普林格,200-204·Zbl 1047.68533号
[84] Laroussinie,F.;Markey,N.;Oreiby,G.,《论ATL的表现力和复杂性》,Log。方法计算。科学,4,7(2008)·Zbl 1143.68044
[85] Lomuscio,A.;Qu,H.;Raimondi MCMAS,F.,《用于验证多智能体系统的开源模型检查器》,Int.J.Softw。工具技术。传输。(2015),可在线获取
[86] Lomuscio,A.;Raimondi MCMAS,F.,《多智能体系统的模型检查器》(TACAS)。塔卡斯,LNCS,第4314卷(2006年),施普林格出版社,450-454页
[87] Malvone,V.;Murano,A.;Sorrentino,L.,《在多人游戏中隐藏动作》,《AAMAS会议记录(2017)》,1205-1213
[88] Markey,N.;Schnoebelen,P.,《模型检查路径》,(国际并发理论会议(2003),Springer),251-265·兹布1274.68197
[89] 莫阿迪,莫加里,莫加里做什么?战略逻辑的一个可判定的片段,(CONCUR会议录(2012)),193-208·Zbl 1365.68329
[90] Mogavero,F.;Murano,A.;Perelli,G.;Vardi,M.Y.,《关于策略的推理:关于模型检验问题》,ACM Trans。计算机。日志,15,4,1-42(2014)
[91] Mogavero,F.;Murano,A.;Perelli,G.;Vardi,M.Y.,《关于策略的推理:关于可满足性问题》,Log。方法计算。科学,13,1(2017)·Zbl 1448.68312
[92] Mogavero,F.;Murano,A.;Sorrentino,L.,《平价游戏中的及时性》,Fundam。通知,139,3,277-305(2015年)·Zbl 1336.91023号
[93] Mogavero,F.;Murano,A.;Vardi,M.Y.,《关于策略的推理》,(FSTTCS论文集(2010)),133-144·Zbl 1245.68138
[94] Morris,R.;Ward,G.《规划的认知心理学》(2014),心理学出版社
[95] Nielsen,J.,可用性工程(1994),Morgan Kaufmann·Zbl 0816.68144
[96] Nilsson,N.J.,智能体控制的远程反应程序,J.人工智能。因特尔。第1139-158号决议(1994年)
[97] Novák,P.;Jamroga,W.,《面向代理编程的代码模式》,(AAMAS'09(2009年)论文集),105-112
[98] 奥斯本,M.;鲁宾斯坦,A.,《博弈论课程》(1994),麻省理工学院出版社·Zbl 1194.91003号
[99] Paul,S.;Ramanujam,R.,《大型博弈中的模仿》,《博弈论,自动机,逻辑学和形式验证》。博弈论,自动机,逻辑与形式验证,甘道夫(2010)),162-172
[100] Paul,S.;Ramanujam,R.;Simon,S.E.,《策略转换下的稳定性》,(数学理论与计算实践,CiE论文集(2009)),389-398·Zbl 1268.91029号
[101] Penczek,W.;Lomuscio,A.,《通过有界模型检验验证多智能体系统的认知特性》,《自主智能体和多智能体系统国际联席会议论文集》。《自主智能体与多智能体系统国际联席会议论文集》,AAMAS(2003),ACM出版社:美国纽约ACM出版社,209-216
[102] Pfeifer,R.;Scheier,C.,《理解智能》(1999),麻省理工学院出版社:麻省理工学院剑桥出版社
[103] Queille,J.P.;Sifakis,J.,《Cesar中并发程序的规范和验证》(编程研讨会)。编程专题讨论会,计算机科学讲义,第137卷(1981),斯普林格,337-351
[104] Rabin,M.O.;Scott,D.S.,有限自动机及其决策问题,IBM J.Res.Dev.,3115-125(1959)·Zbl 0158.25404
[105] 《有限理性建模》(1998),麻省理工学院出版社
[106] Russel,S.;Norvig,P.,《人工智能:现代方法》(1995),普伦蒂斯·霍尔·Zbl 0835.68093
[107号] Santos,F.P.,声誉动力学与合作自组织(2018),里斯本大学博士论文
[108] Santos,F.P.;Santos,F.C.;Pacheco,J.M.,《合作演进中的社会规范复杂性和过去声誉》,《自然》,555,242-245(2018年)
[109号] Schewe,Sven,ATL*可满足性是2个扩展期完成的,(ICALP 2008年会议记录)。ICALP 2008年会议录,计算机科学讲义,第5126卷(2008年),斯普林格,373-385·Zbl 1155.68447
[110] 施诺贝伦,博士,时间模型检验的复杂性,(模态逻辑进展,AiML 2002(2003),世界科学院学报)·Zbl 1084.03013
[111] Schnoor,H.,《决定密码协议的认知和战略属性》,《ESORICS论文集》(2012年)),91-108
[112] 陈海宁,施努尔,不完全信息概率博弈的战略规划,(自主智能体与多智能体系统国际联席会议论文集)。自主智能体与多智能体系统国际联席会议论文集,AAMAS(2010),1057-1064
[113] 肖本斯,P.Y.,不完全回忆交替时间逻辑,电子。理论笔记。计算机。科学,85,2,82-93(2004)·兹布1270.68287
[114] 《多智能体系统-算法、博弈论和逻辑基础》(2009),剑桥大学出版社·Zbl 1163.91006号
[115] 斯托克梅耶,拉里J.,多项式时间层次,理论。计算机。科学,3,1,1-22(1976)·Zbl 0353.02024
[116] Toumi,A.;Gutierrez,J.;Wooldridge,M.,《并行博弈中纳什均衡的自动验证工具》,《ICTAC会议录》。ICTAC论文集,《计算机科学讲义》,第9399卷(2015年),斯普林格,583-594·Zbl 06545749号
[117] van der Hoek,W.;Jamroga,W.;Wooldridge,M.,《战略推理的逻辑》,(AAMAS'05(2005)会议录),157-164
[118] van der Hoek,W.;Lomuscio,A.;Wooldridge,M.,《实用ATL模型检查的复杂性》,《自主智能体和多智能体系统国际联席会议论文集》。自主智能体与多智能体系统国际联席会议论文集,AAMAS(2006),ACM),201-208
[119] van der Hoek,W.;Wooldridge,M.,《面向认知目标的可处理多智能体规划》,(自治代理和多智能体系统'02(2002)),1167-1174
[120] 范德霍克,W.;伍尔德里奇,M.,《合作,知识和时间:交替时间-时间认知逻辑及其应用》,研究。日志,75,1125-157(2003)·Zbl 1034.03013
〔121〕 van Otterloo,S.;Jonker,G.,《认知时态战略逻辑》,(LCMAS’04会议录。LCMAS’04论文集,《理论计算机科学电子笔记》,第126卷(2004年)),77-92·Zbl 1272.68384
[122号] van Otterloo,S.;van der Hoek,W.;Wooldridge,M.,《博弈逻辑偏好》,《自主代理和多智能体系统国际联席会议论文集》。自主智能体与多智能体系统国际联席会议论文集,AAMAS(2004),152-159
[123号] 《交替时间-时间逻辑与有限记忆策略》,《甘道夫论文集》。甘道夫论文集,EPTCS(2013年)),194-207
[124] 《时间策略》,第207期,第207页,第194页,2013年《有限时间逻辑》
[125] 冯诺依曼,J.;摩根斯坦,O.,《博弈论与经济行为》(1944),普林斯顿大学出版社:普林斯顿大学出版社,新泽西州
[126] Walther,D.;Lutz,C.;Wolter,F.;Wooldridge,M.,《ATL可满足性确实是EXPTIME complete》,J.Log。计算机,16,6,765-787(2006)·Zbl 1118.03010
[127号] Walther,D.;van der Hoek,W.;Wooldridge,M.,《时间-时间逻辑与显式策略的交替》(TARK XI论文集(2007年),卢汶大学出版社,269-278
[128] Wooldridge,M.;Gutierrez,J.;Harrenstein,P.;Marchioni,E.;Perelli,G.;Toumi,A.,《理性验证:从模型检验到平衡检验》,(AAAI论文集(2016)),4184-4191
[129] Yadav,N.;Sardiña,S.,《关于使用类ATL逻辑的代理程序的推理》,(JELIA论文集(2012)),437-449·Zbl 1361.68247
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。