×
大卫·德兰娜;娜塔莎·亚历奇纳;法比亚诺·达尔皮亚斯;迈赫迪·达斯塔尼;布赖恩·洛根

多智能体系统中条件规范的数据驱动修订。 （英语） Zbl 07639826号

J.阿蒂夫。智力。研究（JAIR） 75, 1549-1593 (2022).
摘要：在多智能体系统中，规范执行是一种引导单个智能体行为以实现所需的系统级目标的机制。然而，由于多智能体系统的动态性，很难设计出保证在每个操作环境中实现目标的规范。此外，这些目标可能会随着时间而改变，从而使先前定义的规范无效。在本文中，我们研究了如何使用系统执行数据来自动合成和修改有截止日期的条件禁止，这是一种旨在禁止代理显示特定行为模式的规范。我们提出了DDNR（数据驱动规范修订），这是一种数据驱动的规范修订方法，它综合了关于描述系统中代理行为的跟踪数据集的修订规范。我们使用最先进的现成城市交通模拟器评估DDNR。结果表明，DDNR综合了修订后的规范，这些规范在区分实现系统级目标的适当和不适当行为方面比原始规范更为准确。

MSC公司：

68泰克 人工智能

关键词：

自治代理;多智能体系统

软件：

SUMO公司
PDF格式BibTeX公司 XML格式引用
\textit{D.Dell'ana}等人，J.Artif。智力。研究（JAIR）75，1549--1593（2022；Zbl 07639826）
全文： 内政部

参考文献：

[1] ˚
[2] Agotnes，T.、van der Hoek，W.、Rodr´guez-Aguilar，J.A.、Sierra，C.和Wooldridge，M.J.（2007）。关于规范体系的逻辑。《第20届国际人工智能联合会议论文集》，2007年国际人工智能学会，第1175-1180页。
[3] Airiau，S.、Sen，S.和Villatoro，D.（2014）。通过社会学习形成习俗。自治代理和多代理系统，28（5），779-804。
[4] Alechina，N.、Bulling，N.，Dastani，M.和Logan，B.（2015）。有界前瞻的实际运行时规范实施。《第十四届自主代理和多代理系统国际会议论文集》，AAMAS 2015，第443-451页。ACM公司。
[5] Alechina，N.、Dastani，M.和Logan，B.（2013年）。关于规范更新的推理。《第23届国际人工智能联合会议论文集》，2013年国际人工智能学会，第20-26页。
[6] Alechina，N.、Dastani，M.和Logan，B.（2014年）。非理想监控器的范数近似。《第13届自治代理和多代理系统国际会议论文集》，AAMAS 2014，第117-124页。
[7] Alechina，N.、Logan，B.和Dastani，M.（2018年）。多智能体系统中的建模规范说明和验证。IfCoLog《逻辑及其应用杂志》，FLAP，5（2），457-490·Zbl 1514.68304号
[8] Artikis，A.和Pitt，J.（2001年）。开放代理社会的正式模型。《第五届国际自治机构会议记录》，《2001年代理人》，第192-193页。
[9] Athakravi，D.、Corapi，D.、Russo，A.、Vos，M.D.、Padget，J.A.和Satoh，K.（2012年）。处理规范性规范的变更。《第11届自主智能体和多智能体系统国际会议论文集》，AAMAS 2012，第1369-1370页。
[10] Aucher，G.、Grossi，D.、Herzig，A.和Lorini，E.（2009年）。动态上下文逻辑。第二届逻辑、理性与互动国际研讨会论文集，LORI 2009，第5834卷，第15-26页·Zbl 1196.03030号
[11] Bicchieri，C.（2005）。社会语法：社会规范的性质和动态。剑桥大学出版社。
[12] Boella，G.和van der Torre，L.W.N.（2004）。规范性多主体系统中的规范性和构成性规范。《第九届知识表示和推理原则国际会议论文集》，KR 2004，第255-266页。
[13] Broersen，J.M.、Dastani，M.、Hulstijn，J.、Huang，Z.和van der Torre，L.W.N.（2001）。BOID架构：信仰、义务、意图和愿望之间的冲突。Andre´e，e.、Sen，S.、Frasson，C.和M¨uller，J.P.（编辑），《第五届自治代理国际会议论文集》，Agents，第9-16页。
[14] Bulling，N.和Dastani，M.（2016年）。基于规范的机制设计。人工智能，23997-142·Zbl 1386.68178号
[15] Chopra，A.、van der Torre，L.、Verhagen，H.和Villata，S.（编辑）。(2018).多智能体系统手册。伦敦大学出版社·Zbl 1474.68001号
[16] Christelis，G.和Rovatsos，M.（2009年）。基于代理的规划环境中的自动范数合成。《第八届自治代理和多代理系统国际会议论文集》，AAMAS 2009，第161-168页。
[17] Cohen，B.H.（2008）。解释心理统计。约翰·威利父子公司。
[18] Cohen，J.（1968年）。加权kappa：针对规模分歧或部分信贷的名义规模协议条款。心理公报，70（4），213。
[19] Corapi，D.、Russo，A.、Vos，M.D.、Padget，J.A.和Satoh，K.（2011年）。使用归纳学习的规范设计。逻辑程序设计理论与实践，TPLP，11（4-5），783-799·兹比尔1222.68054
[20] Dastani，M.、Grossi，D.、Meyer，J.C.和Tinnemeier，N.A.M.（2009年）。规范的多智能体程序及其逻辑。非规范多代理系统，15.03.-2009年3月20日，Dagstuhl研讨会论文集第09121卷。达格斯图尔城堡。
[21] Dell'Anna，D.、Alechina，N.、Dalpiaz，F.、Dastani，M.和Logan，B.（2022a）。“多代理系统中条件规范的数据驱动修订”的补充材料。泽诺。https://doi.org/10.5281/zenodo.5907522。
[22] Dell'Anna，D.、Alechina，N.、Logan，B.、L¨offler，M.、Dalpiaz，F.和Dastani，M.（2022b）。规范合成和修订的复杂性。第十五届多代理系统治理的协调、组织、制度、规范和道德国际研讨会论文集，科因@AAMAS2022
[23] Dell'Anna，D.、Dastani，M.和Dalpiaz，F.（2019年）。基于代理人偏好的规范和制裁的运行时修订。《第18届自治代理和多代理系统国际会议论文集》，2019年AAMAS，第1609-1617页。
[24] Dell'Anna，D.、Dastani，M.和Dalpiaz，F.（2020年）。规范多代理系统中制裁的运行时修订。自治代理和多代理系统，34（2），1-54。
[25] Fitoussi，D.和Tennenholtz，M.（2000）。为多智能体系统选择社会法则：最小性和简单性。人工智能，119（1），61-101·Zbl 0945.68170号
[26] Governatori，G.和Rotolo，A.（2010年）。不断变化的法律制度：在可废止逻辑中的法律废除和废止。IGPL逻辑杂志，18（1），157-194·Zbl 1197.68071号
[27] Jiang，J.、Aldewereld，H.、Dignum，V.和Tan，Y.（2012）。规范语境化。第14届代理系统中的协调、组织、制度和规范国际研讨会论文集，COIN 2012，第141-157页。
[28] 卡法利，–。，Ajmeri，N.和Singh，M.P.（2017年）。康特：在标准多智能体系统中计算权衡。《第31届AAAI人工智能会议记录》，第3006-3012页。
[29] 卡法利，–。，Ajmeri，N.和Singh，M.P.（2020年）。DESEN：通过调控模式对社会技术系统进行规范。ACM软件工程与方法论汇刊，29（1），7:1-7:50。
[30] Katzouris，N.、Artikis，A.和Paliouras，G.（2015）。使用归纳逻辑编程对事件定义进行增量学习。机器学习，100（2），555-585·Zbl 1341.68159号
[31] Knobbout，M.和Dastani，M.（2012年）。规范多智能体系统中符合性假设下的推理。《第十一届自主代理和多代理系统国际会议论文集》，AAMAS 2012，第331-340页。
[32] Knobbout，M.、Dastani，M.和Meyer，J.C.（2016）。规范变化的动态逻辑。《第22届欧洲人工智能会议论文集》，ECAI 2016，第285卷，第886-894页·Zbl 1403.68270号
[33] Kohavi，R.（1995）。精度估计和模型选择的交叉验证和引导研究。《第十四届国际人工智能联合会议论文集》，IJCAI 95，第1137-1145页。
[34] Kota，R.、Gibbins，N.和Jennings，N.R.（2008）。代理组织中的分散结构调整。《第一届多智能体系统有组织适应国际研讨会论文集》，OAMAS 2008年，第5368卷，第54-71页。
[35] Krajzewicz，D.、Erdmann，J.、Behrisch，M.和Bieker，L.（2012年）。SUMO的最新发展和应用——城市流动性模拟。国际系统与测量进展杂志，5（3&4），128-138。
[36] Lavrac，N.和Dzeroski，S.（1994年）。归纳逻辑编程.技术和应用。人工智能领域的Ellis Horwood系列。埃利斯·霍伍德·Zbl 0830.68027号
[37] Lorenz，R.、Senoner，J.、Sihn，W.和Netland，T.（2021）。使用过程挖掘提高库存制造的生产率。国际生产研究杂志，1-12。
[38] Loreti，D.、Chesani，F.、Ciampolini，A.和Mello，P.（2020年）。通过诱拐生成合成的积极和消极业务流程跟踪。知识与信息系统，62（2），813-839。
[39] Mahmoud，M.A.、Ahmad，M.S.、Yusoff，M.Z.M.和Mostafa，S.A.（2018年）。一种复杂自适应系统的调节范数挖掘算法。《第三届软计算和数据挖掘国际会议论文集》，SCDM 2018，第700卷，第213-224页。
[40] Miralles，J.C.，L´opez-S´anchez，M.，Salam´o，M.、Avila，P.和Rodr´221 guez-Aguilar，J.A.（2013）。多智能体系统中的鲁棒调节自适应。ACM自治和自适应系统汇刊，TAAS，8（3），13:1-13:27。
[41] Morales，J.、L´opez-S´anchez，M.、Rodr´guez-Aguilar，J.A.、Wooldridge，M.J.和Vasconcelos，W.W.（2015）。综合自由规范体系。《第十四届自主代理和多代理系统国际会议论文集》，AAMAS 2015，第433-441页。
[42] Morales，J.、Wooldridge，M.、Rodr´ñguez-Aguilar，J.A.和L´opez-S´anchez，M.（2017）。稳定规范系统的进化综合。《第16届自治代理和多代理系统会议记录》，AAMAS 2017，第1646-1648页。
[43] Muggleton，S.H.、Lin，D.、Pahlavi，N.和Tamaddoni Nezhad，A.（2014）。元解释学习：应用于语法推理。机器学习，94（1），25-49·Zbl 1319.68121号
[44] Perelli，G.（2019年）。在多智能体系统中实现平衡。《第18届自治代理和多代理系统国际会议论文集》，2019年AAMAS，第188-196页。
[45] Savarimuthu，B.T.R.和Cranefield，S.（2011年）。规范的创建、传播和涌现：多智能体系统中规范的仿真模型综述。多智能体和网格系统，7（1），21-54。
[46] Schapire，R.E.和Singer，Y.（2000年）。Boostexter：一个基于boosting的文本分类系统。机器学习，39（2-3），135-168·Zbl 0951.68561号
[47] Shoham，Y.和Tennenholtz，M.（1995）。关于人工智能社会的社会规律：离线设计。人工智能，73（1-2），231-252·Zbl 1507.68309号
[48] Sims，M.、Corkill，D.和Lesser，V.（2008年）。多智能体系统的自动化组织设计。自治代理和多代理系统，16（2），151-185。
[49] Sorower，M.S.（2010年）。多标签学习算法的文献综述。俄勒冈州立大学，科瓦利斯，18，1-25。
[50] Testerink，B.、Dastani，M.和Bulling，N.（2016年）。用于规范实施的分布式控制器。《第22届欧洲人工智能会议论文集》，ECAI 2016，第285卷，第751-759页·Zbl 1403.93146号
[51] Tinnemeier，N.A.M.、Dastani，M.、Meyer，J.C.和van der Torre，L.W.N.（2009）。使用声明性义务和禁止对规范性工件进行编程。2009年IEEE/WIC/ACM智能代理技术国际会议论文集，IAT 2009，第145-152页。
[52] van der Aalst，W.M.P.（2016）。流程挖掘-数据科学在行动，第二版。斯普林格。
[53] van der Hoek，W.、Roberts，M.和Wooldridge，M.J.（2007年）。交替时间中的社会规律：有效性、可行性和综合性。合成，156（1），1-19·Zbl 1120.68097号
[54] V´azquez-Salceda，J.、Aldewereld，H.、Grossi，D.和Dignum，F.（2008）。从人类规范到受规范的软件代理行为。人工智能与法律，16（1），73-87。
[55] Wooldridge，M.和van der Hoek，W.（2005）。关于义务和规范能力：走向对社会契约的逻辑分析。应用逻辑杂志，3（3），396-420·Zbl 1081.03021号
[56] Wooldridge，M.J.（2009）。多Agent系统简介（2。编辑）。威利
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。