×

天生的战略能力。 (英语) Zbl 1478.68385号

摘要:在博弈论和博弈逻辑的语义中,策略可以用从博弈状态到代理行为的任何函数来表示。从数学的角度来看,这是有道理的,但在人类行为的背景下不一定如此。这是因为人类不善于执行复杂的计划,而且一开始不太可能想出这样的计划。类似的问题也适用于内存和/或计算能力有限的人工代理。在本文中,我们采用有限理性的观点,研究了“简单”策略在代理能力规范中的应用。我们正式定义了“简单”的含义,并提出了一种只考虑此类策略的交替时间时序逻辑变体。我们还研究了生成能力语义的模型检查问题。
然后,我们转向具有LTL定义的获胜条件的并发博弈中更广泛的自然战略能力问题,并研究了一些基于肯定获胜和纳什均衡的决策问题。我们表明,通过采用基于自然策略的有限理性观点,我们显著降低了理性验证用于多智能体系统。

MSC公司:

68T42型 Agent技术与人工智能
03B44号 时间逻辑
60年第68季度 规范和验证(程序逻辑、模型检查等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
91A26型 博弈论中的理性与学习
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Ågotnes,T.,交替时间-时间逻辑中的动作和知识,Synthese,149,2377-409(2006)
[2] 奥戈特内斯,T。;V.戈兰科。;Jamroga,W.,《具有不可撤销策略的交替时间时序逻辑》(TARK XI(2007)会议记录),15-24
[3] 奥戈特内斯,T。;V.戈兰科。;查姆罗加,W。;Wooldridge,M.,《知识与能力》(van Ditmarsch,H.P.;Halpern,J.Y.;van der Hoek,W.;Kooi,B.P.,《认识逻辑手册》(2015),大学出版社),543-589
[4] 奥戈特内斯,T。;Walther,D.,《有限记忆下的战略能力逻辑》,J.Log。语言信息,18,1,55-77(2009)·兹比尔1163.68037
[5] Alechina,N。;布林,N。;洛根,B。;Nguyen,H.N.,《空闲的优点:资源代理逻辑的可判定片段》,Artif。智力。,245, 56-85 (2017) ·Zbl 1402.68122号
[6] Alechina,N。;Dastani,M。;洛根,B。;Meyer,J.-J.Ch.,《代理程序的逻辑》(AAAI会议录(2007)),795-800
[7] Alechina,N。;洛根,B。;Dastani,M。;Meyer,J.-J.Ch.,《关于代理执行策略的推理》,(《国际自治代理和多代理系统联合会议论文集》,国际自治代理与多代理系统联席会议论文集,AAMAS(2008)),1455-1458
[8] Alechina,N。;洛根,B。;新罕布什尔州Nga。;Rakib,A.,《有限资源联盟的逻辑》(《国际人工智能联合会议论文集》,国际人工智能联席会议论文集,IJCAI(2009)),659-664
[9] Alechina,N。;洛根,B。;Nguyen,H.N。;Raimondi,F.,《以资源生产和消耗为基础的ATL模型检验》,J.Compute。系统。科学。,88, 126-144 (2017) ·Zbl 1371.68173号
[10] Alechina,N。;洛根,B。;Nguyen,H.N。;Rakib,A.,《基于资源的交替时间逻辑》(Resource-bounded alternative-time time logic),(《国际自治代理和多代理系统联合会议论文集》,国际自治代理与多代理系统联席会议论文集,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,49,672-713(2002)·Zbl 1326.68181号
[13] 阿米诺夫,B。;Murano,A。;鲁宾,S。;Zuleger,F.,《快速交替时间认知逻辑》(Prompt alternating-time epostemic logics)(《韩国研究院学报》(2016)),258-267
[14] 安德烈,E。;查姆罗加,W。;科纳皮克,M。;彭泽克,W。;Petrucci,L.,Timed ATL:忘记记忆,只需计算,(第16届自治代理和多代理系统国际会议论文集。第16届自主代理和多智能体系统国际会议文献集,2017年(2017),IFAAMAS),1460-1462
[15] Barlo,M。;Carmona,G。;Sabourian,H.,有限动作空间的有限记忆,(第三届博弈论学会世界大会,第三届世界博弈论学会大会,GAMES(2008))
[16] Belardinelli,F。;Condurache,R。;迪马,C。;贾姆罗加,W。;Jones,A.V.,《应用三选票投票协议验证战略能力的双向模拟》(2017年第16届自主代理和多代理系统国际会议论文集,2017年),IFAAMAS,1286-1295
[17] Belardinelli,F。;Lomuscio,A。;Murano,A。;Rubin,S.,《不完全信息和公共行为的多智能体系统验证》(AAMAS会议记录(2017)),1268-1276
[18] Belardinelli,Francesco,《关于知识和战略的推理:认知战略逻辑》,(第二届战略推理国际研讨会论文集。第二届国际战略推理研讨会论文集,SR 2014,法国格勒诺布尔,2014年4月5日至6日(2014)),2014年27日至33日·Zbl 1464.03015号
[19] 弗朗西斯科·贝拉迪内利;阿莱西奥·洛穆西奥;阿尼埃洛·穆拉诺(Aniello Murano);Rubin,Sasha,有限迹上的交替时间时序逻辑,(IJCAI 2018(2018)),77-83
[20] Benaloh,J。;Tuinstra,D.,《无收据的秘密银行选举》,(第二十六届美国计算机学会计算理论研讨会论文集(1994年),美国计算机学会),544-553·Zbl 1344.68029号
[21] R.伯顿。;莫伯特,B。;Murano,A。;鲁宾,S。;Vardi,M.Y.,《信息不完全的战略逻辑》(LICS会议记录(2017)),第1-12页·兹比尔1458.68113
[22] 巴斯卡尔,V。;Mailath,G.J。;Morris,S.,《有限社会记忆序列博弈中马尔可夫均衡的基础》,《经济学评论》。螺柱,80,20,925-948(2012)·Zbl 1405.91027号
[23] Biere,A。;Cimatti,A。;克拉克,E.M。;Zhu,Y.,无BDD的符号模型检查, (系统构建和分析的工具和算法程序。系统构建与分析的工具与算法程序,TACAS。系统构建和解析的工具与方法程序。系统构造与分析的方法与算法程序。TACAS,计算机课堂讲稿《科学》,第1579卷(1999),施普林格出版社,193-207年
[24] Bonzon,E。;Lagasquie-Schiex,M.-C。;朗·J。;Zanuttini,B.,《重新审视布尔游戏》(《ECAI学报》(2006)),265-269
[25] 博尔迪尼,R。;费希尔,M。;维瑟,W。;Wooldridge,M.,通过模型检查验证多代理程序,Auton。代理多代理系统。,12, 2, 239-256 (2006)
[26] Bordini,R.H。;巴赞有限责任公司。;de Oliveira Jannone,R。;巴索,D.M。;维卡里·R·M。;Lesser,V.R.,AgentSpeak(XL):通过决策理论任务调度在BDI代理中的有效意图选择,(AAMAS会议记录(2002)),1294-1302
[27] Bordini,R.H。;伍尔德里奇,M。;Hübner,J.F.,《使用Jason在AgentSpeak中编程多代理系统》,《代理技术中的Wiley系列》(2007),John Wiley&Sons·Zbl 1132.68021号
[28] 伯恩,L.E.,《认识和使用概念》,《心理学》。修订版,77,546-556(1970)
[29] R.I.布拉夫曼。;德贾科莫,G。;Patrizi,F.,在有限记录道上使用LDL指定MDP中的非马尔可夫奖励(初步版本),CoRR(2017),abs/1706.08100
[30] Braddil,T。;查特吉,K。;Chmelik,M。;费尔纳,A。;Kretinsky,J.,通过学习马尔可夫决策过程中的小策略进行反例解释,(CAV论文集(2015)),158-177·Zbl 1381.68104号
[31] Braddil,T。;查特吉,K。;Kretinsky,J。;Toman,V.,《反应合成中决策树的策略表示》,(《TACAS学报》(2018)),待出版。可在·Zbl 1423.68118号
[32] 布里海耶,T。;拉鲁西尼,F。;马基,N。;Oreiby,G.,《时间并发游戏结构》(《CONCUR会议录》(2007)),445-459·Zbl 1151.68510号
[33] 布里海耶,T。;Da Costa Lopes,A。;拉鲁西尼,F。;Markey,N.,具有策略上下文和有界记忆的ATL,(LFCS会议录,LFCS会议录,计算机科学讲义,第5407卷(2009),施普林格),92-106·兹伯利1211.03031
[34] 布林,N。;Dix,J.,使用论证和ATL建模和验证联盟,Rev.Iberoam。英特尔。第条。,14, 46, 45-73 (2010)
[35] 布林,N。;迪克斯·J。;Jamroga,W.,《战略能力的模型检验逻辑:复杂性》(Dastani,M.;Hindriks,K.;Meyer,J.-J.,《多代理系统的规范与验证》(2010),施普林格出版社),125-159·Zbl 1201.68070号
[36] 布林,N。;Farwer,B.,表示资源约束系统的属性:逻辑RTL*和RTL,(《多智能体系统中的计算逻辑论文集》,《多智能体内的计算逻辑文献集》,CLIMA。《多智能体统中的计算逻辑学论文集》。CLIMA,《计算机科学讲义》,第6214卷(2010)),22-45·Zbl 1309.68066号
[37] 布林,N。;Farwer,B.,《关于模型检查资源边界代理的(不)可判定性》,(ECAI会议录,ECAI,人工智能和应用前沿,第215卷(2010年),IOS出版社),567-572·Zbl 1211.68246号
[38] 布林,N。;Jamroga,W.,《经纪人可能会强制执行什么》,Fundam。通知。,93, 1-3, 81-96 (2009) ·Zbl 1191.68648号
[39] 布林,N。;Jamroga,W.,用内存验证代理比看起来要难,AI Commun。,23, 380-403 (2010) ·Zbl 1216.68257号
[40] 布林,N。;Jamroga,W.,《比较战略能力的变体:不确定性和记忆如何影响游戏的一般属性》,J.Auton。代理多代理系统。,28, 3, 474-518 (2014)
[41] 布林,N。;查姆罗加,W。;Dix,J.,《理性游戏的时间属性推理》,《数学年鉴》。Artif公司。智力。,53, 1-4, 51-114 (2008) ·Zbl 1187.03016号
[42] Busard,S。;佩彻,C。;Qu,H。;Raimondi,F.,《部分可观测性和无条件公平约束下无记忆策略的推理》,Inf.Compute。,242, 128-156 (2015) ·Zbl 1319.68141号
[43] 乔马克,P。;Lomuscio,A。;莫加维罗,F。;Murano,A.,MCMAS-SLK:用于验证策略逻辑规范的模型检查器(CAV’14)。CAV’14,LNCS,第8559卷(2014),施普林格),524-531
[44] 乔马克,P。;Lomuscio,A。;Murano,A.,《根据单目标策略逻辑规范验证和合成多智能体系统》(AAAI 2015(2015),AAAI出版社),2038-2044
[45] 查特吉,K。;Henzinger,T.A。;彼得曼,N.,战略逻辑,信息计算。,208, 6, 677-693 (2010) ·Zbl 1205.68197号
[46] Chen,T。;Forejt,V。;Kwiatkowska,M。;帕克,D。;Simaitis,A.,PRISM游戏:随机多人游戏的模型检查器,(TACAS.TTACAS,LNCS,vol.7795(2013),Springer),185-191·Zbl 1381.68151号
[47] 克拉克,E.M。;Emerson,E.A.,《使用分支时间时序逻辑设计和合成同步骨架》(Proceedings of Logics of Programs Workshop),《程序逻辑研讨会论文集》,计算机科学讲义,第131卷(1981),52-71·Zbl 0546.68014号
[48] Dastani,M。;Jamroga,W.,《关于多智能体程序策略的推理》(AAMAS(2010)论文集),625-632
[49] 戴维斯,E。;马库斯,G.,常识推理,Commun。ACM,58、9、92-103(2015)
[50] de Alfaro,L。;费拉,M。;Henzinger,T.A。;马朱姆达尔,R。;Stoelinga,M.,模型检查贴现时间属性,Theor。计算。科学。,345, 139-170 (2005) ·Zbl 1079.68062号
[51] de Alfaro,L。;Henzinger,T.A.,《并发欧米伽规则游戏》(LICS会议记录(2000)),141-154
[52] 德贾科莫,G。;Vardi,M.Y.,有限迹上的线性时序逻辑和线性动态逻辑(IJCAI(2013)论文集),854-860
[53] 德贾科莫,G。;Vardi,M.Y.,有限道上LTL和LDL的合成,(IJCAI(2015)论文集),1558-1564
[54] 迪马,C。;Tiopse,F.L.,不完全信息和完全回忆语义下的模型检验ATL是不可判定的,CoRR,abs/1102.4225(2011)
[55] 杜伊夫,H。;Broersen,J.M.,代表策略,(SR会议记录(2016)),15-26
[56] Feldman,J.,《人类概念学习中布尔复杂性的最小化》,《自然》,407630(2000)
[57] Gelade,W。;Neven,F.,补语的简洁性和正则表达式的交集,(STACS(2008)会议录),325-336·Zbl 1259.68107号
[58] 加拉布,M。;Nau,D。;Traverso,P.,《自动化规划:理论与实践》(2004),Morgan Kaufmann·Zbl 1074.68613号
[59] V.戈兰科。;van Drimmelen,G.,交替时间时序逻辑的完全公理化和可判定性,Theor。计算。科学。,353, 1, 93-117 (2006) ·Zbl 1089.03013号
[60] Gruber,H。;Holzer,M.,《从有限自动机到正则表达式再到正则表达式——描述复杂性概述》,国际期刊Found。计算。科学。,26, 8, 1009-1040 (2015) ·Zbl 1405.68165号
[61] 古普塔,A。;Schewe,S。;Wojtczak,D.,《在多层折扣和游戏中充分利用有限的内存》(GandALF(2015)会议记录),16-30·Zbl 1479.91030号
[62] 古铁雷斯,J。;Harrenstein,P。;Wooldridge,M.,迭代布尔游戏,信息计算。,242, 53-79 (2015) ·Zbl 1318.91012号
[63] 古铁雷斯,J。;Harrenstein,P。;Wooldridge,M.,《从模型检查到平衡检查:理性验证的反应模块》,Artif。智力。,248, 123-157 (2017) ·Zbl 1420.68129号
[64] Harel,D。;Kozen,D.,《过程逻辑:表达性、可判定性、完整性》,J.Compute。系统。科学。,25, 2, 144-170 (1982) ·Zbl 0494.03016号
[65] Harrenstein,P.,《冲突中的逻辑》(2004),乌得勒支大学,博士论文
[66] Herzig,A。;Lorini,E。;Maffre,F。;Walther,D.,带显式程序的交替时间时序逻辑(LAMAS会议录(2014))
[67] Hindriks,K.V。;de Boer,F.S。;范德霍克,W。;Meyer,J.-J.Ch.,《3APL中的代理编程》,Auton。代理多代理系统。,2357-401(1999年)
[68] Hindriks,K.V。;de Boer,F.S。;范德霍克,W。;Meyer,J.-J.Ch.,具有声明性目标的代理编程,(《安乐学报》(2000年),228-243·Zbl 1056.68562号
[69] 约翰·霍普克罗夫特(John E.Hopcroft)。;杰弗里·乌尔曼(Jeffrey D.Ullman),《自动机理论、语言和计算导论》(Introduction to Automata Theory,Languages,And Computation)(1990),艾迪森·韦斯利(Addison-Wesley)·Zbl 0426.68001号
[70] Hörner,J。;Olszewski,W.,民间定理的鲁棒性如何?,Q.J.经济。,1773-1814 (2009) ·Zbl 1179.91032号
[71] 黄,X。;van der Meyden,R.,符号模型检验认知策略逻辑,(AAAI人工智能会议论文集(2014)),1426-1432
[72] Jackson,P.,《专家系统导论》(1998),Addison Wesley
[73] Jamroga,W.,随机多智能体系统的时间逻辑,(PRIMA'08。2008年PRIMA会议录,计算机科学讲稿,第5357卷(2008),239-250
[74] 查姆罗加,W。;奥戈特内斯,T.,《建构性知识:代理人在不完全信息下可以实现什么》,J.Appl。非类别。日志。,17, 4, 423-475 (2007) ·Zbl 1186.03031号
[75] 查姆罗加,W。;Dix,J.,模型检查ATL({}_{ir})确实是(Delta_2^P)-完整的,(EUMAS会议记录,CEUR研讨会记录,第223卷(2006))
[76] 查姆罗加,W。;Dix,J.,《代理的模型检查能力:仔细观察》,《理论计算》。系统。,42, 3, 366-410 (2008) ·Zbl 1136.68036号
[77] 查姆罗加,W。;科纳皮克,M。;Kurpiewski,D.,不完全信息下战略能力的不动点近似,(《第16届自主代理和多代理系统国际会议论文集》,第16届国际自主代理和多重代理系统会议论文集,AAMAS(2017),IFAAMAS),1241-1249
[78] 查姆罗加,W。;Malvone,V。;Murano,A.,《关于自然战略能力的推理》,(《第16届国际自主代理和多代理系统会议论文集》,《第16次国际自主代理与多代理系统大会论文集》),AAMAS(2017),IFAAMAS,714-722
[79] 查姆罗加,W。;范德霍克,W.,知道如何打球的经纪人,芬丹。通知。,63, 2-3, 185-219 (2004) ·Zbl 1102.68106号
[80] 卡普扎克,M。;Lomuscio,A。;Penczek,W.,《时间认知逻辑的从有界到无界模型检验》,Fundam。通知。,63, 221-240 (2004) ·Zbl 1102.68107号
[81] N.R.Kocherlakota,《金钱就是记忆》,J.Econ。理论,81,2,232-251(1998)·Zbl 0910.90044号
[82] 库普夫曼,O。;北卡罗来纳州皮特曼。;瓦尔迪,M.Y.,《从活泼到敏捷》,《形式与方法系统》。设计。,第34页,第2页,第83-103页(2009年)·Zbl 1192.68416号
[83] Kwiatkowska,M。;诺曼,G。;Parker,D.,PRISM:概率符号模型检查器,(《工具学报》,《工具学报,计算机科学讲稿》,第2324卷(2002),Springer),200-204·Zbl 1047.68533号
[84] 拉鲁西尼,F。;马基,N。;Oreiby,G.,《论ATL的表现力和复杂性》,Log。方法计算。科学。,4, 7 (2008) ·Zbl 1143.68044号
[85] Lomuscio,A。;Qu,H。;Raimondi MCMAS,F.,《用于验证多代理系统的开源模型检查器》,国际J.Softw。技术工具。Transf公司。(2015),在线提供
[86] Lomuscio,A。;Raimondi MCMAS,F.,《多代理系统的模型检查器》,(TACAS.TACAS,LNCS,第4314卷(2006),Springer),450-454·Zbl 1459.68121号
[87] Malvone,V。;Murano,A。;Sorrentino,L.,《多层游戏中的隐藏动作》(AAMAS会议记录(2017)),1205-1213
[88] 马基,N。;Schnoebelen,P.,《模型检查路径》(2003年并发理论国际会议,Springer),251-265·Zbl 1274.68197号
[89] 莫加维罗,F。;Murano,A。;佩雷利,G。;瓦尔迪,M.Y.,是什么使ATL*可判定?战略逻辑的可决策片段,(《CONCUR会议录》(2012)),193-208·Zbl 1365.68329号
[90] 莫加维罗,F。;Murano,A。;佩雷利,G。;Vardi,M.Y.,《战略推理:模型选择问题》,ACM Trans。计算。日志。,2014年4月15日至42日·Zbl 1354.68178号
[91] 莫加维罗,F。;Murano,A。;佩雷利,G。;Vardi,M.Y.,《关于策略的推理:关于可满足性问题》,Log。方法计算。科学。,13, 1 (2017) ·Zbl 1448.68312号
[92] 莫加维罗,F。;Murano,A。;Sorrentino,L.,《平价游戏中的及时性》,Fundam。通知。,139, 3, 277-305 (2015) ·Zbl 1336.91023号
[93] 莫加维罗,F。;Murano,A。;Vardi,M.Y.,《战略推理》,(FSTTCS(2010),第133-144页·Zbl 1245.68138号
[94] 莫里斯,R。;Ward,G.,《规划的认知心理学》(2014),心理学出版社
[95] Nielsen,J.,可用性工程(1994),Morgan Kaufmann·Zbl 0816.68144号
[96] Nilsson,N.J.,《用于代理控制的远程反应程序》,J.Artif。智力。第139-158号决议(1994年)
[97] 诺瓦克,P。;Jamroga,W.,面向代理编程的代码模式,(AAMAS’09(2009)会议记录),105-112
[98] 奥斯本,M。;Rubinstein,A.,《博弈论课程》(1994),麻省理工出版社·Zbl 1194.91003号
[99] 保罗·S。;Ramanujam,R.,《大型游戏中的模仿》,(游戏、自动机、逻辑和形式验证会议录。游戏、自然主义、逻辑和格式验证会议录,GandALF(2010)),162-172·Zbl 1459.91004号
[100] 保罗·S。;拉马努贾姆,R。;Simon,S.E.,《策略转换下的稳定性》(数学理论与计算实践,CiE学报(2009)),389-398·Zbl 1268.91029号
[101] 彭泽克,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·Zbl 0482.68028号
[104] M.O.拉宾。;Scott,D.S.,《有限自动机及其决策问题》,IBM J.Res.Dev.,3115-125(1959)·Zbl 0158.25404号
[105] Rubinstein,A.,《有限理性建模》(1998),麻省理工学院出版社
[106] Russel,S。;Norvig,P.,《人工智能:现代方法》(1995),普伦蒂斯·霍尔·Zbl 0835.68093号
[107] Santos,F.P.,《声誉的动力与合作的自组织》(2018),里斯本大学,博士论文
[108] 桑托斯,F.P。;F.C.桑托斯。;帕切科,J.M.,《合作进化中的社会规范复杂性和过去声誉》,《自然》,555242-245(2018)
[109] Schewe,Sven,ATL*可满足性是2ExpTime-complete(ICALP 2008年会议记录)。ICALP 2008年会议录,计算机科学讲义,第5126卷(2008),Springer),373-385·Zbl 1155.68447号
[110] Schnoebelen博士,《时间模型检查的复杂性》(模态逻辑进展,AiML 2002(2003),世界科学杂志)·兹比尔1084.03013
[111] Schnoor,H.,决定密码协议的认知和战略属性,(ESORICS会议记录(2012)),91-108
[112] Schnoor,Henning,《不完全信息概率博弈的战略规划》,(自治代理和多代理系统国际联合会议论文集。自治代理和多重代理系统国际联席会议论文集,AAMAS(2010)),1057-1064
[113] 肖本斯,P.Y.,《具有不完全回忆的交替时间逻辑》,电子。理论注释。计算。科学。,85, 2, 82-93 (2004) ·Zbl 1270.68287号
[114] 肖姆,Y。;Leyton-Brown,K.,《多智能体系统-算法、博弈论和逻辑基础》(2009),剑桥大学出版社·Zbl 1163.91006号
[115] Stockmeyer,Larry J.,多项式时间层次,Theor。计算。科学。,3, 1, 1-22 (1976) ·Zbl 0353.02024号
[116] Toumi,A。;古铁雷斯,J。;Wooldridge,M.,并发游戏中纳什均衡的自动验证工具,(ICTAC会议录,ICTAC,计算机科学讲稿,第9399卷(2015),Springer),583-594·兹比尔1471.68157
[117] 范德霍克,W。;查姆罗加,W。;Wooldridge,M.,《战略推理的逻辑》(AAMAS’05(2005)会议记录),157-164
[118] 范德霍克,W。;Lomuscio,A。;Wooldridge,M.,《关于实际ATL模型检查的复杂性》,(《自治代理和多代理系统国际联合会议论文集》,《自治代理与多代理系统问题国际联合会议文献集》,AAMAS(2006),ACM),201-208
[119] 范德霍克,W。;Wooldridge,M.,认知目标的可追踪多智能体规划(Autonomous Agents and multiagent Systems’02(2002)),1167-1174
[120] 范德霍克,W。;伍尔德里奇,M.,《合作、知识与时间:交替时间时间认知逻辑及其应用》,研究日志。,75, 1, 125-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。;范德霍克,W。;Wooldridge,M.,《游戏逻辑中的偏好》,(自治代理和多代理系统国际联合会议论文集。自治代理和多重代理系统国际联席会议论文集,AAMAS(2004)),152-159
[123] Vester,S.,《有限记忆策略的交替时间时序逻辑》(GandALF会议录,GandALF-会议录,EPTCS(2013)),194-207·Zbl 1464.68214号
[124] Vester,S.,《有限记忆策略的交替时间时序逻辑》(GandALF 2013(2013)),194-207·Zbl 1464.68214号
[125] 冯·诺依曼,J。;Morgenstern,O.,《博弈论与经济行为》(1944),普林斯顿大学出版社:普林斯顿大学出版,新泽西州普林斯顿·Zbl 0063.05930号
[126] Walther,D。;卢茨,C。;Wolter,F。;Wooldridge,M.,ATL满意度确实是EXPTIME-complete,J.Log。计算。,16765-787(2006年)·Zbl 1118.03010号
[127] Walther,D。;范德霍克,W。;Wooldridge,M.,《带显式策略的交替时间时序逻辑》(《TARK XI论文集》(2007),卢浮大学出版社),269-278
[128] 伍尔德里奇,M。;古铁雷斯,J。;Harrenstein,P。;马尔基奥尼,E。;佩雷利,G。;Toumi,A.,《理性验证:从模型检验到均衡检验》,《AAAI学报》(2016),4184-4191
[129] 亚达夫,N。;Sardiña,S.,《使用类ATL逻辑推理代理程序》(JELIA学报(2012)),437-449·Zbl 1361.68247号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。