3、关于 “知道如何” 更新的初步探索

关于 “知道如何” 更新的初步探索

1. 基于箭头更新的本体更新

在修改关系模型时，箭头更新逻辑（Arrow Update Logic，AUL）是另一种框架，它与公开宣告逻辑（PAL）不同，仅移除边，从而保持域的完整性。在标准认知逻辑中，这对应于不确定性的变化，例如认知上的不可区分性可能会降低，直观上意味着主体获得了知识。而在 “知道如何” 逻辑中，标记迁移系统（LTS）中边的更新对应于主体能力的更新，因为箭头代表动作的执行。

• AULKhi 语言公式定义 ：
  • 公式 $\phi$ 的形式为：$\phi ::= p | \neg\phi | \phi \vee\phi | Khi(\phi, \phi) | [U]\phi$。
  • $U$ 的形式为：$U ::= (\phi, \phi) | U, (\phi, \phi)$，其中 $p \in Prop$ 且 $i \in Agt$。
• 模型更新定义 ：设 $M = \langle W, R, S, V\rangle$ 是一个标记迁移系统（LTSU），$U = (\theta_1, \theta_1’), \ldots, (\theta_n, \theta_n’)$，其中 $\theta_i, \theta_i’$ 是 AULKhi - 公式。定义 $M^U = \langle W, R^U, S, V\rangle$，对于每个 $a \in Act$，有 $(R^U) a = {(w, v) \in R_a(w) | w \in \bigcap <