×

多智能体组织的规范编程语言。 (英语) Zbl 1230.68199号

摘要:多代理组织的规范通常基于高级建模语言,以简化软件设计者的任务。将此类高级规范解释为组织管理基础设施(OMI)的一部分是一项困难而繁琐的任务。为此需要使用更简单、更高效的工具。基于规范和义务等原语,我们在本文中引入了一种规范性编程语言(NPL)——一种专门用于开发规范性程序的语言。我们将介绍这种语言的口译员,并展示如何在组织管理基础设施中使用它。虽然设计者和代理仍然可以使用高级组织建模语言来指定和推理多代理组织,但OMI解释了一种更简单的语言。这是可能的,因为高级规范可以自动转换为更简单(规范)的语言。我们的方法用于为莫伊斯框架,如本文所述。我们还展示了如何莫伊斯的组织建模语言(包含角色、组和目标等基本元素)可以翻译为NPL程序。最后,我们简要描述了这一切是如何在\(\mathsf{ORA4MAS}\)之上实现的,这是一个基于分布式人工制品的组织管理基础设施莫伊斯.

MSC公司:

68T42型 Agent技术与人工智能
68N17号 逻辑编程
68层35 人工智能语言和软件系统理论(基于知识的系统、专家系统等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bordini,R.H.,Hübner,J.F.,Wooldrige,M.:使用Jason在AgentSpeak中编程多代理系统。代理技术中的威利系列。Wiley,纽约(2007年)。http://jason.sf.net/jBook . 数字对象标识代码:10.1002/9780470061848·Zbl 1132.68021号
[2] Criado,N.、Julian,V.、Botti,V.和Argente,E.:基于规范的组织管理体系。在:Hübner,J.F.,Matson,E.,Boissier,O.,Dignum,V.(编辑)代理系统中的协调、组织、制度和规范IV(COIN 2009),LNAI,第5428卷,第19-35页。施普林格(2009)
[3] Dignum,V.(编辑):《多代理系统研究手册:组织模型的语义和动力学》。《信息科学参考》(2009)
[4] Esteva,M.,de la Cruz,D.,Sierra,C.:冰岛:电子机构编辑。收录于:Castelfranchi,C.,Johnson,W.L.(编辑)《第一届国际自治代理和多代理系统联合会议论文集》(AAMAS 2002),LNAI 1191,pp.1045-1052。施普林格(2002)
[5] Esteva,M.、Rodríguez-Aguilar,J.A.、Rosell,B.、Arcos,J.L.:AMELI:电子机构的基于代理的中间件。收录于:Jennings,N.R.、Sierra,C.、Sonenberg,L.、Tambe,M.(编辑)《第三届自治代理和多代理系统国际联合会议记录》(AAMAS’2004),第236-243页。ACM,纽约(2004)
[6] Ferber,J.,Gutknecht,O.:多代理系统中组织分析和设计的元模型。载:Demazeau,Y.(编辑)《第三届多智能体系统国际会议论文集》(ICMAS'98),第128-135页。IEEE出版社(1998)
[7] Forgy,C.:Rete:多模式/多对象模式匹配问题的快速算法。Artif公司。智力。19(1), 17–37 (1982) ·doi:10.1016/0004-3702(82)90020-0
[8] Fornara,N.,Colombetti,M.:在人造机构中指定和执行规范。收录人:Omicini,A.、Dunin-Keplicz,B.、Padget,J.(编辑)《第四届欧洲多智能体系统研讨会论文集》(EUMAS 06)(2006)·Zbl 1216.68283号
[9] García-Camino,a.,Rodríguez-Aguilar,J.a.,Sierra,C.,Vasconcelos,W.:限制电子机构基于规则的编程规范。《自治代理和多代理系统杂志》18(1),186-217(2009)·Zbl 05742172号 ·doi:10.1007/s10458-008-9059-4
[10] Grossi,D.,Aldewered,H.,Dignum,F.:Ubi Lex,Ibi Poena:设计电子机构中的规范执行。收录人:Noriega,P.,Vázquez-Salceda,J.,Boella,G.,Boissier,O.,Dignum,V.,Fornara,N.,Matson,E.(编辑)《Agent Systems II中的协调、组织、制度和规范》。LNAI,第4386卷,第101-114页。斯普林格(2007)。修订论文集
[11] Hübner,J.F.,Boissier,O.,Bordini,R.H.:从组织规范到多代理组织中的规范编程。收录人:Dix,J.,Governatori,G.,Jamroga,W.,Leite,J.(编辑)Proc。《多代理系统中的计算逻辑》(CLIMA XI)。LNAI,第6245卷,第117-134页。施普林格(2010)。doi:10.1007/978-3642-14977-111
[12] Hübner,J.F.,Boissier,O.,Bordini,R.H.:组织管理基础设施的规范性组织编程语言。收录于:J.P.等人(编辑)《Agent Systems V.LNAI中的协调、组织、制度和规范》,第6069卷,第114-129页。施普林格(2010)。doi:10.1007/978-3642-14962-78
[13] Hübner,J.F.,Boissier,O.,Kitio,R.,Ricci,A.:用组织工件和代理工具多代理组织:“将组织权力还给代理”。《自治代理和多代理系统杂志》20(3),369–400(2010)。doi:10.1007/s10458-009-9084-y·Zbl 05766677号 ·doi:10.1007/s10458-009-9084-y
[14] Hübner,J.F.,Sichman,J.S.,Boissier,O.:S-MOISE+:用于开发有组织的多代理系统的中间件。收录:Boissier,O.、Dignum,V.、Matson,E.、Sichman,J.S.(编辑)《多代理系统中的协调、组织、制度和规范》。LNCS,第3913卷,第64-78页。斯普林格(2006)。doi:10.1007/11775331_5
[15] Hübner,J.F.,Sichman,J.S.,Boissier,O.:使用MOISE+模型开发有组织的多智能体系统:系统和智能体级别的编程问题。国际面向代理软件工程杂志1(3-4),370-395(2007)。doi:10.1504/IJAOSE.2007.016266·doi:10.1504/IJAOSE.2007.016266
[16] Jones,A.J.I.,Sergot,M.:《法律和计算机系统的特征描述:规范系统视角》。在:《计算机科学中的道义逻辑:规范性系统规范》,第275–307页。英国奇切斯特威利(1993)
[17] y López,F.L.,Luck,M.,d'Inverno,M.:通过规范约束自治。收录于:《第一届自主代理和多代理系统国际联合会议记录》,第674-681页。ACM出版社(2002)
[18] Omicini,A.、Ricci,A.和Viroli,M.:A&多智能体系统的元模型。《自治代理和多代理系统杂志》17(3),432-456(2008)·Zbl 05511216号 ·doi:10.1007/s10458-008-9053-x
[19] Piunti,M.、Ricci,A.、Boissier,O.、Hübner,J.F.:在多代理工作环境中体现组织。摘自:《网络智能和智能代理技术国际联合会议记录》(WI-IAT 2009),第511-518页。IEEE/WIC/ACM(2009)。doi:10.1109/WI-IAT.2009.204
[20] Plotkin,G.D.:操作语义的结构方法。丹麦奥胡斯奥胡斯大学计算机科学系技术代表(1981年)
[21] Pynadath,D.V.,Tambe,M.:异构软件代理和人类的自动化团队基础设施。自治代理和多代理系统7(1–2),71–100(2003)·Zbl 05387392号 ·doi:10.1023/A:1024176820874
[22] Ricci A.、Piunti M.、Viroli M.和Omicini A.:CArtAgO中的环境编程。收录于:Bordini,R.H.,Dastani,M.,Dix,J.,El Fallah Seghrouchni,A.(编辑)《多代理编程:语言、工具和应用》,第8章,第259-288页。施普林格(2009)·Zbl 1189.68150号
[23] van Riemsdijk,B.,Hindriks,K.,Jonker,C.M.,Sierhuis,M.:形式组织约束:语义方法。收录人:W.van der Hoek、G.A.Kaminka、Y.Lesperance、M.Luck、S.Sen(编辑)Proc。第九届自主代理和多代理系统国际会议(AAMAS 2010),第823–830页(2010)
[24] 达席尔瓦,V.T.:实施规范来管理非对话行为。收录:Sichman,J.、Noriega,P.、Padget,J.和Ossowski,S.(编辑)《Agent Systems III中的协调、组织、机构和规范》(COIN 2007)。LNCS,第4870卷,第232-244页。施普林格(2007)
[25] 达席尔瓦,V.T.:从规范到规范的实施:一种从规范生成规则以管理代理行为的自动方法。《自治代理和多代理系统杂志》17(1),113–155(2008)·Zbl 05511209号 ·doi:10.1007/s10458-008-9039-8
[26] Tinnemeier,N.、Dastani,M.、Meyer,J.J.:编程代理组织的角色和规范。在:Sichman,J.,Decker,K.,Sierra,C.,Castelfranchi,C.(编辑)Proc。AAMAS 09第121-128页(2009年)
[27] Vázquez-Salceda,J.,Aldewereld,H.,Dignum,F.:多智能体系统中的规范:一些实施指南。参见:《第二届欧洲多智能体系统研讨会论文集》(EUMAS 2004)(2004)。http://people.cs.uu.nl/dignum/papers/eumas04.PDF
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。