3、人工机构中规范的指定与执行

人工机构中规范的指定与执行

在当今的技术领域，人工机构中的规范指定与执行是一个重要的研究方向。下面将详细探讨相关内容。

1. 制度化代理与规范属性

在人类世界中，制度化代理是一种抽象实体，它只能通过其合法代表（人类）并凭借适当的授权来执行操作。而在人工系统里，能够创建直接执行操作的代理来代表组织。所以，我们把制度化代理视为一种特殊角色，可分配给具备相应授权、义务和禁令的单个代理。

为了执行规范，明确制裁措施是必要的。制裁分为主动制裁（a - 制裁）和被动制裁（p - 制裁）。主动制裁指违规者为消除违规行为应执行的操作，可用时间命题来指定；被动制裁则是规范执行者在违规发生时被授权执行的操作，通过授权集来指定。

对于主动制裁，违规代理可能有多种消除违规的方式。例如，代理可能需在一个月内支付 x 欧元罚款，若未完成，则需在两个月内支付 2x 欧元罚款。更可行的做法是用不同时间命题指定每个可能的操作，再用“OR”运算符组合。

在我们的模型中，规范的构造由以下具有指定领域的属性来表征：
| 属性 | 领域 |
| ---- | ---- |
| 债务人 | 角色 |
| 债权人 | 角色 |
| 内容 | 时间命题 |
| 启动事件 | 事件模板 |
| 条件 | 布尔表达式 |
| 主动制裁 | 时间命题 |
| 被动制裁 | 授权 |

2. 带制裁的承诺

为了给规范构造赋予直观的操作语义，我们描述了一种在运行时将规范转换为特定代理和时间间隔相关承诺的机制。这种转换至关重要，因为承诺是检测和应对违规的机制。而且，由于