Probabilistic reasoning about epistemic action narratives

作者:

摘要

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.

论文关键词:Reasoning about actions,Epistemic reasoning,Narrative reasoning,Probabilistic reasoning,Conditional actions,Imperfect sensing

论文评审过程:Received 4 March 2019, Revised 3 April 2020, Accepted 17 June 2020, Available online 29 June 2020, Version of Record 3 July 2020.

论文官网地址:https://doi.org/10.1016/j.artint.2020.103352