实践中将制裁与规范相链接
计算机科学中的逻辑
2022-05-23 v1
摘要
在社会仿真中，我们常希望智能体既能与更大的规范系统交互，也能对自身及其他智能体的规范违犯作出响应。然而，目前尚无允许我们与所有这些组件交互的规范说明。为解决此问题，本文引入 CTL 中违犯模态的概念。这些模态不仅使我们能够追踪违犯，还允许我们定义通常的道义算子。在此基础上，它们为我们便捷地链接不同规范提供了途径，并允许我们对具有重复违犯与义务的规范进行推理。我们将讨论这些模态与道义算子的各种性质，并探讨这种形式化可指导规范系统实现的若干方式。
引用
@article{arxiv.2205.10295,
title = {Linking sanctions to norms in practice},
author = {René Mellema and Frank Dignum},
journal= {arXiv preprint arXiv:2205.10295},
year = {2022}
}