Foundations for a Probabilistic Event Calculus
This work addresses the need for probabilistic reasoning in event-based domains, but it appears incremental as it builds on existing EC variants.
The authors introduced PEC, a probabilistic Event Calculus language for reasoning about causal and narrative information, and provided an ASP implementation with soundness and completeness guarantees.
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.