×
路易斯·丹尼斯；迈克尔·费希尔；赫普，安东尼

多智能体编程的语言构造。 （英语） Zbl 1175.68459号

Sadri，Fariba（编辑）等人，《多智能体系统中的计算逻辑》。第八届国际研讨会，CLIMA VIII，葡萄牙波尔图，2007年9月10日至11日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-88832-1/pbk）。计算机科学课堂讲稿5056。人工智能课堂讲稿，137-156（2009）。
摘要：在本文中，我们致力于为多智能体编程提出、分析和实现简单但灵活的结构。特别是，我们希望使用两个这样的结构（即约束和内容/上下文集）扩展基于BDI风格的逻辑代理模型的编程语言。这两个方面提供了足够的表达能力，使我们能够简单且语义清晰地表示多智能体系统的广泛组织结构。我们不仅介绍了这种方法，而且通过修改基于AgentSpeak、3APL和MetateM核心的操作语义，提供了它的形式语义。此外，我们通过在AgentSpeak的Jason解释器中模拟约束和内容/上下文集来提供示例。总之，我们提倡在许多基于逻辑的BDI语言中使用这些简单的结构，因为它们具有适用性、简单性和清晰的语义。
关于整个系列，请参见[Zbl 1155.68010号].

MSC公司：

68T42型 Agent技术与人工智能
68T27型 人工智能中的逻辑

软件：

METATEM公司；代理发言；杰森；第3页；岛国
PDF格式BibTeX公司 XML格式引用
\textit{L.Dennis}等人，Lect。注释计算。科学。5056137--156（2009年；Zbl 1175.68459）
全文： 内政部

参考文献：

[1] Bordini，R.H.，Dastani，M.，Dix，J.，El Fallah Seghrouchni，A.（编辑）：多代理编程：语言、平台和应用程序。斯普林格，海德堡（2005）·Zbl 1101.68456号
[2] Bordini，R.H.，Hübner，J.F.，Vieira，R.：杰森和面向代理编程的金羊毛。收录于：Bordini等人（编辑）[1]，第1卷，第3-37页·doi:10.1007/0-387-26350-0_1
[3] Cohen，P.R.，Levesque，H.J.：团队合作。技术报告504，SRI International，California，USA（1991）
[4] Dastani，M.，van Riemsdijk，M.B.，Meyer，J.-J.C.：3APL中的多代理系统编程。收录：Bordini等人（编辑）[1]
[5] Dennis，L.A.，Farwer，B.，Bordini，R.H.，Fisher，M.，Wooldridge，M.:BDI语言的通用语义基础。In：程序。第七届多智能体系统编程国际研讨会（ProMAS）。LNCS（LNAI）。斯普林格，海德堡（将于2007年亮相）
[6] Esteva，M.，de la Cruz，D.，Sierra，C.：冰岛：电子机构编辑。In：程序。第一届自主代理和多代理系统国际会议（AAMAS），第1045-1052页。ACM，纽约（2002）
[7] Esteva，M.、Rodríguez-Aguilar，J.A.、Sierra，C.、Garcia，P.、Arcos，J.L.：《电子机构的形式规范》。收录：Sierra，C.，Dignum，F.P.M.（编辑）AgentLink 2000。LNCS（LNAI），第1991卷，第126-147页。施普林格，海德堡（2001）·doi:10.1007/3-540-44682-68
[8] Ferber，J.，Gutknecht，O.：多代理系统中组织分析和设计的元模型。In：程序。第三届多代理系统国际会议（ICMAS），第128–135页。IEEE，洛斯阿拉米托斯（1998）
[9] 费希尔，M.：MetateM：迄今为止的故事。收录人：Bordini，R.H.，Dastani，M.，Dix，J.，Seghrouchni EI Fallah，A.（编辑）PROMAS 2005。LNCS（LNAI），第3862卷，第3-22页。斯普林格，海德堡（2006）·doi:10.1007/11678823_1
[10] Fox，M.S.：分布式系统的组织观点。IEEE系统、人与控制论汇刊11（1981）·doi:10.1109/TSMC.1981.4308580
[11] Grossi，D.，Dignum，F.，Dastani，M.，Royakkers，L.：多智能体系统中组织结构的基础。In：程序。第四届自主代理和多代理系统国际联合会议（AAMAS），第690-697页。ACM，纽约（2005）·数字对象标识代码：10.1145/1082473.1082578
[12] Hepple，A.，Dennis，L.，Fisher，M.：BDI语言中代理组织的通用基础。In：程序。第一届多代理系统（LADS）语言、方法和开发工具国际研讨会。LNCS公司。斯普林格，海德堡（将于2008年亮相）
[13] Hindriks，K.V.，de Boer，F.S.，van der Hoek，W.，Meyer，J.-J.C.：3APL中的代理编程。自治代理和多代理系统2（4），357–401（1999）·Zbl 05387414号 ·doi:10.1023/A:1010084620690
[14] Jennings，N.R.，Wooldridge，M.：代理技术的应用。主题：代理技术：基础、应用和市场。斯普林格，海德堡（1998）·兹伯利0894.68039 ·doi:10.1007/978-3-662-03678-5
[15] Kitano，H.和Tadokoro，S.：机器人杯救援：多智能体和智能系统的重大挑战。AI杂志22（1），39–52（2001）
[16] Muscettola，N.，Nayak，P.P.，Pell，B.，Williams，B.：远程代理：大胆前往没有人工智能系统的地方。人工智能103（1-2），5-48（1998）·Zbl 0909.68167号 ·doi:10.1016/S0004-3702（98）00068-X
[17] Noriega，P.，Vázquez-Salceda，J.，Boella，G.，Boissier，O.，Dignum，V.，Fornara，N.，Matson，E.（编辑）：代理系统中的协调、组织、制度和规范II（COIN）。LNCS，第4386卷。斯普林格，海德堡（2007）
[18] Prietula，M.，Carley，K.，Gasser，L.（编辑）：模拟组织：机构和团体的计算模型。麻省理工学院出版社，剑桥（1998）
[19] Rao，A.：AgentSpeak（L）：BDI代理用逻辑计算语言发出声音。In：程序。第七届多智能体世界自主智能体建模欧洲研讨会（MAAMAW）。LNCS，第1038卷，第42-55页。斯普林格，海德堡（1996）·doi:10.1007/BFB0301845
[20] Rao，A.S.，Georgeff，M.：BDI代理：从理论到实践。In：程序。第一届多代理系统国际会议（ICMAS 1995），第312–319页（1995年6月）
[21] Rao，A.S.，Georgeff，M.P.：BDI逻辑的决策程序。逻辑与计算杂志8（3），293–343（1998）·Zbl 0904.68158号 ·doi:10.1093/log.com/8.3.293
[22] Sierhuis，M.：人-机器人任务操作中的多智能体建模与仿真（2006），网址：http://ic.arc.nasa.gov/ic/publications
[23] Sierhuis，M.、Bradshaw，J.M.、Acquisti，A.、Hoof，R.V.、Jeffers，R.、Uszok，A.：实践中的人-代理团队合作和可调节自治。摘自：第七届空间人工智能、机器人和自动化国际研讨会（i-SAIRAS）会议记录，日本奈良（2003）
[24] Tidhar，G.：《面向团队的编程：初步报告》。《1993-41年技术报告》，澳大利亚人工智能研究所，澳大利亚墨尔本（1993）
[25] Vázquez-Salceda，J.，Dignum，V.，Dignom，F.：组织多代理系统。《自治代理和多代理系统杂志》11（3），307–360（2005）·Zbl 05387425号 ·doi:10.1007/s10458-005-1673-9
[26] Wooldridge，M.，Jennings，N.R.：智能代理：理论与实践。《知识工程评论》10（2），115–152（1995）·doi:10.1017/S02698889000008122
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。