检测依赖于多代理系统中运行时事件的执行顺序的规范冲突

Mairon Belchior, V. Silva
{"title":"检测依赖于多代理系统中运行时事件的执行顺序的规范冲突","authors":"Mairon Belchior, V. Silva","doi":"10.1145/3106426.3106509","DOIUrl":null,"url":null,"abstract":"Norms in multi-agent systems are used as a mechanism to regulate the behavior of autonomous and heterogeneous agents and to maintain the social order of the society of agents. Norms describe actions that must be performed, actions that can be performed and actions that cannot be performed by a given entity in a certain situation. One of the challenges in designing and managing systems governed by norms is that they can conflict with another. Two norms are in conflict when the fulfillment of one causes the violation of the other. When that happens, whatever the agent does or refrains from doing will lead to a social constraint being broken. Several researches have been proposed mechanisms to detect conflicts between norms. However, there is a kind of normative conflict not investigated yet in the design phase, here called runtime conflicts, that can only be detected if we know information about the runtime execution of the system. This paper presents two approaches based on execution scenarios to detect normative conflicts that depends on execution order of runtime events in multi-agent systems. In the first approach, the system designer are able to provide examples of execution scenarios and evaluate the conflicts that may arise if those scenarios would be executed in the system. In the second approach, the conflict checker identifies potential normative conflicts by switching the position order of the runtime events referred in the norm conditions.","PeriodicalId":20685,"journal":{"name":"Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2017-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Detection of normative conflict that depends on execution order of runtime events in multi-agent systems\",\"authors\":\"Mairon Belchior, V. Silva\",\"doi\":\"10.1145/3106426.3106509\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Norms in multi-agent systems are used as a mechanism to regulate the behavior of autonomous and heterogeneous agents and to maintain the social order of the society of agents. Norms describe actions that must be performed, actions that can be performed and actions that cannot be performed by a given entity in a certain situation. One of the challenges in designing and managing systems governed by norms is that they can conflict with another. Two norms are in conflict when the fulfillment of one causes the violation of the other. When that happens, whatever the agent does or refrains from doing will lead to a social constraint being broken. Several researches have been proposed mechanisms to detect conflicts between norms. However, there is a kind of normative conflict not investigated yet in the design phase, here called runtime conflicts, that can only be detected if we know information about the runtime execution of the system. This paper presents two approaches based on execution scenarios to detect normative conflicts that depends on execution order of runtime events in multi-agent systems. In the first approach, the system designer are able to provide examples of execution scenarios and evaluate the conflicts that may arise if those scenarios would be executed in the system. In the second approach, the conflict checker identifies potential normative conflicts by switching the position order of the runtime events referred in the norm conditions.\",\"PeriodicalId\":20685,\"journal\":{\"name\":\"Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-08-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3106426.3106509\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3106426.3106509","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

多智能体系统中的规范是一种调节自主和异质智能体行为,维护智能体社会秩序的机制。规范描述了给定实体在特定情况下必须执行、可以执行和不能执行的操作。在设计和管理由规范控制的系统时,面临的挑战之一是它们可能相互冲突。当一种规范的实现导致另一种规范的违反时,两种规范发生冲突。当这种情况发生时,无论代理人做什么或不做什么,都会导致社会约束被打破。一些研究已经提出了检测规范之间冲突的机制。然而,在设计阶段还没有研究一种规范冲突,这里称为运行时冲突,只有在我们知道系统运行时执行的信息时才能检测到这种冲突。本文提出了两种基于执行场景的方法来检测多智能体系统中依赖于运行时事件执行顺序的规范性冲突。在第一种方法中,系统设计人员能够提供执行场景的示例,并评估如果在系统中执行这些场景可能产生的冲突。在第二种方法中,冲突检查器通过切换规范条件中引用的运行时事件的位置顺序来识别潜在的规范冲突。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Detection of normative conflict that depends on execution order of runtime events in multi-agent systems
Norms in multi-agent systems are used as a mechanism to regulate the behavior of autonomous and heterogeneous agents and to maintain the social order of the society of agents. Norms describe actions that must be performed, actions that can be performed and actions that cannot be performed by a given entity in a certain situation. One of the challenges in designing and managing systems governed by norms is that they can conflict with another. Two norms are in conflict when the fulfillment of one causes the violation of the other. When that happens, whatever the agent does or refrains from doing will lead to a social constraint being broken. Several researches have been proposed mechanisms to detect conflicts between norms. However, there is a kind of normative conflict not investigated yet in the design phase, here called runtime conflicts, that can only be detected if we know information about the runtime execution of the system. This paper presents two approaches based on execution scenarios to detect normative conflicts that depends on execution order of runtime events in multi-agent systems. In the first approach, the system designer are able to provide examples of execution scenarios and evaluate the conflicts that may arise if those scenarios would be executed in the system. In the second approach, the conflict checker identifies potential normative conflicts by switching the position order of the runtime events referred in the norm conditions.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信