[论文解读] Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories

Thomas Eiter, Thomas Lukasiewicz|arXiv (Cornell University)|Oct 19, 2012

Logic, Reasoning, and Knowledge参考文献 20被引用 40

一句话总结

该论文提出了 {m P}{cal C}+，这是动作语言 {cal C}+ 的概率扩展，通过状态之间的概率转移来建模具有概率性和非确定性效果的动作。它通过历史记录和信念状态的形式化动作推理，使得在不确定性下的非单调因果推理中的关键问题得以简洁表述，其主要贡献是为动作理论中的不确定性提供了一个统一的框架。

ABSTRACT

We present the language {m P}{cal C}+ for probabilistic reasoning about actions, which is a generalization of the action language {cal C}+ that allows to deal with probabilistic as well as nondeterministic effects of actions. We define a formal semantics of {m P}{cal C}+ in terms of probabilistic transitions between sets of states. Using a concept of a history and its belief state, we then show how several important problems in reasoning about actions can be concisely formulated in our formalism.

研究动机与目标

• 解决确定性动作语言在建模现实世界不确定性方面的局限性。
• 将动作语言 {cal C}+ 扩展以处理动作的概率性和非确定性效果。
• 使用概率转移为在不确定性下的动作推理提供形式语义。
• 在不确定的因果环境中，实现对规划、诊断和预测等推理问题的简洁表述。
• 将信念状态和历史记录整合到一个统一的框架中，用于概率性动作推理。

提出的方法

• 提出 {m P}{cal C}+ 作为一种形式语言，通过引入概率性动作效果扩展 {cal C}+。
• 基于状态集合之间的概率转移定义语义，以捕捉动作结果中的不确定性。
• 引入历史的概念，即动作及其结果的序列，并关联相应的信念状态。
• 使用信念状态来表示智能体在动作执行后对当前状态的不确定知识。
• 使用该形式化方法表述规划、预测和诊断等推理任务。
• 利用非单调因果推理来处理不确定动作序列中的默认假设和例外情况。

实验结果

研究问题

• RQ1 如何在非单调因果框架内正式建模动作的概率性和非确定性效果？
• RQ2 当结果不确定且可能涉及多个可能的状态转移时，动作推理的合适语义是什么？
• RQ3 如何利用信念状态和历史记录来表示和更新智能体在不确定性下执行动作过程中的知识？
• RQ4 关键推理问题（如规划和诊断）能否在统一的概率动作语言中有效表述？
• RQ5 所提出的框架在存在概率性动作效果时，如何处理例外和默认假设？

主要发现

• {m P}{cal C}+ 成功地将 {cal C}+ 扩展为在单一形式系统中处理概率性和非确定性动作效果。
• 状态集合之间的概率转移为建模不确定动作结果提供了稳健且直观的语义。
• 使用历史记录和信念状态能够有效表示智能体在不确定性下知识的动态演化。
• 关键推理任务（如规划、预测和诊断）可使用所提出的框架简洁表述。
• 该形式化支持非单调推理，允许在不确定动作序列中进行默认假设和异常处理。
• 该方法具有严格的理论基础，为将概率推理整合到具有因果依赖关系的动作理论中提供了基础。