Dagstuhl后续报道,第4卷

规范的多代理系统



缩略图PDF

出版物详细信息

  • 发布时间:2013-04-29
  • 出版商:Schloss Dagstuhl–Leibniz Zentrum für Informatik
  • 国际标准图书编号:978-3-939897-51-4
  • DBLP:数据库/conf/dagstuhl/dfu4

接入号码

文件

找不到与您的筛选器选择匹配的文档。
文件
完整卷
DFU,第4卷,规范的多代理系统

作者:Giulia Andrighetto、Guido Governatori、Pablo Noriega和Leendert W.N.van der Torre


摘要
DFU,第4卷,规范的多代理系统

引用为

规范的多代理系统。《达格斯图尔后续行动》,第4卷,第1-241页,达格斯图-莱布尼兹·泽特鲁姆宫(2013)


将BibTex复制到剪贴板

@集合{DFU.Vol4.12111,title={{DFU,第4卷,规范多代理系统}},booktitle={规范多代理系统},页数={1--241},系列={达格斯图尔后续行动},国际标准图书编号={978-3-939897-51-4},ISSN={1868-8977},年份={2013},体积={4},editor={Andrighetto、Giulia和Governatori、Guido和Noriega、Pablo和van der Torre、Leendert W.N.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111},URN={URN:nbn:de:0030-drops-39972},doi={10.4230/DFU.Vol4.12111},annote={关键词:DFU,第4卷,规范多代理系统}}
文件
前言、目录、前言、作者列表

作者:朱利娅·安德里赫托(Giulia Andrighetto)、圭多州长(Guido Governatori)、巴勃罗·诺列加(Pablo Noriega)和伦德特·范德托雷(Leendert W.N.van der Torre)


摘要
前言、目录、前言、作者列表

引用为

规范的多代理系统。Dagstuhl Follow-Ups,第4卷,第0:i-0:xi页,Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(2013)


将BibTex复制到剪贴板

@在集合{andrighetto_et_al:DFU第4.12111.i卷,author={Andrighetto、Giulia和Governatori、Guido和Noriega、Pablo和van der Torre、Leendert W.N.},title={{Frontmatter,目录,前言,作者列表}},booktitle={规范多代理系统},页面={0:i--0:xi},系列={达格斯图尔后续行动},国际标准图书编号={978-3-939897-51-4},ISSN={1868-8977},年份={2013},体积={4},editor={Andrighetto、Giulia和Governatori、Guido和Noriega、Pablo和van der Torre、Leendert W.N.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DFU.Vol4.12111.i},URN={URN:nbn:de:0030-drops-40058},doi={10.4230/DFU.Vol4.12111.i},annote={关键词:Frontmatter,目录,前言,作者列表}}
文件
MAS中的规范:定义和相关概念

作者:蒂娜·巴尔克、塞利亚·达·科斯塔·佩雷拉、弗兰克·迪格纳姆、埃米利亚诺·洛里尼、安东尼诺·罗托洛、万伯托·瓦斯科塞洛斯和塞雷娜·维拉塔


摘要
在本章中,我们介绍了标准多代理系统(nMAS)。本章的核心思想是,nMAS的任何定义都应初步阐明规范概念的含义、范围和功能。基于这种想法,我们重点讨论了nMAS的三个定义和一些相关要求。对于每一个这样的定义,我们都提出了一些开发nMAS的指南。其次,我们建议如何将nMAS的概念与不同的规范概念联系起来,以及如何在系统中使用规范。最后,我们确定了一些具体问题,这些问题是开放的研究问题,或者与其他学科存在有趣的重叠。

引用为

蒂娜·巴尔克、塞莉亚·达·科斯塔·佩雷拉、弗兰克·迪格纳姆、埃米利亚诺·洛里尼、安东尼诺·罗托洛、万伯托·瓦康塞洛斯和塞雷娜·维拉塔。MAS规范:定义和相关概念。在规范的多代理系统中。达格斯图尔后续行动,第4卷,第1-31页,达格斯图-莱布尼兹·泽特鲁姆宫(2013)


将BibTex复制到剪贴板

@InCollection{balke_et_al:DFU第4.12111.1卷,author={Balke,Tina和da Costa Pereira,C\'{e} 利亚迪格纳姆、弗兰克和洛里尼、埃米利亚诺和罗托洛、安东尼诺和瓦斯科内洛斯、万伯托和维拉塔、塞雷纳},title={{MAS中的规范:定义和相关概念}},booktitle={规范多代理系统},页数={1--31},系列={达格斯图尔后续行动},国际标准图书编号={978-3-939897-51-4},ISSN={1868-8977},年份={2013},体积={4},editor={Andrighetto、Giulia和Governatori、Guido和Noriega、Pablo和van der Torre、Leendert W.N.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/documents/10.4230/DFU.Vol4.12111.1},URN={URN:nbn:de:0030-drops-39983},doi={10.4230/DFU.Vol4.12111.1},annote={关键词:规范,MAS}}
文件
规范推理与结果

作者:简·布罗森、斯蒂芬·克雷菲尔德、叶希亚·埃拉凯比、多夫·加巴伊、大卫·格罗西、埃米利亚诺·洛里尼、泽维尔父母、伦德特·范德托雷、卢卡·图莫里尼、保罗·图里尼和弗朗索瓦·施瓦岑特鲁伯


摘要
在本章中,我们首先对研究领域的方法论和相关性进行了概述,然后讨论了多智能体系统的规范推理,最后讨论了当前的研究挑战。我们涵盖了现代道义逻辑中的主要问题,这比道义逻辑的传统模态逻辑框架要宽泛得多,重点放在我们关注的受众身上。为了强调这一广泛性,我们通常指的是“道义逻辑和规范体系”,而不仅仅是道义逻辑。

引用为

简·布罗森、斯蒂芬·克雷菲尔德、叶希亚·埃拉凯比、多夫·加巴伊、大卫·格罗西、埃米利亚诺·洛里尼、泽维尔父母、伦德特·范德托雷、卢卡·图莫里尼、保罗·图里尼和弗朗索瓦·施瓦岑特鲁伯。规范推理和结果。在规范的多代理系统中。《达格斯图尔后续行动》,第4卷,第33-70页,达格斯图-莱布尼兹·泽特鲁姆宫(2013)


将BibTex复制到剪贴板

@收藏{broersen_et_al:DFU.Vol4.12111.33,author={布罗森、简和克雷菲尔德、斯蒂芬和埃尔拉凯比、耶希亚和加巴伊、多夫和格罗西、戴维德和洛里尼、埃米利亚诺和父母、泽维尔和范德托雷、伦德特W.N.和图莫利尼、卢卡和图里尼、保罗和施瓦岑特鲁伯、弗兰{c} 操作系统},title={{规范推理和结果}},booktitle={规范多代理系统},页数={33--70},系列={达格斯图尔后续行动},国际标准图书编号={978-3-939897-51-4},ISSN={1868-8977},年份={2013},体积={4},编辑={安德里盖托、朱利亚和戈纳托利、圭多和诺列加、巴勃罗和范德托雷、利安德特·W·N},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.33},URN={URN:nbn:de:0030-drops-39994},doi={10.4230/DFU.Vol4.12111.33},annote={关键词:范数,MAS}}
文件
规范化多智能体系统的计算模型

作者:娜塔莎·阿莱奇纳(Natasha Alechina)、尼克·巴西利亚德斯(Nick Bassiliades)、梅迪·达斯坦尼(Mehdi Dastani)、玛丽娜·德沃斯(Marina De Vos)、布赖恩·洛根(Brian Logan)、塞尔吉奥·梅拉(Sergio Mera)、安德烈亚萨·莫里斯·


摘要
本章详细介绍了用于设计、验证和实现规范化多智能体系统的计算逻辑方法。在简要概述了现有的形式主义、体系结构和实现语言之后,概述了当前的研究挑战。

引用为

娜塔莎·阿莱奇纳(Natasha Alechina)、尼克·巴西利亚德斯(Nick Bassiliades)、梅迪·达斯坦尼(Mehdi Dastani)、玛丽娜·德沃斯(Marina De Vos)、布赖恩·洛根(Brian Logan)、塞尔吉奥·梅拉(Sergio Mera)、安德烈亚萨·莫里斯·马。规范化多智能体系统的计算模型。在规范的多代理系统中。《达格斯图尔后续行动》,第4卷,第71-92页,达格斯图-莱布尼兹·泽特鲁姆宫(2013)


将BibTex复制到剪贴板

@收藏{alechina_et_al:DFU.Vol4.12111.71,author={Alechina、Natasha和Bassiliades、Nick和Dastani、Mehdi和De Vos、Marina和Logan、Brian和Mera、Sergio和Morris-Martin、Andreasa和Schapachnik、Fernando},title={{规范多代理系统的计算模型}},booktitle={规范多代理系统},页数={71--92},系列={达格斯图尔后续行动},国际标准图书编号={978-3-939897-51-4},ISSN={1868-8977},年份={2013},体积={4},editor={Andrighetto、Giulia和Governatori、Guido和Noriega、Pablo和van der Torre、Leendert W.N.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.71},URN={URN:nbn:de:0030-drops-40001},doi={10.4230/DFU.Vol4.12111.71},annote={关键词:规范验证,规范MAS的计算体系结构,规范系统编程}}
文件
受监管的MAS:社会视角

作者:巴勃罗·诺列加(Pablo Noriega)、阿米特·乔普拉(Amit K.Chopra)、尼科莱塔·福纳拉(Nicoletta Fornara)、恩里克·洛佩斯·卡多佐(Henrique Lopes Cardoso)和穆林达尔·辛格(Munindar P.Singh)


摘要
本章从监管机制的角度探讨了建立规范的多主体系统的问题。它描述了一个静态概念模型,通过该模型可以指定规范的多智能体系统以及一个动态模型来捕获其操作和演化。本章提出了应用程序的类型并提出了一些开放问题。在最后一节中,作者表达了他们对这些问题的个人观点。

引用为

巴勃罗·诺列加(Pablo Noriega)、阿米特·肖普拉(Amit K.Chopra)、尼科莱塔·福纳拉(Nicoletta Fornara)、恩里克·洛佩斯·卡多佐(Henrique Lopes Cardoso)和穆林达尔·辛格。受监管的MAS:社会视角。在规范的多代理系统中。达格斯图尔后续行动,第4卷,第93-133页,达格斯图-莱布尼兹·泽特鲁姆宫(2013)


将BibTex复制到剪贴板

@收藏{noriega_et_al:DFU.Vol4.12111.93,作者={诺列加、巴勃罗和乔普拉、阿米特·K·和福娜拉、尼科莱塔和洛佩斯·卡多佐、亨里克和辛格、穆林达尔·P·},title={{受管制的MAS:社会视角}},booktitle={规范的多代理系统},页数={93--133},系列={达格斯图尔后续行动},国际标准图书编号={978-3-939897-51-4},ISSN={1868-8977},年份={2013},体积={4},editor={Andrighetto、Giulia和Governatori、Guido和Noriega、Pablo和van der Torre、Leendert W.N.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.93},URN={URN:nbn:de:0030-drops-40017},doi={10.4230/DFU.Vol4.12111.93},annote={关键词:NormMAS,Norms,开放交互}}
文件
(社会)规范动力学

作者:朱利娅·安德里赫托、克里斯蒂亚诺·卡斯特弗朗奇、尤纳特市长、约翰·麦克布伦、梅特·洛佩斯·桑切斯和西蒙·帕森斯


摘要
本章关注社会规范的动态,即此类规范的变化方式。本章特别关注社会规范的生命周期,重点关注规范的产生、规范传播和稳定的方式以及规范演变的方式。我们还讨论了规范遵从背后的认知机制、文化在规范动态中的作用,以及信任影响规范动态的方式。

引用为

朱利娅·安德里赫托(Giulia Andrighetto)、克里斯蒂亚诺·卡斯特弗朗奇(Cristiano Castelfranchi)、尤纳特市长(Eunate Mayor)、约翰·麦克布伦(John McBreen)、梅特·洛佩斯·桑切斯(Maite Lopez-Sanchez)和西蒙·帕森斯(Simon Parsons)。(社会)规范动力学。在规范的多代理系统中。《达格斯图尔后续行动》,第4卷,第135-170页,达格斯图-莱布尼兹·泽特鲁姆宫(2013)


将BibTex复制到剪贴板

@在收集{andrighto_et_al:DFU.第4.12111.135卷,author={Andrighetto、Giulia和Castelfranchi、Cristiano和Mayor、Eunate和McBreen、John和Lopez-Sanchez、Maite和Parsons、Simon},title={{(社会)规范动力学}},booktitle={规范多代理系统},页面={135-170},系列={达格斯图尔后续行动},国际标准图书编号={978-3-939897-51-4},ISSN={1868-8977},年份={2013},体积={4},editor={Andrighetto、Giulia和Governatori、Guido和Noriega、Pablo和van der Torre、Leendert W.N.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.135},URN={URN:nbn:de:0030-drops-40023},doi={10.4230/DFU.Vol4.12111.135},关键词:社会规范,规范生成,规范传播,规范演变,信任,文化}}
文件
仿真和NorMAS

作者:蒂娜·巴尔克(Tina Balke)、斯蒂芬·克兰菲尔德(Stephen Cranefield)、根纳罗·迪·托斯托(Gennaro Di Tosto)、萨姆哈·马哈茂德(Samhar Mahmoud)、马里奥·保卢奇(Mario Paolucci)、巴斯汀·托尼·罗伊·萨瓦


摘要
在本章中,我们讨论了使用模拟方法研究规范的现状和未来前景,特别是使用基于代理的模拟。在介绍了当前的技术水平并在规范生命周期模式中构建了规范的模拟研究之后,我们列出了那些我们认为更容易通过模拟方法解决的研究挑战。我们以实现NorMAS仿真平台的指示结束本章,并通过选定的场景进行了说明。

引用为

蒂娜·巴尔克(Tina Balke)、斯蒂芬·克兰菲尔德(Stephen Cranefield)、根纳罗·迪·托斯托(Gennaro Di Tosto)、萨姆哈·马哈茂德(Samhar Mahmoud)、马里奥·保卢奇(Mario Paolucci)、巴斯汀·托尼·罗伊·萨瓦里。模拟和NorMAS。在规范的多代理系统中。《达格斯图尔后续行动》,第4卷,第171-189页,达格斯图-莱布尼兹·泽特鲁姆宫(2013)


将BibTex复制到剪贴板

@收集{balke_et_al:DFU.Vol4.12111.171,作者={Balke、Tina和Cranefield、Stephen和Di Tosto、Gennaro和Mahmoud、Samhar和Paolucci、Mario和Savarimutu、Bastin Tony Roy和Verhagen、Harko},title={{Simulation and NorMAS}},booktitle={规范多代理系统},页码={171--189},系列={达格斯图尔后续行动},国际标准图书编号={978-3-939897-51-4},ISSN={1868-8977},年份={2013},体积={4},编辑={安德里盖托、朱利亚和戈纳托利、圭多和诺列加、巴勃罗和范德托雷、利安德特·W·N},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.171},URN={URN:nbn:de:0030-drops-40030},doi={10.4230/DFU.Vol4.12111.171},annote={关键词:仿真,规范,MAS}}
文件
规范的使用

作者:穆林达尔·辛格、马修·阿洛特、蒂娜·巴尔克、阿米特·乔普拉、罗布·克里斯蒂安斯、斯蒂芬·克雷菲尔德、弗兰克·迪格纳姆、大卫·伊纳尔、埃米利亚·法卡斯、尼科莱塔·福纳拉、法比安·甘登、圭多总督、霍坎赫大坝、乔里斯·赫尔斯蒂恩、英戈尔夫·克鲁格、霍普恩·林、迈克尔·梅辛格、巴勃罗·诺列加、巴斯汀·托尼·罗伊·萨瓦里穆图、卡尔蒂克·塔丹基,Harko Verhagen和Serena Villata


摘要
本章介绍了规范的各种应用。这些应用包括社会技术系统中的治理、数据许可和数据收集、了解软件开发团队、需求工程、保证、自然资源分配、无线网格、自动车辆、严肃游戏和虚拟世界。

引用为

穆林达尔·辛格、马修·阿洛特、蒂娜·巴尔克、阿米特·乔普拉、罗布·克里斯蒂安斯、斯蒂芬·克雷菲尔德、弗兰克·迪格纳姆、大卫·伊纳尔、埃米利亚·法卡斯、尼科莱塔·福纳拉、法比安·甘登、圭多总督、霍坎赫大坝、乔里斯·赫尔斯蒂恩、英戈尔夫·克鲁格、霍普恩·林、迈克尔·梅辛格、巴勃罗·诺列加、巴斯汀·托尼·罗伊·萨瓦里穆图、卡尔蒂克·塔丹基,Harko Verhagen和Serena Villata。规范的使用。在规范的多代理系统中。达格斯图尔后续行动,第4卷,第191-229页,达格斯图-莱布尼兹·泽特鲁姆宫(2013)


将BibTex复制到剪贴板

@InCollection{singh_et_al:DFU.Vol4.12111.191,作者={Singh、Munindar P.和Arrott、Matthew和Balke、Tina和Chopra、Amit K.和Christiaanse、Rob和Cranefield、Stephen和Dignum、Frank和Eynard、Davide和Farcas、Emilia和Fornara、Nicoletta和Gandon、Fabien和Governatori、Guido和Khanh Dam、Hoa和Hulstijn、Joris和Krueger、Ingolf和Lam、Ho-Pun和Meisinger、Michael和Nori埃加、巴勃罗和萨瓦里穆图、巴斯汀·托尼·罗伊和塔丹基、卡提克和维尔哈根、哈科和维拉塔、塞雷纳},title={{规范的使用}},booktitle={规范多代理系统},pages={191-229},系列={达格斯图尔后续行动},国际标准图书编号={978-3-939897-51-4},ISSN={1868-8977},年份={2013},体积={4},editor={Andrighetto、Giulia和Governatori、Guido和Noriega、Pablo和van der Torre、Leendert W.N.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.191},URN={URN:nbn:de:0030-drops-40047},doi={10.4230/DFU.Vol4.12111.191},annote={关键词:规范、MAS、治理、需求工程}}

过滤器


问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件