UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Foundations for a probabilistic event calculus

D Asaro, FA; Bikakis, A; Dickens, L; Miller, R; (2017) Foundations for a probabilistic event calculus. In: Balduccini, M and Janhunen, T, (eds.) LPNMR 2017: Logic Programming and Nonmonotonic Reasoning: 14th International Conference, Proceedings. (pp. pp. 57-63). Springer International Publishing AG Green open access

[thumbnail of D'Asaro_Foundations_probabilistic_event_calculus.pdf]
Preview
Text
D'Asaro_Foundations_probabilistic_event_calculus.pdf - Accepted Version

Download (240kB) | Preview

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-ε. Its semantics is given in terms of possible worlds which constitute possible evolutions of the domain, and builds on that of Epistemic Functional EC (EFEC). We also describe an ASP implementation of PEC and show the sense in which this is sound and complete.

Type: Proceedings paper
Title: Foundations for a probabilistic event calculus
Event: LPNMR 2017: 14th International Conference, Logic Programming and Nonmonotonic Reasoning, 3-6 July 2017, Espoo, Finland
ISBN-13: 9783319616599
Open access status: An open access version is available from UCL Discovery
DOI: 10.1007/978-3-319-61660-5_7
Publisher version: https://doi.org/10.1007/978-3-319-61660-5_7
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
UCL classification: UCL
UCL > Provost and Vice Provost Offices > UCL SLASH
UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities
UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities > Dept of Information Studies
URI: https://discovery.ucl.ac.uk/id/eprint/1550618
Downloads since deposit
163Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item