4、形式化表演交互与分布式认知在系统设计中的应用

形式化表演交互与分布式认知在系统设计中的应用

形式化表演交互

因果联系与间接影响

在交互过程中，因果联系往往依赖于技术和机械设备的行为。一个人的行为会通过因果联系间接影响一系列现象，进而可能影响他人。用数学公式表示为：
- 间接效应：Action → set(Phenomenon)
- 间接效应 (a) = causal link(effect(a)) ∪ effect(a)

当我们写 A[a] ↘ p 时，表示代理 A 执行的动作 a 可能间接影响现象 p，即 A[a] ↘ p ⇐⇒ A[a] ∧ p ∈ indirect effect(a)。

感知

每个代理在任何时刻都有一组可感知的现象，可表示为 perceivable : Agent → set(Phenomenon)。由于世界中的因果联系，代理可能间接感知到原本无法直接观察到的现象。间接可感知性定义为：
- 间接可感知性：Action → set(Phenomenon)
- 间接可感知性 (a) = causal link(perceivable(A)) ∪ perceivable(A)

当我们写 p ↙ A 时，表示代理 A 可能感知到现象 p，即 p ↙ A ⇐⇒ p ∈ indirectly perceivable(a)。

影响

如果一个代理的间接效应与另一个代理的可感知现象有交集，那么前者的行为可能会影响后者。我们用 A ↘ B 表示代理 A 可能影响代理 B，即 A ↘ B ⇐⇒ ∃a, p s.t. A[a] ↘ p ↙ B。

知识、框架