Abstract We propose the action language EPEC – Epistemic Probabilistic Event Calculus – that supports probabilistic, epistemic reasoning about narratives of action occurrences and environmentally triggered events, and in particular facilitates reasoning about future belief-conditioned actions and their consequences in domains that include both perfect and imperfect sensing actions. To provide a declarative semantics for sensing and belief conditioned actions in a probabilistic, narrative setting we introduce the novel concept of an epistemic reduct. We then formally compare our language with two established frameworks for probabilistic reasoning about action – the action language PAL by Baral et al., and the extension of the situation calculus to reason about noisy sensors and effectors by Bacchus et al. In both cases we prove a correspondence with EPEC for a class of domains representable in both frameworks.

中文翻译：

---

关于认知行动叙事的概率推理

摘要 我们提出了行动语言 EPEC——认知概率事件演算——它支持对动作发生和环境触发事件的叙述进行概率、认知推理，特别是促进对未来信念条件动作及其后果的推理，这些领域包括完美的和不完美的感应动作。为了在概率、叙事环境中为感知和信念条件动作提供声明性语义，我们引入了认知归约的新概念。然后，我们将我们的语言与两个已建立的关于动作的概率推理框架进行了正式比较——Baral 等人的动作语言 PAL，以及 Bacchus 等人将情境演算扩展到推理嘈杂的传感器和效应器。