非单调因果理论中关于动作的概率推理

我们提出了语言 $\mathcal{P}\mathcal{C}+$，用于关于动作的概率推理，它是动作语言 $\mathcal{C}+$ 的推广，允许处理动作的概率效应以及非确定性效应。我们根据状态集之间的概率转移定义了 $\mathcal{P}\mathcal{C}+$ 的形式语义。利用历史及其信念状态的概念，我们随后展示了如何在我们提出的形式体系中简洁地表述关于动作推理的几个重要问题。