×
德波尔（Frank S。；维基·德弗里斯；John-Jules Ch.梅耶。；罗杰尔·范·艾克（Rogier M.van Eijk）。；范德霍克，威比

MAS中用于建模交互的过程代数和约束编程。 （英语） Zbl 1085.68100号

申请。代数工程通讯。计算。 16，编号2-3，113-150（2005）.
摘要：我们展示了如何利用并发计算领域的技术来建模多智能体系统中智能体的交互。特别地，我们介绍了一种通用的过程代数方法来建模多智能体系统。我们的方法包括集成通信顺序进程的进程代数和并发约束编程，用于建模多agent系统中的通信、同步和协调，包括FIPA类型的通信原语和多agent系统中组操作的编程语言。

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68T01型 人工智能的一般主题

关键词：

通信顺序过程；并发约束编程；多智能体系统

软件：

KQML公司；ConGolog公司
PDF格式BibTeX公司 XML格式引用
\textit{F.S.de Boer}等人，应用。代数工程通讯。计算。16，第2--3113-150号（2005；Zbl 1085.68100）
全文： 内政部

参考文献：

[1] de Bakker，J.W.，de Vink，E.P.：控制流语义。麻省理工学院出版社，马萨诸塞州剑桥（1996）·Zbl 0941.68079号
[2] Bergstra，J.A.，Klop，J.W.：同步通信的进程代数。信息与控制60、109–137（1984）·Zbl 0597.68027号 ·doi:10.1016/S0019-9958（84）80025-X
[3] Bergstra，J.A.，Klop，J.W.：用抽象传递过程的代数。理论。计算。科学。37(1), 77–121 (1985) ·Zbl 0579.68016号 ·doi:10.1016/0304-3975（85）90088-X
[4] de Boer，F.S.，van Eijk，R.M.，van-der Hoek，W.，Meyer，J.-J.Ch.：“多智能体系统中信息交换的完全抽象模型。理论计算机科学290（3），1753–1773（2003）·Zbl 1038.68019号
[5] Brookes，S.D.，Hoare，C.A.R.，Roscoe，W.：沟通顺序过程的理论。J.ACM 31、499–560（1984年）·Zbl 0628.68025号 ·数字对象标识代码：10.1145/828.833
[6] Chen，X.J.，De Giacomo，G.：关于不确定性和并发操作的推理：进程代数方法。Artif公司。智力。107(1), 63–98 (1999) ·Zbl 0910.68075号 ·doi:10.1016/S0004-3702（98）00104-0
[7] van Eijk，R.M.：用于代理通信的编程语言。乌得勒支大学博士论文（2000年）
[8] van Eijk，R.M.，de Boer，F.S.，van der Hoek，W.，Meyer，J.-J.Ch.：代理通信的过程代数：通用语义方法。收录于：M.-Ph.Huget（编辑）《多智能体系统中的通信——智能体通信语言和会话策略》LNCS 2650，第113-128页，Springer，Berlin Heidelberg New York（2003）·Zbl 1038.68019号
[9] 费伯，J.：多代理系统。Addison-Wesley，Harlow（1999）·Zbl 0871.68023号
[10] Finin，T.、McKay，D.、Fritzson，R.、McEntire，R.：“KQML：信息和知识交换协议”。收录：K.Fuchi，T.Yokoi（编辑）《知识构建和知识共享》，Ohmsa和IOS出版社（1994年）
[11] FIPA。智能物理代理基础。交际行为库规范。http://www.fipa.org，2000年。
[12] Gärdenfors，P.，Rott，H.：信念修正。摘自：D.M.Gabbay等人（编辑）《人工智能和逻辑编程中的逻辑手册》，第4卷，第36-132页，克拉伦登出版社，牛津（1995）
[13] Gelernter，D.，Carriero，N.：协调语言及其意义。通信ACM 35（2），97–107（1992）·doi:10.1145/129630.29630.129635
[14] De Giacomo，G.，Lespérance，Y.，Levesque，H.J.，ConGolog：一种基于情境演算的并发编程语言。人工智能121109–169（2000）·Zbl 0948.68175号 ·doi:10.1016/S0004-3702（00）00031-X
[15] Georgeff，M.P.，Ingrand，F.：嵌入式推理系统中的决策。程序。IJCAI-89，第972-978页，密歇根州底特律（1989）·Zbl 0713.68054号
[16] Hennessy，M.：过程代数理论。麻省理工学院出版社，马萨诸塞州剑桥（1988）·Zbl 0744.68047号
[17] Hennessy，M.，Plotkin，G.D.：简单并行编程语言的完全抽象。In：程序。MFCS’79，LNCS 74，第108–120页，Springer，Berlin Heidelberg New York（1979）·Zbl 0457.68006号
[18] Hennessy，M.：《程序设计语言的语义：使用结构操作语义的入门》。威利，纽约（1990年）·Zbl 0723.68067号
[19] Hindriks，K.V.，de Boer，F.S.，van der Hoek，W.，Meyer，J.-J.Ch.：3APL中的代理编程。自治代理和多代理系统。2, 357–401 (1999) ·Zbl 05387414号 ·doi:10.1023/A:1010084620690
[20] Hoare，C.A.R.：传达顺序过程。普伦蒂斯·霍尔（Prentice-Hall），新泽西州恩格伍德悬崖（Englewood Cliffs）（1985）·Zbl 0637.68007号
[21] Kinny，D.：{\（\Psi\）}演算：一种代数代理语言。收录于：J.-J.Ch.Meyer，M.Tambe（编辑）Intelligent Agents VIII LNAI 2333，pp.32-50，Springer，Berlin Heidelberg New York（2002）·Zbl 1050.68140号
[22] Milner，R.：通信系统的微积分。LNCS 92，柏林施普林格（1980）·Zbl 0452.68027号
[23] Milner，R.：并发进程的操作和代数语义。摘自：J.van Leeuwen（编辑）《理论计算机科学手册》，第1201–1242页，Elsevier/麻省理工学院出版社，阿姆斯特丹/剑桥（马萨诸塞州）（1990年）·Zbl 0900.68217号
[24] Moreira，A.F.，Vieira，R.，Bordini，R.H.：Agent语言中基于言语行为的通信的操作语义。收录：M.d’Inverno，C.Sierra，F.Zambonelli，（编辑）Proc。EUMAS 2003牛津（2003）
[25] Omicini，A.、Ricci，A.和Viroli，M.：通过代理协调上下文正式规范和制定安全政策。收录：M.d’Inverno，C.Sierra，F.Zambonelli（编辑）Proc。EUMAS 2003，牛津（2003）·Zbl 1103.68646号
[26] Plotkin，G.：操作语义的结构方法。《DAIMI FN-19技术报告》，奥胡斯奥胡斯大学（1981年）
[27] 萨拉斯瓦特，V.A.：并发约束编程。麻省理工学院出版社，马萨诸塞州剑桥（1993）·Zbl 1002.68026号
[28] Tsang，E.P.K.：约束满足的基础。学术出版社，伦敦和圣地亚哥，1993，ISBN 0-12-701610-4
[29] Viroli，M.和Omicini，A.：指定代理可观察行为。作者：C.Casterfranchi，W.L.Johnson，（编辑）Proc。AAMAS 2002博洛尼亚，第712–720页，ACM出版社（2002）·Zbl 1258.68162号
[30] de Vries，W.：《代理交互：建模、编程和验证多代理系统的抽象方法》，乌得勒支大学博士论文（2002）
[31] de Vries，W.、de Boer，F.S.、Hindriks，K.V.、van der Hoek，W.，Meyer，J.-J.Ch.：一种协调群体行动的编程语言。收录于：B.Dunin-Keplicz，E.Nawarecki（编辑）《从理论到多智能体系统的实践》，第二届中欧和东欧多智能体国际研讨会论文集（CEEMAS’01），LNAI 2296，pp.313–321，Springer，Berlin Heidleberg New York（2002）·Zbl 1053.68922号
[32] Weiss，G.（编辑）：多智能体系统。麻省理工学院出版社，马萨诸塞州剑桥（1999）
[33] Wooldridge，M.J.：多智能体系统简介。奇切斯特·威利（2002）·邮编1079.91500
[34] Wooldridge，M.J.，Jennings，N.R.：《智能代理人：理论与实践》。知识。《工程评论》10（2），（1995）·Zbl 0825.00124号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。