×
安德烈亚·奥米西尼；恩里科·丹蒂

正式重新规范. （英语） Zbl 1263.68033号

Dovier，Agostino（编辑）等人，《声明式编程》。2000年12月4日至6日，古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记48，179-196（2001）。
摘要：基于逻辑的语言已经证明可以有效地构建单个代理，并支持多代理系统中的代理间通信。此外，逻辑元组中心表明，可以有效地利用基于逻辑的语言来规范代理之间的通信，从而构建社会行为。本文形式化地定义了逻辑元组中心的概念以及基于逻辑的语言的操作语义重新规范用于逻辑元组中心的行为规范。为此，我们为异步系统开发了一个正式的框架，允许协调媒体以独立的方式表示协调实体。作为副产品，这表明基于逻辑的方法可以有效地用于协调不同种类和技术的异构代理。
关于整个系列，请参见[兹比尔1262.68011].

引用于5文件

MSC公司：

68甲15 编程语言理论
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68T42型 Agent技术与人工智能

软件：

琳达；KQML公司；TuCSoN公司；重新规范
PDF格式BibTeX公司 XML格式引用
\textit{A.Omicini}和\textit{E.Denti}，电子。注释Theor。计算。科学。48、179--196（2001年；Zbl 1263.68033）
全文： 内政部

参考文献：

[1] 布罗基，A。；Ciancarini，P.，并发语言，共享Prolog，ACM编程语言和系统事务，1399-123（1991）
[2] 卡布里，G。；Leonardi，L.公司。；Zambonelli，F.，MARS：移动代理的可编程协调架构，IEEE互联网计算，4，26-35（2000）
[3] Ciancarini，P.，《带逻辑元组空间的分布式编程》，《新一代计算》，第12期，第251-284页（1994年）·Zbl 0806.68014号
[4] Ciancarini，P.，作为软件集成商的协调模型和语言，ACM计算调查，28300-302（1996）
[5] Ciancarini P.和C.Hankin，编辑，《协调语言和模型》，LNCS1061; Ciancarini P.和C.Hankin，编辑，《协调语言和模型》，LNCS1061
[6] Ciancarini，P。；Omicini，A。；Zambonelli，F.，《互联网代理的协调技术》，《北欧计算杂志》，6215-240（1999）
[7] Ciancarini P.、A.Omicini和F.Zambonelli，多智能体系统工程：协调观点智能代理VI.代理理论、体系结构和语言1757; Ciancarini P.、A.Omicini和F.Zambonelli，多智能体系统工程：协调观点智能代理VI.代理理论、体系结构和语言1757·Zbl 0970.68651号
[8] Ciancarini P.和A.L.Wolf，编辑，《协调语言和模型》，LNCS1594; Ciancarini P.和A.L.Wolf，编辑，《协调语言和模型》，LNCS1594
[9] （Ciancarini，P.；Wooldridge，M.J.，“面向代理的软件工程，LNCS”1957（2000），Springer-Verlag），第一届国际研讨会（AOSE 2000），利默里克（爱尔兰），2000年6月10日，修订论文。
[10] Cremonini M.、A.Omicini和F.Zambonelli，互联网上的多代理系统：将协调范围扩展到安全和拓扑; Cremonini M.、A.Omicini和F.Zambonelli，互联网上的多代理系统：将协调范围扩展到安全和拓扑
[11] Cremonini M.、A.Omicini和F.Zambonelli，控制结构化环境中的agent运动高性能计算和网络1823; Cremonini M.、A.Omicini和F.Zambonelli，控制结构化环境中的agent运动高性能计算和网络1823
[12] Denti，E。；纳塔利，A。；Omicini，A.，《论语言在编程协调媒体中的表达能力》，SAC，29169-177（1998）
[13] Denti，E。；Omicini，A.，《基于元组的多代理系统协调体系结构》，《软件——实践与经验》，第29期，第1103-1121页（1999年）
[14] Denti E.、A.Omicini和V.Toschi，这个LuCe公司; Denti E.、A.Omicini和V.Toschi，这个LuCe公司
[15] Finin，T.W.，R.Fritzson，D.McKay和R.McEntire，作为代理通信语言的KQML第三届信息和知识管理国际会议（CIKM'94）; Finin，T.W.、R.Fritzson、D.McKay和R.McEntile，作为代理通信语言的KQML第三届信息和知识管理国际会议（CIKM'94）
[16] 智能物理代理基金会，FIPA主页统一资源定位地址http://www.fipa.org; 智能物理代理基金会，FIPA主页统一资源定位地址http://www.fipa.org
[17] 弗里曼，E。；Hupfer，S。；Arnold，K.，“JavaSpaces:原则、模式和实践”，《Jini技术系列》（1999），Addison-Wesley
[18] Garijo，F.J.和M.Boman，编辑，《多代理系统工程》，LNAI1647; Garijo，F.J.和M.Boman，编辑，《多代理系统工程》，LNAI1647
[19] Garlan D.和D.Le Métayer，编辑，《协调语言和模型》，LNCS1282; Garlan D.和D.Le Métayer，编辑，《协调语言和模型》，LNCS1282
[20] Gelernter，D.，Linda中的生成通信，ACM编程语言和系统汇刊，780-112（1985）·Zbl 0559.68030号
[21] Omicini，A.，《基于元组的协调模型的语义》，SAC，30，175-182（1999）
[22] Omicini A.、。，SODA公司基于代理系统分析和设计中的社会和基础设施; Omicini A.、。，SODA公司基于代理系统分析和设计中的社会和基础设施
[23] Omicini A.、E.Denti和A.Natali，基于逻辑理论的Agent协调与控制人工智能专题\（\textbf{992}^*\）；Omicini A.、E.Denti和A.Natali，基于逻辑理论的Agent协调与控制人工智能专题\（\textbf｛992｝^*\）
[24] Omicini，A。；Papadopoulos，G.A.，为什么在人工智能中协调模型和语言？，应用人工智能，15，1-10（2001），特刊：人工智能中的协调模型和语言。
[25] （Omicini，A.；Tolksdorf，R.；Zambonelli，F.，《代理世界中的工程学会》，“LNAI1972（2000年），Springer-Verlag），第一次国际研讨会（ESAW“00），柏林（德国），2000年8月21日，修订论文。
[26] Omicini，A。；Zambonelli，F.，互联网应用程序开发的协调，自治代理和多代理系统，2，251-269（1999），专刊：Web代理的协调机制。
[27] （Omicini，A.；Zambonelli，F.；Klusch，M.；Tolksdorf，R.，“互联网代理的协调：模型、技术和应用”（2001），Springer-Verlag），XXVII-523·Zbl 0966.68530号
[28] Porto A.和G.-C.Roman，编辑，《协调语言和模型》，LNCS1906; Porto A.和G.-C.Roman，编辑，“协调语言和模型”，LNCS1906
[29] “1998年ACM应用计算研讨会（SAC'98）”，1998年2月27日至3月1日，亚特兰大（GA），会议记录。协调模型、语言和应用跟踪。；“1998年ACM应用计算研讨会（SAC'98）”，1998年2月27日至3月1日，亚特兰大（GA），会议记录。跟踪协调模型、语言和应用程序。
[30] “1999年ACM应用计算研讨会（SAC’99）”，1999年2月28日至3月2日，德克萨斯州圣安东尼奥，会议记录。协调模型、语言和应用跟踪。；“1999年ACM应用计算研讨会（SAC’99）”，1999年2月28日至3月2日，德克萨斯州圣安东尼奥，会议记录。跟踪协调模型、语言和应用程序。
[31] “2000年ACM应用计算研讨会（SAC 2000）”，2000年3月19-21日，意大利科莫，会议记录。协调模型、语言和应用跟踪。；“2000年ACM应用计算研讨会（SAC 2000）”，2000年3月19日至21日，科莫（意大利），会议记录。跟踪协调模型、语言和应用程序。
[32] “第16届ACM应用计算研讨会（SAC 2001）”，2001年3月11-14日。拉斯维加斯（内华达州），诉讼。协调模型、语言和应用跟踪。；“第16届ACM应用计算研讨会（SAC 2001）”，2001年3月11-14日。拉斯维加斯（内华达州），诉讼。跟踪协调模型、语言和应用程序。
[33] 塔劳P。，金尼统一资源定位地址http://www.binnetcorp.com/Jinni/; 塔劳P。，金尼统一资源定位地址http://www.binnetcorp.com/Jinni/
[34] 塔劳，P。；达尔，V。；De Bosschere，K.，《远程执行、移动代码和代理的逻辑编程基础设施》，第六届IEEE技术赋能研讨会：协作企业基础设施（WETICE’97），106-112（1997）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。