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
|
Text
BayesianJL.pdf - Accepted Version Available under License Publisher holds Copyright. Download (306kB) | Preview |
|
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
Mohammadi-Studer2019_Chapter_BayesianConfirmationAndJustifi.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (356kB) | Request a copy |
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 |