娜塔莎·亚历奇纳;尼克·巴西利亚德斯;迈赫迪·达斯塔尼;玛丽娜·德沃斯;布赖恩·洛根;塞尔吉奥·梅拉;安德烈亚萨·莫里斯·马汀;费尔南多·沙帕奇尼克 标准多智能体系统的计算模型。 （英语） Zbl 1482.68234号 Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 471-92（2013）。 小结：本章详细介绍了用于设计、验证和实现规范化多智能体系统的计算逻辑方法。在简要概述了现有的形式主义、体系结构和实现语言之后，概述了当前的研究挑战。关于整个系列，请参见[Zbl 1375.68012号]. MSC公司： 68T42型 Agent技术与人工智能 68T27型 人工智能中的逻辑 关键词：规范验证;标准MAS的计算体系结构;编程规范系统 软件：社会可视化者;岛国;莫伊斯+;迪维尼;2APL公司;自旋蛋白;杰森;NuSMV公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人，Dagstuhl Follow-Ups 4，71--92（2013；Zbl 1482.68234） 全文： 内政部 参考文献： [1] T·奥戈特斯、W·范德霍克和M·伍尔德里奇。稳健的规范体系。Padgham、Parkes、Muller和Parsons编辑，《第七届国际自治代理和多代理系统会议记录》（AAMAS 2008），第747-754页，葡萄牙埃斯托里尔，2008年5月。IFAMAAS/ACM DL。 [2] 娜塔莎·阿莱奇纳（Natasha Alechina）、梅迪·达斯坦尼（Mehdi Dastani）和布赖恩·洛根（Brian Logan）。为普通软件代理编程。文森特·科尼策（Vincent Conitzer）、迈克尔·维尼科夫（Michael Winikoff）、林·帕德汉姆（Lin Padgham）和威比·范德霍克（Wiebe van der Hoek），编辑，Proc。2012年6月在西班牙巴伦西亚举行的第11届国际自治代理和多代理系统会议（AAMAS 2012）第2卷第1057-1064页。IFAAMAS。 [3] Grigoris Antoniou、Nikos Dimaresis和Guido Governatori。用于建模政策和多代理系统的模式和道义可解释推理系统。应用专家系统，36（2，第2部分）：4125-41342009。 [4] 格里戈里斯·安东尼奥、托马斯·斯基洛甘尼斯、安东尼斯·比卡基斯、马丁·多尔和尼克·巴西利·阿德斯。Dr-brokering：语义代理系统。基于知识的系统，20:61-722007。 [5] F.Arbab、L.Astefanoaei、F.de Boer、M.Dastani、J.J.C.H.Meyer和N.Tinnermeier。在2APL系统中作为协调工件的Reo连接器。《第11届环太平洋多代理国际会议论文集》（PRIMA 2008），LNCS 5357卷，第42-53页。施普林格，2009年。 [6] Josep Lluís Arcos、Marc Esteva、Pablo Noriega、Juan A.Rodríguez-Aguilar和Carles Sierra。利用电子机构设计开放环境。工程应用。人工智能，18（2）：191-2042005。 [7] 亚历山大·阿提基斯。用于开放代理系统的动态协议。《第八届自治代理和多代理系统国际会议（AAMAS）论文集》，第97-104页，2009年。 [8] 亚历山大·阿提基斯（Alexander Artikis）、马雷克·塞尔戈特（Marek Sergot）和杰里米·皮特（Jeremy Pitt）。指定规范控制的计算社会。ACM事务处理。计算。逻辑，10:1:1-1:42，2009年1月·Zbl 1367.68320号 [9] L.Astefanoaei、M.Dastani、J.-J.Ch.Meyer和F.Boer。关于规范化多智能体系统的语义和验证。国际通用计算机科学杂志，15（13）：2629-26522009。 [10] M.Baldoni、G.Boella、M.Dorni、R.Grenna和A.Mugnaini。powerJADE：JADE框架中作为原语的组织和角色。在WOA 2008年的in中：Dagli oggetti agli agenti，Evoluzione dell’agent开发：metodologie，tool，piattaforme e languaggi，第84-92页，2008年。 [11] M.Baldoni、G.Boella和L.Van Der Torre。作为协调结构的角色：介绍powerJava。在第一届协调并发、分布式和移动系统的方法和工具国际研讨会的会议记录中，第150（1）卷，第9-29页。《理论计算机科学电子笔记》，2005年。 [12] 马塞尔·鲍尔（Marcel Ball）、哈罗德·博利（Harold Boley）、大卫·赫特尔（David Hirtle）、景梅（Jing Mei）和布鲁斯·斯宾塞（Bruce Spencer）。oo-jdrew引用ruleml的实现。在Asaf Adi、Suzette Stoutenburg和Said Tabet的《语义网络的规则和规则标记语言》编辑处，《计算机科学讲义》第3791卷，第218-223页。施普林格-柏林-海德堡，2005年。 [13] 奇塔·巴拉尔。知识表示、推理和陈述式问题解决。Cam-bridge出版社，2003年·Zbl 1056.68139号 [14] J.Barnat、L.Brim、I.Courna、P.Moravec、P.Ročkai和P.Šimeček。DiVinE-分布式验证工具（工具文件）。《计算机辅助验证》，LNCS第4144/2006卷，第278-281页。施普林格-柏林/海德堡，2006年。 [15] Nick Bassiliades、Grigoris Antoniou和Ioannis P.Vlahavas。语义网的可解逻辑推理器。国际语义网络信息系统杂志。，第1-41页，2006年。 [16] S.Berezin、S.Campos和E.Clarke。模型检验中的合成推理。《共同积极性：显著差异》，第81-102页，1998年。 [17] G.Boella和L.van der Torre。规范性多智能体系统中的实体和程序规范。应用逻辑杂志，6:152-1712008·Zbl 1149.68416号 [18] 拉斐尔·博迪尼（Rafael H.Bordini）、迈克尔·伍尔德里奇（Michael Wooldridge）和乔米·弗雷德·赫布纳（Jomi Fred Hübner）。使用Jason在AgentSpeak中编程多代理系统。代理技术中的Wiley系列。John Wiley&Sons，2007年·Zbl 1132.68021号 [19] Eva Bou、Maite López-Sánchez和Juan A.Rodríguez-Aguilar。通过规范和机构代理调整自主电子机构。程序中。第七届代理世界工程学会国际会议（ESAW），第300-319页，2006年。 [20] Joost Breuker、Emil Petkov和Radboud Winkels。起草和验证法规：智能工具的必然使用。《AIMSA'00:第九届国际人工智能会议论文集》，第21-33页，英国伦敦，2000年。斯普林格·弗拉格·Zbl 0973.68597号 [21] C.Castelfranchi、F.Dignum、Cathodilijn M.Jonker和Jan Treur。审议性规范代理：原则和架构。在N.R.Jennings和Y.Lesperance的《智能代理VI》编辑中，《第六届代理理论、架构和语言及99年安乐国际研讨会论文集》，LNAI，第364-378页。Springer Verlag，2000年·Zbl 0970.68629号 [22] A.Cimatti、E.Clarke、F.Giunchiglia和M.Roveri。NuSMV：一种新的符号模型检查器。国际技术转让软件工具杂志（STTT），2（4）：410-4252000·兹比尔1059.68582 [23] 欧文·克利夫（Owen Cliffe）、玛丽娜·德沃斯（Marina De Vos）和朱利安·帕吉特（Julian Padget）。回答关于虚拟机构的表示和推理的集合编程。在Katsumi Inoue、Satoh Ken和Francesca Toni编辑的《多代理计算逻辑》（CLIMA VII）中，LNAI第4371卷，第60-79页，日本Hakodate，2006年5月。斯普林格·兹比尔1177.68221 [24] 欧文·克利夫（Owen Cliffe）、玛丽娜·德沃斯（Marina De Vos）和朱利安·帕吉特（Julian Padget）。对多个机构进行详细说明和推理。Pablo Noriega、Javier Vázquez-Salceda、Guido Boella、Olivier Boissier、Vir-ginia Dignum、Nicoletta Fornara和Eric Matson，代理系统II的协调、组织、机构和规范编辑-AAMAS 2006和ECAI 2006国际工作会议，COIN 2006日本Hakodate，2006年5月9日，意大利Riva del Garda，2006年8月28日，LNCS第4386卷，第67-85页。施普林格-柏林/海德堡，2007年。 [25] 多梅尼科·科尔皮（Domenico Corapi）、玛丽娜·德沃斯（Marina De Vos）、朱利安·帕吉特（Julian Padget）、亚历山德拉·拉索（Alessandra Russo）和肯·萨托（Ken Satoh）。使用归纳学习的规范主动设计。逻辑程序设计理论与实践，11:783-7992011·Zbl 1222.68054号 [26] M.达斯坦尼。2APL：一种实用的代理编程语言。国际自治代理和多代理系统杂志，16（3）：214-2482008。 [27] M.Dastani、F.Arbab和F.S.de Boer。多智能体系统中的协调和组合。《第四届自主代理和多代理系统国际联合会议记录》（AAMAS’05），第439-446页。2005 [28] M.Dastani和J.Gomez-Sanz。编程多智能体系统。《知识工程评论》，20（2）：151-1642006。 [29] M.Dastani和J.J.Gomez-Sanz。Agentlink iii技术论坛组，编程多代理系统。http://people.cs.uu.nl/mehdi/al3promas.html。 [30] M.Dastani、D.Grossi、J.-J.Ch.Meyer和N.Tinnemeier。规范化多代理pro-grams及其逻辑。程序中。代理和多代理系统知识表示研讨会，LNCS 5605，第16-31页，2009年·Zbl 1258.68155号 [31] 梅迪·达斯坦尼（Mehdi Dastani）、约翰·朱尔斯·梅耶（John-Jules Meyer）和尼克·丁内迈尔（Nick Tinnemeier）。编程规范更改。应用非经典逻辑杂志，在线出版，2012年·Zbl 1400.68055号 [32] 莱昂纳多·德·莫拉和尼古拉·比约纳。满意度模理论：介绍与应用。Commun公司。ACM，54:69-772011年9月。 [33] V.迪格纳姆。组织互动模型。乌得勒支大学博士论文，SIKS，2004年。 [34] M.Esteva、J.A.Rodríguez-Aguilar、B.Rosell和J.L.Arcos。AMELI：电子机构的基于代理的中间件。《第三届自主智能体和多智能体系统国际联席会议论文集》（AAMAS 2004），第236-243页，美国纽约，2004年7月。 [35] 马克·埃斯特瓦（Marc Esteva）、大卫·德·拉克鲁斯（David de la Cruz）和卡尔斯·塞拉（Carles Sierra）。ISLANDER：电子机构编辑。《第一届自治代理和多代理系统国际联合会议记录》（AAMAS 2002），第1045-1052页，意大利博洛尼亚，2002年。 [36] 斯蒂芬·费内克（Stephen Fenech）、戈登·佩斯（Gordon J.Pace）和杰拉尔多·施奈德（Gerardo Schneider）。合同的自动冲突检测。《ICTAC’09：第六届计算机理论方面国际学术讨论会论文集》，第200-214页，柏林，海德堡，2009年。斯普林格·弗拉格·Zbl 1250.03049号 [37] N.Fornara和M.Colombetti。在事件演算中指定人工机构。《多代理系统研究手册：组织模型的语义和动力学》，信息科学参考，第十四章，第335-366页，编辑V.Dignum。IGI Global，2009年。 [38] 尼科莱塔·福娜拉（Nicoletta Fornara）。使用语义web技术指定和监控开放多代理系统中的义务。A.Elçi、M.Tadiou Kone和M.A.Orgun主编，《语义代理系统：基础与应用》，《计算智能研究》第344卷，第2章，第25-46页。Springer-Verlag，2011年·Zbl 1213.68602号 [39] 尼科莱塔·福纳拉（Nicoletta Fornara）和马可·科伦贝蒂（Marco Colombetti）。使用owl表示和监测承诺和规范。AI通讯。，23(4):341-356, 2010. ·Zbl 1216.68283号 [40] A.Garcia-Camino、P.Noriega和J.A.Rodriguez-Aguilar。在电子机构中实施规范。程序中。第四届国际自治代理和多代理系统联合会议（AAMAS 2005），第667-673页，美国纽约州纽约市，2005年。 [41] R.戈德布拉特。数学模态逻辑：对其演变的看法。应用逻辑杂志，1（5-6）：309-3922003·Zbl 1041.03015号 [42] 丹尼尔·戈林、塞尔吉奥·梅拉和费尔南多·沙帕奇尼克。模型检查法律文件。2010年法律知识和信息系统会议记录：JURIX 2010，第111-115页，2010年12月。 [43] 丹尼尔·戈林、塞尔吉奥·梅拉和费尔南多·沙帕奇尼克。法律起草软件工具。在FLACOS 2011：面向合同软件的形式语言和分析第五次研讨会，第1-15页。Elsevier，2011年。 [44] G.Governatori和D.H.Pham。Dr-contract：可定义逻辑中的电子合同体系结构。《国际业务流程集成与管理杂志》，4（3）：187-1992009。 [45] Guido Governatori、Joris Hulstijn、Régis Riveret和Antonino Rotolo。表征时间模态可解逻辑中的截止日期。《第20届澳大利亚人工智能进展联合会议论文集》，AI'07，第486-496页，柏林，海德堡，2007年。斯普林格·弗拉格。 [46] Guido Governatori和Antonino Rotolo。生物逻辑动因：可解释逻辑中的规范、信念和意图。自治代理和多代理系统，17:36-692008。10.1007/s10458-008-9030-4·Zbl 1143.03306号 ·doi:10.1007/s10458-008-9030-4 [47] D.格罗西。设计隐形手铐。乌得勒支大学博士论文，SIKS，2007年。 [48] N.Den Haan。Tracs：起草和测试法律的支持工具。《Jurix 92：信息技术与法律》，第63-70页，1992年。 [49] S.Hagiwara和S.Tojo。区域条例中的不一致检测：基于本体的验证。程序中。2006年法律知识和信息系统会议：JURIX 2006：第十九届年度会议，第111-120页。IOS出版社，2006年。 [50] Jörg Hansen、Gabriella Pigozzi和Leendert W.N.van der Torre。道义逻辑中的十个哲学问题。在Guido Boella、Leendert W.N.van der Torre和Harko Verhagen，《规范多代理系统》编辑，Dagstuhl研讨会论文集第07122卷。In-ternationales Begegnungs-und Forschungszentrum für Informatik（IBFI），德国达格斯图尔宫，2007年。 [51] K.Havelund、M.Lowry和J.Penix。使用SPIN对航天飞机控制器进行形式化分析。IEEE软件工程学报，第749-7652001页。 [52] W.N.霍菲尔德。司法推理中应用的一些基本法律概念。耶鲁Lj，23:161913。 [53] 杰拉德·J·霍尔兹曼。现场模型检查。ACM计算。调查。，28（4es）：120，1996年。 [54] 杰拉德·J·霍尔兹曼。旋转模型检查器：底漆和参考手册。Addison-Wesley，2003年。 [55] J.F.Hübner、O.Boissier、R.Kitio和A.Ricci。用组织工件和代理人为多主体组织提供工具：将组织权力交还给代理人。国际自治代理和多代理系统杂志，20:369-4002010。 [56] J.F.Hübner、J.S.Sichman和O.Boissier。S−MOISE+：用于开发有组织的多代理系统的中间件。《多智能体系统中的协调、组织、制度和规范国际研讨会论文集》，LNCS第3913卷，第64-78页。斯普林格，2006年。 [57] Jomi Fred Hübner、Olivier Boissier和Rafael H.Bordini。从组织规范到多代理组织中的规范编程。2010年8月16日至17日，葡萄牙里斯本CLIMA XI第十一届国际研讨会，多智能体系统中的计算逻辑编辑Jürgen Dix、Joáo Leite、Guido Governatori和Wojtek Jamroga。《计算机科学讲义》第6245卷，第117-134页。施普林格，2010年。 [58] 乔米·弗雷德·胡布纳（Jomi Fred Hübner）、詹姆·西芒·西奇曼（Jaime Simáo Sichman）和奥利维尔·博西耶（Olivier Boissier）。使用MOISE+模型开发有组织的多代理系统：系统和代理级别的编程问题。国际面向代理软件工程杂志，1（3/4）：370-3952007。 [59] 约翰·R·塞尔。社会现实的建构。艾伦·莱恩，企鹅出版社，1995年。 [60] A.J.I.Jones和M.Sergot。关于法律和计算机系统的特征。J.-J.Ch.Meyer和R.J.Wieringa主编，《计算机科学中的道义逻辑：规范系统规范》，第275-307页。约翰·威利父子公司，1993年。 [61] Andrew J.I.Jones和Marek Sergot。制度化权力的正式特征。ACM计算调查，28（4）：1211996·Zbl 0855.03014号 [62] S.Kanger和H.Kanger。权利和议会制度。理论，32（2）：85-1151966。 [63] Efstratios Kontopoulos、Nick Bassiliades、Guido Governatori和Grigoris Antoniou。语义网道义逻辑的模态可解推理器。国际语义网络信息系统杂志。，7(1):18-43, 2011. [64] 亚历山大·科兹伦科夫（Alexander Kozlenkov）、拉斐尔·佩纳洛萨（Rafael Penaloza）、维维克·尼甘姆（Vivek Nigam）、洛伊克·罗耶（Loic Royer）、吉汉·达维尔拜特（Gihan Dawelbait）和迈克尔·施罗德。Prova：分布式web应用程序的基于规则的java脚本：生物信息学案例研究。2006年EDBT研讨会，第899-908页。 [65] 林和鹏和圭多总督。纺锤的制造。《2009年规则交换和应用国际研讨会论文集》，2009年海德堡，柏林，第315-322页。斯普林格·弗拉格。 [66] M.J.Maher和G.Governatori。可废止逻辑的语义分解。在第十六届全国人工智能大会和第十一届人工智能创新应用大会的报告中，人工智能的创新应用，AAAI'99/IAAI'99，第299-305页，美国加利福尼亚州门罗公园，1999年。美国人工智能协会。 [67] D.梅金森。关于权利关系的形式表示。哲学逻辑杂志，15（4）：403-4251986·Zbl 0605.03003号 [68] 费利佩·雷奇·梅内古齐和迈克尔·勒克。BDI代理中基于规范的行为修改。在Carles Sierra、Cristiano Castelfranchi、Keith S.Decker和Jaime Simáo Sich-man，编辑，第八届国际自治代理和多代理系统联合会议（AAMAS 2009），第177-184页。IFAAMAS，2009年。 [69] 唐纳德·纳特，编辑。《可击败的道义逻辑：非单调规范推理论文》，综合图书馆第263卷。Kluwer学术出版社，荷兰多德雷赫特，1997年·Zbl 0885.00033号 [70] Daniel Okouya和Virginia Dignum。Operetta：用于设计、分析和开发多代理组织的原型工具。在AAMAS（演示）中，第1677-1678页。IFAAMAS，2008年。 [71] N.Oren、M.Luck和S.Miles。规范权力的模式。《第九届自主代理和多代理系统国际会议论文集》，第815-822页，2010年。 [72] 巴勃罗·诺列加。代理中介拍卖：鱼市隐喻。1997年巴塞罗那自治大学博士论文。 [73] 戈登·佩斯和费尔南多·沙帕奇尼克。两党制中的权利类型：形式分析。JURIX编辑Burkhard Schäfer著，《人工智能与应用前沿》第250卷，第105-114页。IOS出版社，2012年。 [74] 阿德里安·帕斯克和哈罗德·博利。规则响应者：语义实用web的基于规则的代理。国际人工智能工具杂志，20（06）：1043-10812011。 [75] H.Prakken和M.Sergot。背离义务。Studia Logica，57:91-1151996年·Zbl 0873.03025号 [76] 克里斯蒂安·普里萨卡里奥（Cristian Prisacariu）和杰拉尔多·施奈德（Gerardo Schneider）。CL：基于行动的逻辑，用于合同推理。2009年，《WoLLIC：第16届逻辑、语言、信息和计算国际研讨会论文集》，第335-349页，柏林，海德堡，2009年。斯普林格·弗拉格·Zbl 1246.68214号 [77] 亚历山德罗·里奇、米尔科·维罗利和安德烈亚·奥米西尼。为代理提供工件：MAS中工程工作环境的A&A方法。Edmund H.Durfee、Makoto Yokoo、Michael N.Huhns和Onn Shehory，编辑，第六届自主代理和多代理系统国际联合会议（AAMAS 2007）。IFAAMAS，2007年。 [78] G.萨托。基本法律概念：形式和目的特征*。《人工智能与法律》，14（1）：101-1422006。 [79] M.塞尔戈特。规范位置的计算理论。美国计算机学会编译逻辑学报（TOCL），2（4）：581-6222001·Zbl 1365.03020号 [80] V.托雷斯·席尔瓦。从规范到规范的实施：一种自动的ap-proach，从规范中生成规则来管理代理的行为。贾玛斯，17（1）：113-1552008。 [81] 埃利斯·索拉曼（Ellis Solaiman）、卡洛斯·莫利纳·吉梅内兹（Carlos Molina-jimenez）和桑托什·施瓦斯塔瓦（Santosh Shrivastava）。模型检查电子合同的正确性属性。《面向服务计算国际会议论文集》（ICSOC03），第303-318页。Springer-Verlag，2003年。 [82] N.Tinnemeier、M.Dastani和J.-J.Ch.Meyer。编程代理组织的角色和规范。在Decker、Sichman、Sierra和Castelfranchi，编辑，《自治代理和多代理系统八个国际会议论文集》（AAMAS 2009），第121-128页。IFAMAAS/ACM DL，2009年。 [83] N.Tinnemeier、M.Dastani和J.-J.Ch.Meyer。编程规范更改。范德霍克（van der Hoek）、卡明卡（Kaminka）、莱斯佩伦斯（Lespérance）、勒克（Luck）和森（Sen）编辑，《第九届国际自治代理和多代理系统会议记录》（AAMAS 2010），第957-964页。IFAMAAS/ACM DL，2010年。 [84] N.Tinnemeier、M.Dastani、J.-J.Ch.Meyer和L.van der Torre。使用声明性义务和禁止对规范性工件进行编程。《IEEE/WIC/ACM网络智能和智能代理技术国际联合会议论文集》，第145-152页。IEEE计算机学会，2009年。 [85] M.Birna van Riemsdijk、Koen V.Hindriks和Cathodijn M.Jonker。编程组织软件代理：研究议程。《第十届代理商世界工程学会国际研讨会论文集》（ESAW'09），LNAI第5881卷，第98-112页。施普林格，2009年。 [86] F.Zambonelli、N.R.Jennings和M.Wooldridge。开发多智能体系统：Gaia方法。ACM软件工程与方法汇刊（TOSEM），12（3）：317-3702003。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。