This paper presents the formalization for a system that monitors and enforces regulative time-constrained conditional norms through sanctioning, for agent societies. The representation here has the advantage of allowing for qualitative and quantitative interval-based temporal constraints between a norm’s condition and its effect. The system possesses mechanisms for monitoring both norm compliance and violation of reified norms. Each norm has an identity, which enables the identification of norms violated or complied with. The formalism seamlessly treats violation- or conformance-handling norms (such as violation notification, sanctioning and rewarding norms) as regular norms. The implementation formalizes norms as logic program clauses, the head of which specifies what normative position (i.e. the norm’s effect) an agent must observe within some time constraint of some arising situation; and the body of which describes a situation defined as the norm’s pre-condition and the role that the implicated agent plays within it. For the purpose of imposing sanctions, the only violations deemed liable are those violations that the agent fails to mitigate by compliance with all relevant contrary-to-duty norms. An agent may ultimately be sanctioned for a liable norm while norm compliance is rewarded in the system. Sanctioning itself takes place in two norm-guided phases: the obligation of an enforcer agent to notify an erring agent of reparative actions it is obliged to take and the time constraint within which it should be taken, and a norm for monitoring the agent’s compliance with the notification. The violation of the latter norm leads to the meting out of sanctions.

中文翻译：

---

时间受限的条件规范框架的规范执行机制

本文介绍了一种通过对代理商社会进行制裁来监控和执行有时间限制的有条件规范的系统的形式化。此处的表示具有允许在规范的条件及其效果之间基于定性和定量的基于时间间隔的时间约束的优点。该系统具有监视规范遵守情况和违反规范的机制。每个规范都有一个标识，可以识别违反或遵守的规范。形式主义将违反或一致性处理规范（例如，违规通知，制裁和奖励规范）无缝地视为常规规范。该实现将规范形式化为逻辑程序子句，其开头指定了什么规范位置（即 规范的作用）代理人必须在一定时间内限制某些情况的出现; 其主体描述了一种情况，该情况定义为规范的前提条件以及所牵涉的主体在其中所扮演的角色。为了实施制裁，唯一被视为应负有责任的违规行为是代理人未能通过遵守所有相关规定而减轻的违规行为违反职责的规范。最终，代理商可能会因为法律上的规范而受到制裁，而规范合规性会在系统中得到奖励。制裁本身在两个准则指导的阶段中进行：执行者代理有义务将其必须采取的补救措施通知犯错的代理，以及应采取的时间限制，以及监督代理遵守情况的准则。通知。违反后者的规范导致制裁的结束。