×

软代理:探索软约束以建模健壮的自适应分布式网络物理代理系统。 (英语) Zbl 1454.68148号

De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:斯普林格。莱克特。注释计算。科学。8950, 273-290 (2015).
摘要:我们对设计和构建由多个网络物理代理组成的开放分布式系统的原则感兴趣,特别是在无法实现一致的全球观点且无法及时达成共识的情况下。这些代理试图通过根据本地信息做出本地决策来感知和影响其环境,从而为系统目标做出贡献。在本文中,我们提出了一个在Maude重写逻辑系统中形式化的模型,该模型允许对此类系统的设计进行实验和推理。该模型的特点包括通过共享部分有序知识进行交流,明确物理状态以及这种状态的网络感知,并使用Martin Wirsing及其团队开发的软约束概念来指定代理行为。本文首先讨论了这种模型的必要性,最后以一个小案例研究来说明建模框架的使用。
关于整个系列,请参见[Zbl 1312.68005号].

MSC公司:

68T42型 Agent技术与人工智能
68米14 分布式系统
2012年第68季度 语法和重写系统
93甲16 多代理系统

软件:

莫德;帕戈达
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Wirsing,M.,Denker,G.,Talcott,C.,Poggio,A.,Briesemeister,L.:软约束的重写逻辑框架。在:第六届重写逻辑及其应用国际研讨会(WRLA 2006)。理论计算机科学电子笔记。爱思唯尔(2006)·Zbl 1279.68124号
[2] Hölzl,M.、Meier,M.和Wirsing,M.:你更喜欢哪种软约束?摘自:第七届重写逻辑及其应用国际研讨会(WRLA 2008)。《理论计算机科学电子笔记》,Elsevier(2008)
[3] Gadducci,F.,Hölzl,M.,Monreale,G.V.,Wirsing,M.:词典顺序的软约束。收录于:Castro,F.,Gelbukh,A.,González,M.(编辑)MICAI 2013,第一部分,LNCS,第8265卷,第68-79页。斯普林格,海德堡(2013)·Zbl 06395787号 ·doi:10.1007/978-3642-45114-06
[4] Interlink项目(上次访问时间:2014年11月15日)
[5] Bristeau,P.J.、Callou,F.、Vissiére,D.、Petit,N.等人:无人机微型无人机内部的导航和控制技术。摘自:第18届国际会计师联合会世界大会,第18卷,第1477–1484页(2011年)
[6] Krajník,T.,Vonásek,V.,Fišer,D.,Faigl,J.:AR无人机作为机器人研究和教育平台。摘自:Obdr zalek,D.,Gottscheber,A.(编辑)EUROBOT 2011。CCIS,第161卷,第172-186页。斯普林格,海德堡(2011)·doi:10.1007/978-3-642-21975-7_16
[7] Meng,L.、Li,L.和Veres,S.:基于扩展卡尔曼滤波器及其高阶方法的无人机气动参数估计。摘自:2010年第二届国际先进计算机控制会议(ICACC),第5卷,第526–531页。IEEE(2010)·doi:10.1109/ICACC.2010.5487116
[8] Yokoo,M.,Durfee,E.H.,Ishida,T.,Kuwabara,K.:分布式约束满足问题:形式化和算法。IEEE形式化和算法汇刊。知识与数据工程10(5),673–685(1998)·兹伯利05109701 ·数字对象标识代码:10.1109/69.729707
[9] Modi,P.J.,Shen,W.M.,Tambe,M.,Yokoo,M.:采用:具有质量保证的异步分布式约束优化。人工智能161(1),149-180(2005)·兹比尔1132.68706 ·doi:10.1016/j.artint.2004.09.003
[10] des Jardins,M.E.,Durfee,E.H.,Charles,L.,Ortiz,J.,Wolverton,M.J.:分布式持续规划研究综述。AI杂志20(4),13(1999)
[11] de Weerdt,M.,Clement,B.:多智能体系统规划导论。多代理网格系统。 5(4), 345–355 (2009) ·Zbl 05666673号 ·doi:10.3233/MGS-2009-0133
[12] Bullo,F.、Cortés,J.、Martínez,s.:机器人网络的分布式控制。应用数学系列。普林斯顿大学出版社(2009年),电子版可在http://coordinationbook.info ·Zbl 1193.93137号
[13] Petcu,A.,Faltings,B.:多智能体约束优化的可扩展方法。摘自:《第19届国际人工智能联合会议论文集》,2005年国际人工智能学会,第266-271页。Morgan Kaufmann Publishers Inc,旧金山(2005)
[14] Stehr,M.-O.,Talcott,C.,Rushby,J.,Lincoln,P.,Kim,M.,Cheung,S.,Poggio,A.:网络化网络物理系统的分馏软件:研究方向和长期愿景。In:Agha,G.,Danvy,O.,Meseguer,J.(编辑)形式建模:演员,开放系统,生物系统。LNCS,第7000卷,第110–143页。斯普林格,海德堡(2011)·Zbl 05969202号 ·doi:10.1007/978-3-642-24933-47
[15] Stehr,M.-O.,Kim,M.,Talcott,C.:分布式计算其他模型背景下的部分有序知识共享和分馏系统。收录于:Iida,S.,Meseguer,J.,Ogata,K.(编辑)规范,代数和软件。LNCS,第8373卷,第402-433页。斯普林格,海德堡(2014)·兹比尔1407.68339 ·doi:10.1007/978-3-642-54624-220
[16] Brown,O.,Eremenko,P.:分馏空间建筑的价值主张。In:程序。加利福尼亚州圣何塞AIAA(2006年9月)·doi:10.2514/6.2006-7506
[17] Clavel,M.,Durán,F.,Eker,S.,Lincoln,P.,Martí-Oliet,n.,Meseguer,J.,Talcott,C.:《关于莫德的一切——高性能逻辑框架》,LNCS,第4350卷。斯普林格,海德堡(2007)·Zbl 1115.68046号
[18] Hölzl,M.,Rauschmayer,A.,Wirsing,M.:软件密集型系统工程:最新技术和研究挑战。收录:Wirsing,M.、Banátre,J.-P.、Hölzl,M.和Rauschmayer,A.(编辑)《软硬件密集型系统》。LNCS,第5380卷,第1-44页。斯普林格,海德堡(2008)·兹伯利05496492 ·doi:10.1007/978-3-540-89437-7_1
[19] Ascens:自主服务组件集成(上次访问时间:2014年11月15日)
[20] Hölzl,M.,Wirsing,M.:朝向信号群的系统模型。In:Agha,G.,Danvy,O.,Meseguer,J.(编辑)形式建模:演员,开放系统,生物系统。LNCS,第7000卷,第241-261页。斯普林格,海德堡(2011)·Zbl 05969207号 ·doi:10.1007/978-3-642-24933-4_12
[21] Arbab,F.,Santini,F.:基于偏好和相似性的服务行为发现。In:形式方法(2012)
[22] Kim,M.,Stehr,M.O.,Talcott,C.:网络化网络物理系统的分布式逻辑。计算机程序设计科学(2012)·Zbl 1353.68265号 ·doi:10.1007/978-3-642-29320-7_13
[23] Choi,J.S.、McCarthy,T.、Yadav,M.、Kim,M.,Talcott,C.、Gressier-Soudan,E.:网络物理系统的应用模式。In:网络物理系统网络和应用(2013)·doi:10.1109/CPSNA.2013.6614246
[24] 奥列夫茨基,P.C.,梅塞盖尔,J.:实时篡改的语义和语用。高阶和符号计算20(1-2),161-196(2007)·Zbl 1115.68095号 ·doi:10.1007/s10990-007-9001-5
[25] 尼尔森,H.R.,尼尔森,F.,维戈,R.:质量微积分。收录于:《2012年FACS》,佩斯·雷阿努,C.s.,萨拉ün,G.(编辑)。LNCS,第7684卷,第188-204页。斯普林格,海德堡(2013)·Zbl 1337.68041号 ·doi:10.1007/978-3642-35861-6_12
[26] 尼尔森,H.R.,尼尔森,F.:质量演算中的安全与安全。收录:Liu,Z.,Woodcock,J.,Zhu,H.(编辑)《编程理论与形式化方法》。LNCS,第8051卷,第285-303页。斯普林格,海德堡(2013)·Zbl 1390.68484号 ·doi:10.1007/978-3-642-39698-4_18
[27] Stehr,M.O.,Talcott,C.:容错网络中路由的规划和学习算法。收录于:2008年军事通信委员会。IEEE(2008)·doi:10.1109/MILCOM.2008.4753336
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。