• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Intelligent Agents and Multi-Agent Systems >Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations
【24h】

Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations

机译：关于构成性规范，按条件计数，制度，截止日期和违规的推理

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Reasoning about norms and time is of central concern to the regulation or control of the behavior of a multi-agent system. In earlier work we introduce a representation of normative systems that distinguishes between norms and the detached obligations of agents over time. In this paper we consider constitutive norms and the detached counts-as conditionals and institutional facts in this framework, we introduce deadlines in the regulative norms, and we consider the corresponding role of violations. We focus on the reasoning tasks to determine whether a constitutive or regulative norm is redundant in a normative system and whether two normative systems are equivalent. We distinguish counts-as equivalence, institutional equivalence, obligation equivalence and violation equivalence, depending on whether we are interested in all normative consequences, or only a subset of them. For the various notions of equivalence, we give sound and complete characterizations.
机译：规范和时间的推理是多主体系统行为的调节或控制的核心问题。在较早的工作中，我们引入了规范性系统的表示形式，该规范性区分了规范和代理随时间的分离义务。在本文中，我们将构成性规范和独立计数作为该框架中的条件和制度事实，在规范性规范中引入了最后期限，并考虑了违规行为的相应作用。我们将重点放在推理任务上，以确定一个规范性规范或规范性规范在规范性系统中是否是多余的，以及两个规范性系统是否等效。我们将计数区分为对等，制度对等，义务对等和违反对等，这取决于我们是对所有规范性结果还是仅对其中一部分感兴趣。对于等价的各种概念，我们给出完整而完整的描述。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号