Bayesian Confirmation and Justifications

Mohammadi, Hamzeh; Studer, Thomas (September 2019). Bayesian Confirmation and Justifications. Lecture notes in computer science, 11726, pp. 408-418. Springer 10.1007/978-3-030-29765-7_34

[img]
Preview
Text
BayesianJL.pdf - Accepted Version
Available under License Publisher holds Copyright.

Download (306kB) | Preview
[img] Text
Mohammadi-Studer2019_Chapter_BayesianConfirmationAndJustifi.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (356kB)

We introduce a family of probabilistic justification logics that feature Bayesian confirmations. Our logics include new justification terms representing evidence that make a proposition firm in the sense of making it more probable. We present syntax and semantics of our logic and establish soundness and strong completeness. Moreover, we show how to formalize in our logic the screening-off condition for transitivity of Bayesian confirmations.

Item Type:

Conference or Workshop Item (Paper)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Studer, Thomas

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISSN:

0302-9743

ISBN:

978-3-030-29765-7

Publisher:

Springer

Language:

English

Submitter:

Nenad Savic

Date Deposited:

21 Oct 2019 10:03

Last Modified:

05 Dec 2022 15:31

Publisher DOI:

10.1007/978-3-030-29765-7_34

BORIS DOI:

10.7892/boris.133990

URI:

https://boris.unibe.ch/id/eprint/133990

Actions (login required)

Edit item Edit item
Provide Feedback