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

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

在开放交互系统中，如何有效地指定和执行规范是一个重要的问题。本文将探讨人工机构中规范的相关概念，包括制度行动的“算作”关系、规范的构建、制裁的作用以及规范在设计和运行阶段的应用。

1. 制度行动的“算作”关系

制度行动的具体执行依赖于“算作”关系，这种关系基于一组约定，在特定的上下文条件下，将特定消息的交换与制度行动的执行绑定在一起。上下文条件包括授权（也称为权力），它规定了哪些主体被授权执行某些制度行动。授权可以用以下符号表示：Auth(role, iaction(parameters), conditions)，表示在满足某些条件时，扮演特定角色的主体被授权执行具有特定参数的制度行动。

2. 规范与承诺

在开放交互系统中，规范用于对交互主体施加义务和禁止，以确保系统的演化至少部分可预测。规范通过承诺来表达，其中，主动义务通过在指定时间间隔内执行特定类型行动的承诺来表达，主动禁止则通过不执行特定类型行动的承诺来表达。除非明确禁止，否则每个行动都是允许的。

承诺的创建不仅可以通过规范的激活，还可以通过执行交际行为（如承诺）来实现。然而，在开放交互系统中，允许主体违反承诺有时是有意义且不可避免的。下面我们来详细探讨为什么不采用“严格管制”（regimentation）来防止主体违反承诺。

3. 严格管制与执行

“严格管制”是指引入一种控制机制，不允许主体违反承诺。但在实际情况中，这种方法存在诸多问题。我们需要区分义务和禁止来进行分析。

3.1 义务的严格管制

对于义务，“严格管制”的唯一方式是让系统代替行为不当的主体执行义务