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 \(\mathcal {M}\)odular-\(\mathcal {E}\). 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.
Other than the primary author, authors are listed alphabetically.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
i.e. Taking literals as propositions, there is no state that is a classical Herbrand model of both \(\theta \) and \(\theta '\).
References
Bacchus, F., Halpern, J.Y., Levesque, H.J.: Reasoning about noisy sensors and effectors in the situation calculus. Artif. Intell. 111(1), 171–208 (1999)
Baral, C., Tran, N., Tuan, L.C.: Reasoning about actions in a probabilistic setting. In: AAAI/IAAI, pp. 507–512 (2002)
D’Asaro, F.A., Bikakis, A., Dickens, L., Miller, R.: Foundations for a probabilistic event calculus: Technical report (2017). http://arxiv.org/abs/1703.06815
Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report (2014). http://arxiv.org/abs/1405.3694
Iocchi, L., Lukasiewicz, T., Nardi, D., Rosati, R.: Reasoning about actions with sensing under qualitative and probabilistic uncertainty. TOCL 10(1), 1–39 (2009)
Kowalski, R., Sergot, M.: A logic-based calculus of events. In: Schmidt, J.W., Thanos, C. (eds.) Foundations of Knowledge Base Management, pp. 23–55. Springer, Heidelberg (1989)
Lifschitz, V., Turner, H.: Splitting a logic program. In: ICLP, pp. 23–37 (1994)
Ma, J., Miller, R., Morgenstern, L., Patkos, T.: An epistemic event calculus for asp-based reasoning about knowledge of the past, present and future. In: LPAR-19, vol. 26, pp. 75–87 (2014)
Paris, J.B.: The Uncertain Reasoner’s Companion: A Mathematical Perspective, vol. 39. Cambridge University Press, Cambridge (2006)
Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artif. Intell. 144(1–2), 1–39 (2003)
Skarlatidis, A., Artikis, A., Filippou, J., Paliouras, G.: A probabilistic logic programming event calculus. TPLP 15, 213–245 (2015)
Skarlatidis, A., Paliouras, G., Artikis, A., Vouros, G.A.: Probabilistic event calculus for event recognition. ACM Trans. Comput. Logic 16(2), 11:1–11:37 (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
D’Asaro, F.A., Bikakis, A., Dickens, L., Miller, R. (2017). Foundations for a Probabilistic Event Calculus. In: Balduccini, M., Janhunen, T. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2017. Lecture Notes in Computer Science(), vol 10377. Springer, Cham. https://doi.org/10.1007/978-3-319-61660-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-61660-5_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-61659-9
Online ISBN: 978-3-319-61660-5
eBook Packages: Computer ScienceComputer Science (R0)