Skip to main content
SpringerLink
Log in

Foundations for a Probabilistic Event Calculus

  • Conference paper
  • First Online:
Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10377))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    i.e. Taking literals as propositions, there is no state that is a classical Herbrand model of both \(\theta \) and \(\theta '\).

References

  1. 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)

    Article  MathSciNet  MATH  Google Scholar 

  2. Baral, C., Tran, N., Tuan, L.C.: Reasoning about actions in a probabilistic setting. In: AAAI/IAAI, pp. 507–512 (2002)

    Google Scholar 

  3. 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

  4. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report (2014). http://arxiv.org/abs/1405.3694

  5. Iocchi, L., Lukasiewicz, T., Nardi, D., Rosati, R.: Reasoning about actions with sensing under qualitative and probabilistic uncertainty. TOCL 10(1), 1–39 (2009)

    Article  MathSciNet  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. Lifschitz, V., Turner, H.: Splitting a logic program. In: ICLP, pp. 23–37 (1994)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. Paris, J.B.: The Uncertain Reasoner’s Companion: A Mathematical Perspective, vol. 39. Cambridge University Press, Cambridge (2006)

    MATH  Google Scholar 

  10. Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artif. Intell. 144(1–2), 1–39 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  11. Skarlatidis, A., Artikis, A., Filippou, J., Paliouras, G.: A probabilistic logic programming event calculus. TPLP 15, 213–245 (2015)

    Google Scholar 

  12. 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)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Studies, University College London, London, UK

    Fabio Aurelio D’Asaro, Antonis Bikakis, Luke Dickens & Rob Miller

Authors
  1. Fabio Aurelio D’Asaro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonis Bikakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Luke Dickens
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Rob Miller
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fabio Aurelio D’Asaro .

Editor information

Editors and Affiliations

  1. Drexel University, Philadelphia, Pennsylvania, USA

    Marcello Balduccini

  2. Aalto University, Espoo, Finland

    Tomi Janhunen

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation