Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Logic, Rationality and Interaction

LORI 2017: Logic, Rationality, and Interaction pp 681–686Cite as

Justification Logic with Approximate Conditional Probabilities

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10455))

Abstract

The importance of logics with approximate conditional probabilities is reflected by the fact that they can model non-monotonic reasoning. We introduce a new logic of this kind, \(\mathsf {CPJ}\), which extends justification logic and supports non-monotonic reasoning with and about evidences.

Z. Ognjanović—Supported by the Ministry of education, science and technological development grants 174026 and III44006.

N. Savić—Supported by the SNSF project 200021_165549 Justifications and non-classical reasoning.

This is a preview of subscription content, 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

Learn about institutional subscriptions

References

  1. Artemov, S.N.: Explicit provability and constructive semantics. BSL 7(1), 1–36 (2001)

    MathSciNet  MATH  Google Scholar 

  2. Artemov, S.N.: The logic of justification. RSL 1(4), 477–513 (2008)

    MathSciNet  MATH  Google Scholar 

  3. Baltag, A., Renne, B., Smets, S.: The logic of justified belief, explicit knowledge, and conclusive evidence. APAL 165(1), 49–81 (2014)

    MathSciNet  MATH  Google Scholar 

  4. Bucheli, S., Kuznets, R., Studer, T.: Justifications for common knowledge. Appl. Non Class. Log. 21(1), 35–60 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  5. Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. J. Comput. Syst. Sci. 80(6), 1046–1066 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  6. Fagin, R., Halpern, J.: Reasoning about knowledge and probability. J. ACM 41(2), 340–367 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  7. Ikodinović, N., Rašković, M., Marković, Z., Ognjanović, Z.: A first-order probabilistic logic with approximate conditional probabilities. Log. J. IGPL 22(4), 539–564 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  8. Kokkinis, I.: The Complexity of non-iterated probabilistic justification logic. In: Gyssens, M., Simari, G. (eds.) FoIKS 2016. LNCS, vol. 9616, pp. 292–310. Springer, Cham (2016). doi:10.1007/978-3-319-30024-5_16

    Chapter  Google Scholar 

  9. Kokkinis, I., Maksimović, P., Ognjanović, Z., Studer, T.: First steps towards probabilistic justification logic. Log. J. IGPL 23(4), 662–687 (2015)

    Article  MathSciNet  Google Scholar 

  10. Kokkinis, I., Ognjanović, Z., Studer, T.: Probabilistic justification logic. In: Artemov, S., Nerode, A. (eds.) LFCS 2016. LNCS, vol. 9537, pp. 174–186. Springer, Cham (2016). doi:10.1007/978-3-319-27683-0_13

    Chapter  Google Scholar 

  11. Kraus, S., Lehmann, D.J., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1–2), 167–207 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  12. Kuznets, R., Studer, T.: Update as evidence: belief expansion. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol. 7734, pp. 266–279. Springer, Heidelberg (2013). doi:10.1007/978-3-642-35722-0_19

    Chapter  Google Scholar 

  13. Lehmann, D.J., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55(1), 1–60 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  14. Milnikel, R.S.: The logic of uncertain justifications. APAL 165(1), 305–315 (2014)

    MathSciNet  MATH  Google Scholar 

  15. Nilsson, N.: Probabilistic logic. Artif. Intell. 28, 7187 (1986)

    Article  MathSciNet  Google Scholar 

  16. Ognjanović, Z., Rašković, M.: Some probability logics with new types of probability operators. J. Log. Comput. 9(2), 181–195 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  17. Ognjanović, Z., Rašković, M., Marković, Z.: Probability Logics. Springer, Heidelberg (2016)

    Book  MATH  Google Scholar 

  18. Rašković, M., Marković, Z., Ognjanović, Z.: A logic with approximate conditional probabilities that can model default reasoning. Int. J. Approx. Reason. 49(1), 52–66 (2008)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematical Institute SANU, Belgrade, Serbia

    Zoran Ognjanović

  2. Institute of Computer Science, University of Bern, Bern, Switzerland

    Nenad Savić & Thomas Studer

Authors
  1. Zoran Ognjanović
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nenad Savić
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thomas Studer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Thomas Studer .

Editor information

Editors and Affiliations

  1. Institute for Logic, Language and Computation, University of Amsterdam , Amsterdam, Noord-Holland, The Netherlands

    Alexandru Baltag

  2. Department of Philosophy, The University of Auckland, Auckland, Auckland, New Zealand

    Jeremy Seligman

  3. Graduate School of Letters, Hokkaido University , Sapporo, Japan

    Tomoyuki Yamada

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer-Verlag GmbH Germany

About this paper

Cite this paper

Ognjanović, Z., Savić, N., Studer, T. (2017). Justification Logic with Approximate Conditional Probabilities. In: Baltag, A., Seligman, J., Yamada, T. (eds) Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science(), vol 10455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55665-8_52

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-55665-8_52

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-55664-1

  • Online ISBN: 978-3-662-55665-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation