×
M.K.瓦利耶夫。;M.I.Dekhtyar。;迪科夫斯基（A.Ya）。

由逻辑程序控制的代理系统：验证的复杂性。 （英语。俄文原件） Zbl 1187.68626号

程序。计算。柔和。 35，第5期，266-281（2009）; 译自Programmirovanie 35，No.5（2009）。
摘要：考虑了交互智能代理系统行为（动态特性）验证问题的复杂性。本文是我们出版物的延续，在该出版物中，该问题主要被认为适用于确定性和非确定性系统，并且主要关注异步系统。

引用于1文件

MSC公司：

68T42型 Agent技术与人工智能
60年第68季度 规范和验证（程序逻辑、模型检查等）

软件：

代理发言;METATEM公司
PDF格式BibTeX公司 XML格式引用
\textit{M.K.Valiev}等人，《程序》。计算。柔和。35，第5号，266--281（2009；Zbl 1187.68626）；译自Programmirovanie 35，No.5（2009）
全文： 内政部

参考文献：

[1] Valiev，M.K.、Dekhtyar，M.I.和Dikovsky，A.Ya。，关于相互作用剂系统行为的复杂性，Trudy konferentsii，posvyashchennoi 90-letiyu so dnya rozhdeniya A.A.Lyapunova（A.A.Lyapunov 90岁生日会议记录），新西伯利亚：瑙卡，2001年，第18-28页。
[2] Dekhtyar，M.、Dikovsky，A.和Valiev，M.，《检查多代理系统行为的可行案例》，Theor。计算。科学。，2003年，第303卷，第1期，第63–81页·Zbl 1044.68144号 ·doi:10.1016/S0304-3975（02）00445-0
[3] Dekhtyar，M.K.、Dikovsky，A.Ja和Valiev，M.K.On Complexity of Verification of Interacting Agents’Behavior，Ann.Pure Appl。《逻辑》，2006年，第141卷，第3期，第336–362页·Zbl 1096.68143号 ·doi:10.1016/j.apal.2005.12.003
[4] Barringer，H.、Fisher，M.、Gabbay，D.、Gough，G.和Owens，R.，METATEM:简介，《计算的形式方面》，1995年，第7卷，第533-549页·Zbl 0838.68014号 ·doi:10.1007/BF01211631
[5] Georgeff，M.和Lansky，A.，《反应式推理和规划》，Proc。美国人工智能协会理事会，西雅图，1987年，第677-682页。
[6] van der Hoek，W.和Wooldridge，M.，《多代理系统》，摘自《知识表示手册》，van Harmelen，F.、Lifschitz，V.和Porter，B.编辑，阿姆斯特丹：爱思唯尔出版社，2008年，第887-928页。
[7] Reiter，R.，《行动中的知识：指定和实现动态系统的逻辑基础》，剑桥：麻省理工学院，2001年·Zbl 1018.03022号
[8] Shoham，Y.，面向代理编程，Artif。整数。，1993年，第60期，第51-92页。
[9] Subrahmanian，V.S.，Bonatti，P.，Dix，J.等人，《异构代理系统》，剑桥：麻省理工学院，2000年。
[10] Tarasov，V.B.，Ot mnogoagentnykh system k intellektual'nym organizatsiyam（从多智能体系统到智能组织），莫斯科：URSS编辑，2002年。
[11] Araragi，T.、Attie，P.、Keidar，I.、Kogure，K.、Luchangco，V.、Lynch，N.和Mano，K.，《Agent计算的形式化建模》，NASA基于Agent系统的形式化方法研讨会，2000年·Zbl 0988.68721号
[12] Benerecetti，M.、Guinchiglia，F.和Serafini，L.，《模型检查多智能体系统》，技术报告编号9708-07，文化研究所，1998年·兹伯利0904.68159
[13] Bordini，R.H.、Fisher，M.、Pardavila，C.和Wood-rige，M.，《模型检查代理讲话》，Proc。第二届自治代理和多代理系统国际会议（AAMAS-03），墨尔本，2003年。
[14] Wooldridge，M.和Dunne，P.E.，《代理验证的计算复杂性》，收录于《智能代理VIII》，Meyer，J.J.和Tambe，M，Eds.，《人工智能课堂讲稿》，第2333卷，柏林：斯普林格出版社，2002年·Zbl 1050.68632号
[15] Wooldridge，M.、Huget，M.P.、Fisher，M和Parsons，S.，《模型检查多代理系统：MABLE语言及其应用》，国际期刊Artif。智力。《工具》，2006年，第5卷，第2期，第195–225页。（初版：Wooldridge，M.、Huget，M.P.、Fisher，M.和Parsons，S.，《利用MABLE对多智能体系统进行模型检查》，《关于自治智能体和多智能体体系的第一次国际会议程序》（AAMAS-02），博洛尼亚，2002年·Zbl 05421645号 ·doi:10.1142/S0218213006002631
[16] Fagin，R.、Halpern，J.Y.、Moses，Y.和Vardy，M.Y.，《知识推理》，剑桥：麻省理工学院，1995年。
[17] Eiter，T.和Subrahmanian，V.S.，《异质活性剂》。三： 多项式可实现代理，技术代表INFSYS RR-1843-99-07，Inst.für Informationssysteme，Technische Universityät Wien，A-10-40，维也纳，1999年·Zbl 0943.68156号
[18] Clarke，E.M.和Emerson，E.A.，《使用分支时间-时间逻辑设计和合成同步骨架》，Proc。《程序逻辑研讨会》，《计算机科学讲义》，1981年，第181期，第52-71页。
[19] Vardi，M.和Wolper，P.，自动程序验证的自动机理论方法，Proc。IEEE计算机科学逻辑研讨会，1986年，第332-344页。
[20] Queille，J.P.和Sifakis，J.，CESAR中并发程序的规范和验证，Proc。第五届国际编程研讨会，计算机科学讲稿，1982年，第137期，第195-220页·Zbl 0482.68028号
[21] Sistla，A.P.和Clarke，E.M.，命题线性时间逻辑的复杂性，J.Assoc.Compute。机器。，1985年，第32卷，第3期，第733–749页·Zbl 0632.68034号 ·数字对象标识代码：10.1145/3828.3837
[22] Emerson，E.A.，《时间和模态逻辑》，收录于《理论计算机科学手册》，Leeuwen，J.，Ed.，阿姆斯特丹：Elsevier，1990年·Zbl 0900.03030号
[23] Emerson，E.A.，《模型检验和Mu-Calculus》，《描述复杂性和有限模型》，Proc。DIMACS研讨会，Immerman，N.和Kolaitis，P.H.编辑，阿姆斯特丹：Elseiver，1996年，第185-214页·Zbl 0877.03020号
[24] Clarke，E.M.、Grumberg，O.和Peled，D.，《模型检验》，剑桥：麻省理工学院，2000年。译名为Verifikatsiya modelei programm:Model Checking，莫斯科：MTSNMO，2002。
[25] Apt，K.R.，《逻辑编程》，收录于《理论计算机科学手册》，B卷：形式模型和语义，第10章，Leeuwen，J.，Ed.，阿姆斯特丹：Elsevier，1990年，第493-574页。
[26] Kozen，D.，命题微积分的结果，Theor。计算。科学。，1983年，第27卷，第333–354页·Zbl 0553.03007号 ·doi:10.1016/0304-3975（82）90125-6
[27] Manna，Z.和Pnueli，A.，《反应和并发系统的时间逻辑：规范》，柏林：施普林格出版社，1991年·Zbl 0753.68003号
[28] Yi，K.、Shilov，N.V.和Bodin E.V.，《程序逻辑变得简单》，收录于Sistemnaya informatika（系统信息学），新西伯利亚，2002年，第8期，第206-249页。
[29] Garey，M.和Johnson，D.S.，《计算机与不可修复性——NP-完备性理论指南》，纽约：弗里曼出版社，1979年·Zbl 0411.68039号
[30] Papadimitriou，C.H.，《计算复杂性》，阅读：Addison-Wesley，1994年·Zbl 0833.68049号
[31] M.I.Dekhtyar、A.Ja.Dikovsky、。，和Valiev，M.K.，《概率多代理系统的时间验证》，载于《计算机科学支柱：献给Boris（Boaz）Trakhtenbrot 85岁生日之际的论文》，Avron，A.，Dershowitz，N.和Rabinovich，A.编辑，《计算机科学讲义》，柏林：施普林格，2008年，第4800卷。
[32] M.Yu，Burmistov。，M.K.Valiev、M.I.Dekhtyar和A.Ya.Dikovsky。，关于交互智能体系统动力学特性的验证，Trudy X natsional’noi konferentsii po iskusstvennomu intellektu s mezdunarodynym uchastiem（国际参与的X国家人工智能会议议事录），Obninsk:Fizmatlit，2006年，第908–915页。
[33] Rao，A.S.，AgentSpeak（L）：BDI Agent用逻辑计算语言说话，载于《AI课堂讲稿》，柏林：施普林格出版社，1996年，第1038卷。
[34] Garanina，N.O.和Shilov，N.V.，《模型中知识、行为和时间组合逻辑的验证》，收录于Sistemnaya informatika（系统信息学），新西伯利亚：Sib。其他。RAN，2006年，第10期，第114-173页。
[35] Shilov，N.V.、Garanina，N.O.和Choe，K.-M.，《知识和分支时间模型检查中的更新和抽象》，基金。通知。，2006年，第72卷，第1-3期，第347-361页·Zbl 1097.68077号
[36] Emerson，E.A.和Lei，C.L.，《{\（\mu\）}-微积分片段中的有效模型检查》，Proc。1986年IEEE计算机科学逻辑研讨会。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。