# Foundations for a Probabilistic Event Calculus

arXiv: https://arxiv.org/abs/1703.06815 · HTML: https://mlsanity.com/paper/1703.06815/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 20 Mar 2017.

## Built on by (most cited first, 2 of 2)

- [An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems](https://mlsanity.com/paper/2209.13043/) (2022)
- [A Translation of Probabilistic Event Calculus into Markov Decision Processes](https://mlsanity.com/paper/2507.12989/) (2025)

## Abstract (arXiv)

We present PEC, an Event Calculus (EC) style action language for reasoning about probabilistic causal and narrative information. It has an action language style syntax similar to that of the EC variant Modular-E. Its semantics is given in terms of possible worlds which constitute possible evolutions of the domain, and builds on that of EFEC, an epistemic extension of EC. We also describe an ASP implementation of PEC and show the sense in which this is sound and complete.