Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Modal Logics with Hard Diamond-Free Fragments Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Probabilistic Justification Logic

verfasst von : Ioannis Kokkinis, Zoran Ognjanović, Thomas Studer

Erschienen in: Logical Foundations of Computer Science

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We present a probabilistic justification logic, \(\mathsf {PPJ} \), to study rational belief, degrees of belief and justifications. We establish soundness and completeness for \(\mathsf {PPJ} \) and show that its satisfiability problem is decidable. In the last part we use \(\mathsf {PPJ} \) to provide a solution to the lottery paradox.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel A Quest for Algorithmically Random Infinite Structures, II
Nächstes Kapitel Sequent Calculus for Intuitionistic Epistemic Logic IEL
Fußnoten
1
In order to have a countable language and in order to obtain decidability we restrict our probabilistic operators to the rational numbers.
 
2
We agree to the convention that the formula \({!^{n-1}} c : {!^{n-2}} c : \cdots : {!c} : c : A\) represents the formula A for \(n=0\).
 
3
We will usually write \(*_w\) instead of \(*(w)\).
 
Literatur
1.
Artemov, S.N.: Operational modal logic. Technical report MSI 95–29, Cornell University, December 1995
2.
3.
4.
Artemov, S.N.: The ontology of justifications in the logical setting. Studia Logica 100(1–2), 17–30 (2012). published online February 2012MathSciNetCrossRefMATH
5.
Bucheli, S., Kuznets, R., Studer, T.: Partial realization in dynamic justification logic. In: Beklemishev, L.D., de Queiroz, R. (eds.) WoLLIC 2011. LNCS, vol. 6642, pp. 35–51. Springer, Heidelberg (2011) CrossRef
6.
Fan, T., Liau, C.: A logic for reasoning about justified uncertain beliefs. In: Yang, Q., Wooldridge, M. (eds.) Proceedings of the IJCAI 2015. pp. 2948–2954. AAAI Press (2015)
7.
8.
Foley, R.: Beliefs, degrees of belief, and the lockean thesis. In: Huber, F., Schmidt-Petri, C. (eds.) Degrees of Belief, pp. 37–47. Springer, Heidelberg (2009)CrossRef
9.
Ghari, M.: Justification logics in a fuzzy setting. ArXiv e-prints (Jul 2014)
10.
Kokkinis, I., Maksimović, P., Ognjanović, Z., Studer, T.: First steps towards probabilistic justification logic. Logic J. IGPL 23(4), 662–687 (2015)MathSciNetCrossRef
11.
Kuznets, R.: On the complexity of explicit modal logics. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol. 1862, pp. 371–383. Springer, Heidelberg (2000) CrossRef
12.
13.
Kuznets, R., Studer, T.: Justifications, ontology, and conservativity. In: Bolander, T., Braüner, T., Ghilardi, S., Moss, L. (eds.) AiML 9, pp. 437–458. College Publications (2012)
14.
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) CrossRef
15.
Kuznets, R., Studer, T.: Weak arithmetical interpretations for the logic of proofs. Logic Journal of IGPL (to appear)
16.
Kyburg, H.E.J.: Probability and the Logic of Rational Belief. Wesleyan University Press, Middletown (1961)
17.
Leitgeb, H.: The stability theory of belief. Philos. Rev. 123(2), 131–171 (2014)CrossRef
18.
Luenberger, D.G., Ye, Y.: Linear and Nonlinear Programming. International Series in Operations Research and Management Science, vol. 116. Springer, Heidelberg (2008) MATH
19.
20.
Mkrtychev, A.: Models for the logic of proofs. In: Adian, S., Nerode, A. (eds.) LFCS 1997. LNCS, vol. 1234, pp. 266–275. Springer, Heidelberg (1997) CrossRef
21.
22.
Ognjanović, Z., Rašković, M., Marković, Z.: Probability logics. Zbornik radova, subseries. Logic Comput. Sci. 12(20), 35–111 (2009)MATH
23.
Rašković, M., Ognjanović, Z.: A first order probability logic, \(LP_Q\). Puplications de L’Institut Mathèmatique 65(79), 1–7 (1999)MATH
Metadaten
Titel
Probabilistic Justification Logic
verfasst von
Ioannis Kokkinis
Zoran Ognjanović
Thomas Studer
Copyright-Jahr
2016
Buch
Logical Foundations of Computer Science

Print ISBN: 978-3-319-27682-3

Electronic ISBN: 978-3-319-27683-0

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-27683-0_13

Premium Partner

    Bildnachweise