Kont: Computing Tradeoffs in Normative Multiagent Systems
Kont: Computing Tradeoffs in Normative Multiagent Systems
复制标题
Kont：规范多智能体系统中的计算权衡
DOI：
10.1609/aaai.v31i1.10706
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Munindar P. Singh
中科院分区：
文献类型：
--
作者：
Özgür Kafali;Nirav Ajmeri;Munindar P. Singh
我们提出了Kont，这是一个用于比较标准多智能体系统(NMAS)的形式化框架，它通过计算活跃度(发生好事)和安全性(没有坏事发生)之间的权衡。注重安全的nMAS限制代理人的行动，以避免不受欢迎的法规。然而，这种限制阻碍了活跃度，特别是在医疗紧急情况下。我们使用规范来形式化权衡，并开发一种方法来理解NMA在多大程度上促进了活性或安全性。我们提出了从活跃性和安全性方面指导NMA设计的模式，并证明了它们的正确性。我们使用启发式指标进一步量化紧急医疗保健应用程序的活跃度和安全性。我们的应用结果证实了我们的理论发展。
We propose Kont, a formal framework for comparing normative multiagent systems (nMASs) by computing tradeoffs among liveness (something good happens) and safety (nothing bad happens). Safety-focused nMASs restrict agents' actions to avoid undesired enactments. However, such restrictions hinder liveness, particularly in situations such as medical emergencies. We formalize tradeoffs using norms, and develop an approach for understanding to what extent an nMAS promotes liveness or safety. We propose patterns to guide the design of an nMAS with respect to liveness and safety, and prove their correctness. We further quantify liveness and safety using heuristic metrics for an emergency healthcare application. We show that the results of the application corroborate our theoretical development.