×

多代理系统的规范和验证。 (英语) Zbl 1250.68190号

Nick Bezhanishvili等人,《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根,2010年8月,ESSLLI2011年,斯洛文尼亚卢布尔雅那,2011年8月。精选课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-31484-1/pbk)。计算机科学课堂讲稿7388,210-263(2012)。
引言:多智能体系统(MAS)为形式化计算机科学、人工智能、博弈论、社会选择理论等领域的各种问题提供了一个重要的框架。模态逻辑是描述和验证计算系统最合适、最通用的逻辑形式。在此,我们概述了该领域的一些重要发展。我们介绍了用于描述系统的时间、认知和策略属性的模态逻辑;然后我们提出了一些模型检测算法,并讨论了模型检测问题的计算复杂性。最后,我们考虑基于二元决策图(BDD)和命题逻辑公式的系统符号(紧)表示,并说明这些表示如何改变模型检查的算法方面。我们还讨论了其他技术,这些技术有助于降低复杂性并使验证即使对于大型系统也是可行的。
关于整个系列,请参见[Zbl 1248.03007号].

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
03B45号 模态逻辑(包括规范逻辑)
68T27型 人工智能中的逻辑
68T42型 Agent技术与人工智能
91A99型 博弈论
91B14号机组 社会选择
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 奥戈特斯:交替时间时序逻辑中的行动和知识。合成149(2),377-409(2006);知识、理性和行动部分·Zbl 1107.03013号 ·doi:10.1007/s11229-005-3875-8
[2] Ågotnes,T.,Goranko,V.,Jamroga,W.:具有不可撤销策略的交替时间-时间逻辑。摘自:Samet,D.(编辑)《TARK XI会议录》,第15-24页(2007年)·doi:10.1145/1324249.1324256
[3] Alur,R.,Henzinger,T.A.,Kupferman,O.:交替时间时序逻辑。摘自:第38届计算机科学基础年度研讨会论文集,第100-109页。IEEE计算机学会出版社(1997)·Zbl 1326.68181号 ·doi:10.10109/SFCS1.997.646098
[4] Alur,R.,Henzinger,T.A.,Kupferman,O.:交替时间时序逻辑。ACM杂志49,672–713(2002)·Zbl 1326.68181号 ·doi:10.1145/585265.585270
[5] Beeri,C.:关于关系数据库中函数和多值依赖的隶属度问题。ACM数据库系统事务5(3),241–259(1980)·Zbl 0441.68118号 ·数字对象标识代码:10.1145/320613.320614
[6] Biere,A.,Cimatti,A.,Clarke,E.,Strichman,O.,Zhu,Y.:有界模型检验。In:高度可靠的软件。《计算机进展》,第58卷。学术出版社(2003)(预印)·doi:10.1016/S0065-2458(03)58003-2
[7] Blackburn,P.,de Rijke,M.,Venema,Y.:模态逻辑。剑桥理论计算机科学丛书,第53卷。剑桥大学出版社(2001)·Zbl 0988.03006号
[8] Bulling,N.:隐式模型上的模型检查联盟逻辑是{\(\Delta\)}3-complete。克劳斯塔尔科技大学技术报告IfI-10-02(2010)
[9] Bulling,N.,Dix,J.,Jamroga,W.:战略能力的模型检验逻辑:复杂性。摘自:Dastani,M.、Hindriks,K.、Meyer,J.-J.(编辑)《多代理系统的规范和验证》,第125-159页。施普林格(2010)·Zbl 1201.68070号 ·doi:10.1007/978-1-4419-6984-25
[10] Bulling,N.,Jamroga,W.:代理人可能会强制执行什么。《基础信息》93(1-3),81–96(2009)·Zbl 1191.68648号
[11] Bulling,N.,Jamroga,W.:交替认知微积分。摘自:2011年国际JCAI会议记录,第109-114页(2011年)
[12] Bulling,N.,Jamroga,W.,Dix,J.:理性游戏的时间属性推理。《数学与人工智能年鉴》53(1-4),51–114(2008)·Zbl 1187.03016号 ·doi:10.1007/s10472-009-9110-4
[13] Clarke,E.,Emerson,E.A.,Sistla,A.P.:使用时序逻辑规范对有限状态并发系统进行自动验证:一种实用方法。美国计算机学会程序设计语言与系统汇刊8(2),244-263(1986)·Zbl 0591.68027号 ·doi:10.1145/5397.5399
[14] Clarke,E.M.,Emerson,E.A.,Sistla,A.P.:使用时序逻辑规范对有限状态并发系统进行自动验证。美国计算机学会程序设计语言与系统汇刊8(2),244-263(1986)·Zbl 0591.68027号 ·doi:10.1145/5397.5399
[15] Clarke,E.M.,Grumberg,O.,Peled,D.:模型检查。麻省理工学院出版社(1999)
[16] Cohen,P.R.,Levesque,H.J.:意图是有承诺的选择。人工智能42,213–261(1990)·Zbl 0721.03017号 ·doi:10.1016/0004-3702(90)90055-5
[17] Davis,M.,Logemann,G.,Loveland,D.:定理证明的机器程序。ACM期刊5(7),394-397(1962)·Zbl 0217.54002号 ·数字对象标识代码:10.1145/368273.368557
[18] Davis,M.,Putnam,H.:量化理论的计算程序。ACM杂志7(3),201–215(1960)·Zbl 0212.34203号 ·数字对象标识代码:10.1145/321033.321034
[19] de Alfaro,L.、Faella,M.、Henzinger,T.A.、Majumdar,R.、Stoelinga,M.:模型检查贴现时间属性。理论计算机科学345,139–170(2005)·Zbl 1079.68062号 ·doi:10.1016/j.tcs.2005.07.033
[20] Dembinski,P.、Janowska,A.、Janows,P.,Penczek,W.、Półrola,A.、Szreter,M.、Woźna,B.、Zbrzezny,A.:(surd\)erics:A Tool for Verifying Timed Automata and Estelle Specifications。收录:Garavel,H.,Hatcliff,J.(编辑)TACAS 2003。LNCS,第2619卷,第278-283页。斯普林格,海德堡(2003)·Zbl 1031.68546号 ·文件编号:10.1007/3-540-36577-X20
[21] Dima,C.,Tiopse,F.L.:不完全信息和完全回忆语义下的模型检查atl是不可判定的。CoRR,abs/1102.4225(2011)
[22] Doyen,L.,Raskin,J.-F.:信息不完全的游戏:理论和算法。计算机科学家博弈论课堂讲稿,第185-212页。剑桥大学出版社(2011)·Zbl 1229.91080号 ·doi:10.1017/CBO9780511973468.007
[23] Emerson,E.A.:时间和模态逻辑。收录于:van Leeuwen,J.(编辑)《理论计算机科学手册》,第B卷,第995-1072页。爱思唯尔科学出版社(1990)·Zbl 0900.03030号 ·doi:10.1016/B978-0-444-88074-1.50021-4
[24] Emerson,E.A.,Lei,C.-L.:命题微积分片段中的高效模型检查。In:程序。第一交响曲。《计算机科学中的逻辑》(LICS 1986),第267-278页。IEEE计算机学会(1986)
[25] Emerson,E.A.,Lei,C.-L.:模型检查模式:分支时间逻辑反击。计算机程序设计科学8(3),275–306(1987)·Zbl 0615.68019号 ·doi:10.1016/0167-6423(87)90036-0
[26] Emerson,E.A.,Sistla,A.P.:决定分支时间逻辑。收录于:STOC 1984:第十六届ACM计算机理论年会论文集,第14-24页。ACM,纽约(1984)·Zbl 0593.03007号 ·数字对象标识代码:10.1145/800057.808661
[27] Emerson,E.A.,Halpern,J.Y.:“有时”和“不可能”重温:关于分支与线性时间时序逻辑。ACM期刊33(1),151–178(1986)·Zbl 0629.68020号 ·doi:10.1145/4904.4999
[28] 费金,R.,哈尔佩恩,J.Y.,摩西,Y.,瓦尔迪,M.Y.:关于知识的推理。麻省理工学院出版社(1995)·Zbl 0839.68095号
[29] Fisher,M.:时间逻辑。Kluwer(2006)·Zbl 1236.68224号
[30] Fitting,M.:一阶逻辑和自动定理证明。斯普林格(1990)·Zbl 0692.68002号 ·doi:10.1007/978-1-4684-0357-2
[31] Furst,M.,Saxe,J.B.,Sipser,M.:奇偶校验、电路和多项式时间层次。数学。系统理论17,13–27(1984)·Zbl 0534.94008号 ·doi:10.1007/BF01744431
[32] Goranko,V.,Jamroga,W.:多层游戏逻辑的状态和路径有效性模型。附:AAMAS会议记录(将于2012年发表)
[33] Goranko,V.,Jamroga,W.,Turrini,P.:战略游戏和真正可玩的有效功能。摘自:AAMAS 2011年会议记录,第727–734页(2011年)
[34] Goranko,V.,van Drimmelen,G.:交替时间时序逻辑的完全公理化和可判定性。理论计算机科学353(1),93–117(2006)·Zbl 1089.03013号 ·doi:10.1016/j.tcs.2005.07.043
[35] Guelev,D.P.,Dima,C.,Enea,C.:具有知识、完美回忆和过去的交替时间时序逻辑:公理化和模型检查。应用非经典逻辑杂志21(1),93–131(2011)·Zbl 1242.68161号 ·doi:10.3166/1月21.93-131日
[36] Halpern,J.Y.:关于知识的推理:一项调查。收录于:Gabbay,D.M.、Hogger,C.J.、Robinson,J.A.(编辑)《人工智能和逻辑编程中的逻辑手册》,第四卷,第1-34页。牛津大学出版社(1995)
[37] Harel,D.,Kozen,D.,Tiuryn,J.:动态逻辑。麻省理工学院出版社(2000)·Zbl 0976.68108号
[38] Harrenstein,B.P.,van der Hoek,W.,Meyer,J.-J.,Witteveen,C.:纳什均衡的模态表征。《基础信息》57(2-4),281-321(2003)·Zbl 1041.03016号
[39] Harrenstein,P.,van der Hoek,W.,Meijer,J.-J.,Witteveen,C.:动态逻辑中的亚博弈完美纳什均衡。摘自:Pauly,M.,Baltag,A.(编辑)ILLC逻辑与游戏研讨会论文集,第25卷,第29-30页。阿姆斯特丹大学(2002);技术报告PP-1999-25
[40] 霍克·P:协调,几乎完美的信息和战略能力。摘自:LAMAS会议记录(2010年)
[41] van der Hoek,W.,Wooldridge,M.:模型检验知识与时间。收录:Bošnački,D.,Leue,S.(编辑)SPIN 2002。LNCS,第2318卷,第95-111页。斯普林格,海德堡(2002)·Zbl 1077.68708号 ·doi:10.1007/3-5440-46017-9_9
[42] Huang,X.,Su,K.,Zhang,C.:不完全信息的概率交替时间逻辑和同步完全回忆。摘自:2012年AAAI会议记录(将于2012年发表)
[43] Huth,M.,Ryan,M.:《计算机科学中的逻辑:关于系统的建模和推理》。剑桥大学出版社(2004)·Zbl 1073.68001号 ·doi:10.1017/CBO9780511810275
[44] Immerman,N.:量词的数量比磁带单元的数量好。《计算机与系统科学杂志》22(3),384–406(1981)·Zbl 0486.03019号 ·doi:10.1016/0022-0000(81)90039-8
[45] Jamroga,W.:关于交替时间认知逻辑的一些评论。收录于:Dunin-Keplicz,B.,Verbrugge,R.(编辑)《多智能体系统形式化方法会议录》(FAMAS 2003),第133-140页(2003)
[46] Jamroga,W.:随机多代理系统的时间逻辑。收录:Bui,T.D.,Ho,T.V.,Ha,Q.T.(编辑)PRIMA 2008。LNCS(LNAI),第5357卷,第239-250页。斯普林格,海德堡(2008)·Zbl 05488370号 ·doi:10.1007/978-3-540-89674-6_27
[47] Jamroga,W.:简单但困难:代理的模型检查策略。收录:Fisher,M.,Sadri,F.,Thielscher,M.(编辑)CLIMA IX.LNCS,第5405卷,第1-12页。斯普林格,海德堡(2009)·Zbl 1250.68189号 ·doi:10.1007/978-3-642-02734-5_1
[48] Jamroga,W.,Au gotnes,T.:模块化解释系统:初步报告。克劳斯塔理工大学IfI-06-15技术报告(2006)
[49] Jamroga,W.,Au gotnes,T.:建构性知识:代理人在不完全信息下可以实现什么。应用非经典逻辑杂志17(4),423–475(2007)·Zbl 1186.03031号 ·doi:10.3166/jancl.17.423-475
[50] Jamroga,W.,Au gotnes,T.:模块化解释系统。摘自:《2007年澳大利亚会计准则委员会会议录》,第892-899页(2007年)·doi:10.1145/1329125.1329286
[51] Jamroga,W.,Dix,J.:代理是否会使模型检查爆炸(计算)?收录于:Pěchouček,M.,Petta,P.,Varga,L.Z.(编辑)CEEMAS 2005。LNCS(LNAI),第3690卷,第398-407页。斯普林格,海德堡(2005)·doi:10.1007/11559221_40
[52] Jamroga,W.,Dix,J.:模型检查ATL ir确实是完成的。摘自:欧盟金融管理体系2006年会议记录(2006年)
[53] Jamroga,W.,Dix,J.:代理的模型检查能力:更仔细的观察。计算系统理论42(3),366–410(2008)·Zbl 1136.68036号 ·doi:10.1007/s00224-007-9080-z
[54] Jamroga,W.,van der Hoek,W.:知道怎么玩的特工。基础信息学63(2-3),185-219(2004)·Zbl 1102.68106号
[55] Jonker,G.:交替时间-时间认知逻辑中的可行策略。乌得勒支大学硕士论文(2003)
[56] Kacprzak,M.,Lomuscio,A.,Łasica,T.,Penczek,W.,Szreter,M.:通过无边界模型检查验证多代理系统。In:Hinchey,M.G.,Rash,J.L.,Truszkowski,W.F.,Rouff,C.A.(编辑)FAABS 2004。LNCS(LNAI),第3228卷,第189-212页。斯普林格,海德堡(2004)·doi:10.1007/978-3-540-30960-4_13
[57] Kacprzak,M.,Lomuscio,A.,Niewiadomski,A.,Penczek,W.,Raimondi,F.,Szreter,M.:比较基于BDD和SAT的技术来检查Chaum的用餐密码协议。基础信息学72(1-2),215–234(2006)·Zbl 1097.68074号
[58] Kacprzak,M.,Lomuscio,A.,Penczek,W.:时间认知逻辑的从有界到无界模型检查。基础信息学63(2-3),221-240(2004)·Zbl 1102.68107号
[59] Kacprzak,M.,Lomuscio,A.,Penczek,W.:时间认知逻辑的从有界到无界模型检查。芬丹。通知。 63(2-3), 221–240 (2004) ·Zbl 1102.68107号
[60] Kacprzak,M.、Nabialek,W.、Niewiadomski,A.、Penczek,W.Pólrola,A.、Szreter,M.,Woźna,B.、Zbrzezny,A.:VerICS 2007-知识和实时模型检查器。基础信息学85(1-4),313–328(2008)·Zbl 1167.68381号
[61] Kacprzak,M.,Penczek,W.:交替时间时序逻辑的全符号无界模型检查。自治代理和多代理系统11(1),69–89(2005)·Zbl 05387330号 ·doi:10.1007/s10458-005-0944-9
[62] Kozen,D.:命题微积分的结果。理论计算机科学27,333–354(1983)·Zbl 0553.03007号 ·doi:10.1016/0304-3975(82)90125-6
[63] Kupferman,O.,Vardi,M.Y.,Wolper,P.:分支时间模型检查的自动机理论方法。ACM杂志47(2),312–360(2000)·Zbl 1133.68376号 ·数字对象标识代码:10.1145/333979.333987
[64] Laroussinie,F.,Markey,N.,Oreiby,G.:关于ATL的表现力和复杂性。计算机科学中的逻辑方法4,7(2008)·Zbl 1143.68044号 ·doi:10.2168/LMCS-4(2:7)2008年
[65] Laroussinie,F.,Markey,N.,Schnoebelen,P.:模型检查CTL+FCTL很难。摘自:Honsell,F.,Miculan,M.(编辑)FOSSACS 2001。LNCS,第2030卷,第318–331页。斯普林格,海德堡(2001)·Zbl 0986.68067号 ·doi:10.1007/3-540-45315-6_21
[66] Leyton-Brown,K.,Shoham,Y.:博弈论精要:简明、多学科介绍。摩根克莱普尔(2008)·Zbl 1203.91002号
[67] Lichtenstein,O.,Pnueli,A.:检查有限状态并发程序是否满足其线性规范。收录于:POPL 1985:第十二届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集,第97-107页。ACM,纽约(1985年)
[68] Lomuscio,A.,Penczek,W.:《逻辑》第19列:时间认知逻辑的符号模型检查。CoRR,abs/0709.0446(2007)
[69] Lomuscio,A.,Qu,H.,Raimondi,F.:MCMAS:多智能体系统验证的模型检查器。收录:Bouajjani,A.,Maler,O.(编辑)CAV 2009。LNCS,第5643卷,第682-688页。斯普林格,海德堡(2009)·Zbl 05571936号 ·doi:10.1007/978-3-642-02658-4_55
[70] Moskewicz,M.、Madigan,C.、Zhao,Y.、Zhang,L.、Malik,S.:Chaff:设计一个高效的SAT求解器。In:程序。第38届设计自动化会议(DAC 2001),第530-535页(2001年6月)·doi:10.145/378239.379017
[71] Osborne,M.,Rubinstein,A.:博弈论课程。麻省理工学院出版社(1994)·Zbl 1194.91003号
[72] Papadimitriou,C.H.:计算复杂性。艾迪森·卫斯理,雷丁(1994)·Zbl 0833.68049号
[73] Pauly,M.:《社交软件的逻辑》。阿姆斯特丹大学博士论文(2001年)
[74] Penczek,W.,Lomuscio,A.:通过有界模型检查验证多智能体系统的认知属性。In:程序。第二届自治代理和多代理系统国际会议(AAMAS 2003),第209-216页。ACM(2003)·Zbl 1111.68512号 ·doi:10.1145/860575.860609
[75] Penczek,W.,Lomuscio,A.:通过有界模型检查验证多智能体系统的认知属性。基础信息学55(2),167-185(2003)·Zbl 1111.68512号
[76] Penczek,W.,Polrola,A.:时间Petri网和时间自动机验证的进展:时间逻辑方法。SCI,第20卷。斯普林格(2006)·Zbl 1110.68087号 ·数字对象标识代码:10.1007/978-3-540-32870-4
[77] Peterson,G.,Reif,J.:多人交替。摘自:第20届计算机科学基础年度研讨会论文集,第348-363页。IEEE计算机学会出版社(1979)·doi:10.1109/SFCS.1979.25
[78] Peterson,G.,Reif,J.,Azhar,S.:不完全信息多人非合作博弈的下限。计算机和数学及其应用41(7),957–992·Zbl 0991.91007号 ·doi:10.1016/S0898-1221(00)00333-3
[79] Pnueli,A.,Rosner,R.:关于反应模的合成。收录于:POPL 1989:第16届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,第179-190页。ACM,纽约(1989)·兹伯利0686.68015
[80] Pnueli,A.,Rosner,R.:分布式反应系统很难合成。摘自:第31届计算机科学基础年度研讨会论文集,第746-757页。IEEE计算机学会出版社(1990)·doi:10.1109/FSCS.1990.89597
[81] Raimondi,F.:模型检查多代理系统。伦敦大学学院博士论文(2006年)
[82] Raimondi,F.,Lomuscio,A.:通过OBDD的模型检查自动验证道义解释系统。收录于:de Mántaras,R.L.,Saitta,L.(编辑)《ECAI会议记录》,第53–57页(2004年)
[83] Raimondi,F.,Lomuscio,A.:通过有序二进制决策图验证多智能体系统:算法及其实现。收录于:AAMAS,第630-637页(2004年)
[84] Rao,A.S.,Georgeff,M.P.:在BDI架构中建模理性代理。摘自:《第二届知识表示和推理原则国际会议论文集》,第473-484页(1991年)·Zbl 0765.68194号
[85] Rosner,R.:反应系统的模块化合成。魏茨曼科学研究所博士论文(1992年)
[86] Schnoebelen,P.:时间模型检查的复杂性。收录:模态逻辑进展,AiML 2002年会议记录。《世界科学》(2003)
[87] Schnoor,H.:具有不完全信息的概率博弈的战略规划。摘自:AAMAS 2010年会议记录,第1057–1064页(2010年)
[88] 肖本斯,P.Y.:具有不完美回忆的交替时间逻辑。理论计算机科学电子笔记85(2),82–93(2004)·Zbl 1270.68287号 ·doi:10.1016/S1571-0661(05)82604-0
[89] Sheeran,M.,Singh,S.,Stålmarck,G.:使用归纳法和SAT解算器检查安全特性。收录人:Johnson,S.D.,Hunt Jr.,W.A.(编辑)FMCAD 2000。LNCS,第1954卷,第108–125页。斯普林格,海德堡(2000)·doi:10.1007/3-540-40922-X_8
[90] Shilov,N.V.、Garanina,N.O.、Choe,K.-M.:知识和分支时间模型检查中的更新和抽象。基础信息学72(1-3),347–361(2006)·兹比尔1097.68077
[91] Shilov,N.V.、Garanina,N.O.、Kalinia,N.A.:模型检查知识、行动和固定点。摘自:《2004年CS&P会议录》,第351-357页(2004)
[92] Sistla,A.P.,Clarke,E.M.:命题线性时序逻辑的复杂性。ACM杂志32(3),733–749(1985)·Zbl 0632.68034号 ·数字对象标识代码:10.1145/3828.3837
[93] Stirling,C.:过程的模态和时间特性。斯普林格(2001)·Zbl 0981.68114号 ·数字对象标识代码:10.1007/978-1-4757-3550-5
[94] Tarski,A.:格理论不动点定理及其应用。太平洋数学杂志5,285–309(1955)·Zbl 0064.26004号 ·doi:10.2140/pjm.1955.5.285
[95] van der Hoek,W.、Jamroga,W.和Wooldridge,M.:战略推理的逻辑。摘自:《2005年澳大利亚会计准则汇编》,第157-164页(2005年)·数字对象标识代码:10.1145/1082473.1082497
[96] van der Hoek,W.,Lomuscio,A.,Wooldridge,M.:关于实际ATL模型检查的复杂性。收录人:Stone,P.,Weiss,G.(编辑)《2006年美国农业管理局会议录》,第201–208页(2006年)·数字对象标识代码:10.1145/1160633.1160665
[97] van der Hoek,W.,Verbrugge,R.:认识逻辑:一项调查。博弈论与应用8,53–94(2002)·Zbl 1034.03517号
[98] van der Hoek,W.,Wooldridge,M.:认知目标的可追踪多智能体规划。收录于:Castelfranchi,C.,Johnson,W.L.(编辑)《第一届国际自治代理和多代理系统联合会议记录》(AAMAS 2002),第1167–1174页。ACM出版社,纽约(2002)·doi:10.1145/545056.545095
[99] van der Hoek,W.,Wooldridge,M.:合作、知识和时间:交替时间认知逻辑及其应用。Studia Logica逻辑研究75(1)、125–157(2003)·Zbl 1034.03013号 ·doi:10.1023/A:1026185103185
[100] van der Meyden,R.,Shilov,N.V.:具有完美回忆的系统中的模型检验知识和时间(扩展摘要)。收录:Pandu Rangan,C.,Raman,V.,Sarukkai,S.(编辑)FST TCS 1999。LNCS,第1738卷,第432-445页。施普林格,海德堡(1999)·Zbl 0958.68119号 ·doi:10.1007/3-540-46691-6_35
[101] van Otterloo,S.,Jonker,G.:论认识论的时间战略逻辑。理论计算机科学电子笔记XX,35-45(2004);2004年LCMAS会议记录·Zbl 1272.68384号
[102] Vardi,M.Y.,Wolper,P.:自动程序验证的自动机理论方法(初步报告)。摘自:IEEE第一届计算机科学逻辑年会论文集(LICS 1986),第332-344页。IEEE计算机学会出版社(1986)
[103] Walther,D.,van der Hoek,W.,Wooldridge,M.:具有明确策略的交替时间-时间逻辑。摘自:Samet,D.(编辑)《TARK XI会议录》,第269-278页。鲁汶大学出版社(2007年)·doi:10.1145/1324249.1324285
[104] Weiss,G.(编辑):多智能体系统。分布式人工智能的现代方法。麻省理工学院出版社,剑桥(1999)
[105] Wooldridge,M.:多智能体系统简介。John Wiley&Sons(2002)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。