Skip to main content
SpringerLink
Log in

Probabilistic Logic for Reasoning About Actions in Time

  • Conference paper
  • First Online:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019)

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

  • 537 Accesses

Abstract

In this paper, we develop a probabilistic logic for reasoning about preconditions, postconditions and execution of actions in time. The language of our logic allows statements like “precondition of the action A will hold in the next moment” and uncertain information like “probability that the precondition of A will hold in the next moment is at least one half.” We axiomatize this logic, provide corresponding semantics built on branching-time temporal models, and prove that the axiomatization is sound and strongly complete.

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

References

  1. Broersen, J.: A complete STIT logic for knowledge and action, and some of its applications. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 47–59. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-540-93920-7_4

    Chapter  Google Scholar 

  2. Doder, D., Marković, Z., Ognjanović, Z., Perović, A., Rašković, M.: A probabilistic temporal logic that can model reasoning about evidence. In: Link, S., Prade, H. (eds.) FoIKS 2010. LNCS, vol. 5956, pp. 9–24. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-11829-6_4

    Chapter  Google Scholar 

  3. Doder, D., Ognjanovic, Z.: A probabilistic logic for reasoning about uncertain temporal information. In: Proceedings of UAI 2015, Amsterdam, The Netherlands, pp. 248–257 (2015)

    Google Scholar 

  4. Doder, D., Ognjanovic, Z., Markovic, Z.: An axiomatization of a first-order branching time temporal logic. J. UCS 16(11), 1439–1451 (2010)

    MathSciNet  MATH  Google Scholar 

  5. Doherty, P., Kvarnström, J., Heintz, F.: A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. Auton. Agent. Multi-Agent Syst. 19(3), 332–377 (2009)

    Article  Google Scholar 

  6. Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput. 87(1/2), 78–128 (1990)

    Article  MathSciNet  Google Scholar 

  7. van der Hoek, W.: Some considerations on the logic PDF. J. Appl. Non-Classical Logics 7(3) (1997)

    Google Scholar 

  8. Kvarnström, J.: TALplanner and other extensions to Temporal Action Logic. Ph.D. thesis, Linköpings universitet (2005)

    Google Scholar 

  9. Marinkovic, B., Ognjanovic, Z., Doder, D., Perovic, A.: A propositional linear time logic with time flow isomorphic to \(\omega \)\({}^{\text{2 }}\). J. Appl. Logic 12(2), 208–229 (2014)

    Article  MathSciNet  Google Scholar 

  10. Mueller, E.T.: Commonsense Reasoning. Morgan Kaufmann, Burlington (2010)

    Google Scholar 

  11. Nilsson, N.J.: Probabilistic logic. Artif. Intell. 28(1), 71–87 (1986)

    Article  MathSciNet  Google Scholar 

  12. Ognjanović, Z., Doder, D., Marković, Z.: A branching time logic with two types of probability operators. In: Benferhat, S., Grant, J. (eds.) SUM 2011. LNCS (LNAI), vol. 6929, pp. 219–232. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-23963-2_18

    Chapter  Google Scholar 

  13. Ognjanovic, Z., Markovic, Z., Raskovic, M., Doder, D., Perovic, A.: A propositional probabilistic logic with discrete linear time for reasoning about evidence. Ann. Math. Artif. Intell. 65(2–3), 217–243 (2012)

    MathSciNet  MATH  Google Scholar 

  14. Ognjanović, Z., Rašković, M., Marković, Z.: Probability Logics. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47012-2

    Book  MATH  Google Scholar 

  15. Papadakis, N., Plexousakis, D.: Actions with duration and constraints: The ramification problem in temporal databases. Int. J. Artif. Intell. Tools 12(3), 315–353 (2003)

    Article  Google Scholar 

  16. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)

    Book  Google Scholar 

  17. Reynolds, M.: An axiomatization of full computation tree logic. J. Symb. Log. 66(3), 1011–1057 (2001)

    Article  MathSciNet  Google Scholar 

  18. Thielscher, M.: The concurrent, continuous fluent calculus. Studia Logica 67(3), 315–331 (2001)

    Article  MathSciNet  Google Scholar 

  19. Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambrdge (2000)

    MATH  Google Scholar 

  20. van Zee, M., Dastani, M., Doder, D., van der Torre, L.: Consistency conditions for beliefs and intentions. In: Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning (2015)

    Google Scholar 

  21. van Zee, M., Doder, D.: AGM-style revision of beliefs and intentions. In: ECAI 2016, The Hague, pp. 1511–1519 (2016)

    Google Scholar 

  22. van Zee, M., Doder, D., Dastani, M., van der Torre, L.: AGM Revision of Beliefs about Action and Time. In: Proceedings of the International Joint Conference on Artificial Intelligence (2015)

    Google Scholar 

Download references

Acknowledgments

This work was supported by the Serbian Ministry of Education and Science through project ON174026, and by ANR-11-LABX-0040-CIMI.

Author information

Authors and Affiliations

  1. Matematički Institut SANU, Belgrade, Serbia

    Šejla Dautović

  2. IRIT – Paul Sabatier University, Toulouse, France

    Dragan Doder

Authors
  1. Šejla Dautović
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dragan Doder
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dragan Doder .

Editor information

Editors and Affiliations

  1. Technische Universität Dortmund, Dortmund, Germany

    Gabriele Kern-Isberner

  2. Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia

    Zoran Ognjanović

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Dautović, Š., Doder, D. (2019). Probabilistic Logic for Reasoning About Actions in Time. In: Kern-Isberner, G., Ognjanović, Z. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2019. Lecture Notes in Computer Science(), vol 11726. Springer, Cham. https://doi.org/10.1007/978-3-030-29765-7_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-29765-7_32

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-29764-0

  • Online ISBN: 978-3-030-29765-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation