9、知识与行动逻辑及多知识表示技术融合探讨

知识与行动逻辑及多知识表示技术融合探讨

1. 行动决策与实际世界概念

在行动决策方面，存在一种对“决定”的解释，它指向主体对 p 的“决定”，而非主体对 p 的“执行”。这种解释为同时“决定”非 p 留下了空间，因为决定是可以重新考量的。

对于“实际世界/历史”的概念，我们需要采取一种更灵活的立场。在标准的 S5 认知逻辑中，通常只关注包含实际世界的认知等价类，而忽略其他等价类的意义。但在当前的设定下，历史可能性算子会遍历不同认知等价类中的历史，所以其他等价类是有意义的，它们意味着主体能够有意识地执行相关行动，从而使实际世界处于不同的历史集合中。

2. 深思熟虑行动的算子定义

原有的 STIT 算子存在一些问题，比如 [A xstit]⊤ 这种性质，主体不应能促成必然为真的事情，而应是那些没有其干预可能不会成真的事情。因此，可以定义深思熟虑版本的 STIT 算子：
- [A d1xstit]ϕ ：定义为 [A xstit]ϕ ∧¬□Xϕ ，这是文献中在“Chellas”STIT 里定义深思熟虑 STIT 的标准方式。
- [a d2xstit]ϕ ：考虑到主体应知晓自己的行动，将行动部分替换为“一致”的 STIT，定义为 Ka[a xstit]ϕ ∧¬□Xϕ 。
- [a d3xstit]ϕ ：若主体应意识到结果可能因自身行动而不同这一侧条件，可定义为 Ka[a xstit]ϕ ∧Ka¬□Xϕ 。

3. 主体的自主性与依赖性

可以用 [A xstit][B xstit]ϕ