9、分级BDI智能体中的规范审议与激励诱导行为

分级BDI智能体中的规范审议与激励诱导行为

1. 规范上下文（NC）

在相关研究中，规范并非是施加于智能体的静态约束。相反，智能体能够以自主的方式动态地获取和接受规范。规范上下文（NC）的功能表现如下：
- 心理上下文向NC中注入公式。
- NC进行推理过程，结合当前心理状态对规范进行推理。
- 根据从规范推导出的新心理命题修改BDI单元。

NC由诸如⌈γ⌉的表达式构成，其中γ是一阶逻辑公式，是关联智能体心理态度的推理规则。⌈γ⌉表示γ作为一个项嵌入到规范上下文中，即模态逻辑表达式被建模为一阶理论，γ对应于从识别上下文（RC）转换而来的规范。

NC逻辑由公理模式K、蕴含封闭性以及一致性公理组成。因此，允许存在相互矛盾的规范，例如可以定义⌈γ⌉∧⌈¬γ⌉。这对于研究很有意义，因为智能体通常受到针对其不同角色的冲突规范的控制，或者智能体目标与规范之间可能存在冲突。然而，不允许出现诸如⌈γ⌉∧¬⌈γ⌉这样的矛盾谓词，即声称某一规范存在又不存在的表达式是不被允许的。

2. 规范桥接规则

• 更新RC规则 ：智能体从其环境中感知到的观察和通信（input(β)）作为新的项或理论（⌈input(β)⌉）被纳入RC：
• CC : input(β) ⇒RC : ⌈input(β)⌉
• 更新NC规则 ：为了确定规范何时生效，智能体的欲望和信念（γ）都作为一阶公式⌈γ⌉被纳入规范上下文：
• BC : γ ⇒NC : ⌈γ⌉
• DC : γ ⇒NC : ⌈γ