11、保密推理的认知代理模型与保密推理器原则

保密推理的认知代理模型与保密推理器原则

1. 认知代理模型

1.1 攻击代理的实际情况

在保密推理的场景中，存在两个代理：攻击代理 A 和防御代理 D。对于这两个代理而言，有一个“真实情况”的世界，这个世界通过字母表 At 中原子命题的解释在语义上进行了规定，At 构成了两个代理的基本词汇表。从语法角度看，代理们使用基于 At 的共享命题语言 L 以及标准命题连接词来交流关于世界的信息。

攻击代理 A 拥有关于世界某些方面的信息，从而形成了它的世界观。这个世界观可能源于对世界的先验知识，也可能来自于交互过程中的观察。在语法上，世界观被表示为一个序列 ⟨B; φ1, …, φn⟩，它由两部分组成：
- 背景知识 B：是语言 LB 中的一组句子，LB 是 L 的扩展，用于表达规则。
- 观察 φi：属于语言 L。

代理 A 可以通过信念算子 Bel : 2LB × L∗→2L 对语言 L 中的句子 φ 形成信念。如果 φ ∈ Bel(⟨B; φ1, …, φn⟩)，则代理 A 相信 φ。代理 A 会根据推理目标 φ 从一组信念算子 Ξ 中选择合适的算子。信念算子的任务是利用背景知识对观察进行推理，从而推导出代理 A 认为为真的命题。背景知识的语言 LB 可以是简单的 L、扩展逻辑程序或条件语句等。

为了对代理 A 可能接受为真的内容进行合理限制，我们有以下要求：
- 一致性：A 不能同时接受一个公式及其否定为真。
- 命题后果：A 必须接受它所接受为真的任何公式在 L 中的所有命题后果。

此外，Ξ 中的信念算子通常可以根据推理的轻信程度进行比较。我们通过 Ξ 上的轻信顺序 ⪯cre