×

具有完全召回的多智能体系统模型检测时间复杂度的指数改进。 (英语。俄文原件) Zbl 1257.68151号

程序。计算。柔和。 38,第6期,294-303(2012)译自Programmirovanie 38,No.6(2012)。
摘要:对具有完全召回的多智能体系统中计算树逻辑(CTL)和知识命题逻辑(PLK)相结合的模型检查算法进行了改进。该方法基于的数据结构比该检查算法的前一版本中使用的结构小得多。因此,该算法的时间复杂度以指数形式降低。

MSC公司:

68瓦40 算法分析
60年第68季度 规范和验证(程序逻辑、模型检查等)
03B70号 计算机科学中的逻辑
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abdulla,P.A.,Ĉeráns,K.,Jonsson,B.和Tsay Yih-Kuen,《具有良好准序域的程序的算法分析》,Inf.Compute。,2000年,第160卷,第1/2号,第109-127页·Zbl 1046.68567号 ·doi:10.1006/inco.1999.2843
[2] Bordini,R.H.,Fisher,M.,Visser,W.和Wooldridge,M..,通过模型检查验证多代理程序,自治代理多代理系统。,2006年,第12卷,第2期,第239-256页·Zbl 05387315号 ·doi:10.1007/s10458-006-5955-7
[3] Burch,J.R.,Clarke,E.M.,McMillan,K.L.,Dill,D.L.和Hwang,L.J.,《符号模型检查:1020状态及其后》,Inf.Compute。,1992年,第98卷,第2期,第142-170页·兹伯利0753.68066 ·doi:10.1016/0890-5401(92)90017-A
[4] Clarke,E.M.、Grumberg,O.和Peled D.,《模型检验》,马萨诸塞州剑桥:麻省理工学院出版社,1999年。
[5] Cohen,M.和Lomuscio,A.,模型检查同步完美回忆的非初等加速,Proc。2010年ECAI大会,阿姆斯特丹:IOS出版社,2010年,第1077–1078页。
[6] Emerson,E.A.,《时间和模态逻辑》,摘自《理论计算机科学手册》,van Leeuwen,J.,Ed.,阿姆斯特丹:Elsevier;马萨诸塞州剑桥:麻省理工学院出版社,1990年,第995-1072页·Zbl 0900.03030号
[7] Fagin,R.、Halpern,J.Y.、Moses,Y.和Vardi,M.Y.,《知识推理》,马萨诸塞州剑桥:麻省理工学院出版社,1995年·Zbl 0839.68095号
[8] Finkel,A.和Schnoebelen,Ph.结构良好的过渡系统无处不在!西奥。计算。科学。,2001年,第256卷,第1-2期,第63-92页·Zbl 0973.68170号 ·doi:10.1016/S0304-3975(00)00102-X
[9] Garania,N.O.,Kalinia,N.A.和Shilov N.V.,《模型检查知识、行动和固定点》,Proc。并发、规范和编程研讨会CS&P’2004,德国,2004,柏林:洪堡大学,Informatik-Bericht,2004,第2卷,第170号,第351-357页。
[10] Halpern,J.Y.、van der Meyden,R.和Vardi,M.Y.,《知识与时间推理的完全公理化》,SIAM J.Compute。,2004年,第33卷,第3期,第674-703页·Zbl 1059.68127号 ·网址:10.1137/S0097539797920906
[11] Huang,X.和van der Meyden,R.,《认知模型检查的复杂性:时钟语义和分支时间》,Proc。第19届ECAI,里斯本;《人工智能和应用前沿》,阿姆斯特丹:IOS,2010年,第215卷,第549–554页·Zbl 1211.68248号
[12] Kozen,D.,命题Mu-Calculus的结果,Theor。计算。《科学》,1983年,第27卷,第3期,第333–354页·Zbl 0553.03007号 ·doi:10.1016/0304-3975(82)90125-6
[13] Kozen,D.和Tiuryn,J.,《程序逻辑》,收录于《理论计算机科学手册》,van Leeuwen,J.编辑,阿姆斯特丹:Elsevier,1990年,第789-840页·Zbl 0900.68306号
[14] Kwiatkowska,M.Z.、Lomuscio,A.和Qu,H.,《时间认识逻辑的并行模型检查》,Proc。第19届ECAI,里斯本;《人工智能和应用前沿》,阿姆斯特丹:IOS出版社,2010年,第215卷,第543–548页·Zbl 1211.68406号
[15] Lomuscio,A.、Penczek,W.和Qu,H.,《交错多智能体系统上模型检验时间认知逻辑的部分降阶》,Proc。第九届AAMAS,多伦多,2010年,IFAAMAS(2010年),第1卷,第659-666页·Zbl 1213.68382号
[16] Van der Meyden R.和Shilov,N.V.,《完美召回系统中的模型检验知识和时间》,Lect。注释计算。科学。,1999年,第1738卷,第432–445页·Zbl 0958.68119号 ·doi:10.1007/3-540-46691-6_35
[17] Rescher,N.,认识论逻辑。《知识逻辑概览》,匹兹堡:匹兹堡大学出版社,2005年。
[18] Shilov,N.V.和Yi,K.,《如何找到硬币:命题程序逻辑变得容易》,收录于《理论计算机科学的当前趋势》,《世界科学》,2004年,第2卷,第181-213页·Zbl 1063.68043号 ·doi:10.1142/9789812562494_0047
[19] Shilov,N.V.、Garanina,N.O.和Choe,K.-M.,《知识和分支时间模型检查中的更新和抽象》,Fundameta Informaticae,2006年,第72卷,第1-3期,第347-361页·兹比尔1097.68077
[20] Shilov,N.V.和Garanina,N.O.,《多智能体系统的良好结构模型检查》,Proc。第六届系统信息学观点国际会议,新西伯利亚,2006,Lect。计算中的注释。科学。,2006年,第4378卷·Zbl 1185.68425号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。