Foundations for a probabilistic event calculus

DOI10.1007/978-3-319-61660-5_7MaRDI QIDQ2401924zbMATH OpenOpenAlexFDO

Authors Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller

Publication date 5 September 2017

Full work available at URL https://arxiv.org/abs/1703.06815

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Abstract: 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.

Recommendations

• Probabilistic reasoning about epistemic action narratives
• Probabilistic situation calculus
• scientific article; zbMATH DE number 1926646
• Ramifications: An Extension and Correspondence Result for the Event Calculus
• A probabilistic extension of action language \(\mathcal{BC}+\)

Cited in

(7)

• Probabilistic reasoning about epistemic action narratives
• A probabilistic interval-based event calculus for activity recognition
• Revising event calculus theories to recover from unexpected observations
• Probabilistic event calculus for event recognition
• Conditionals, Information, and Inference
• Online event recognition over noisy data streams
• Event domains, stable functions and proof-nets

This page was built for publication: Foundations for a probabilistic event calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401924)