| Authors: | Dautović, Šejla Doder, Dragan Ognjanović, Zoran |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Reasoning About Degrees of Confirmation | Journal: | Lecture Notes in Computer Science | Volume: | 12061 | First page: | 80 | Last page: | 95 | Conference: | The 3rd International Conference on Logic and Argumentation (CLAR 2020) | Issue Date: | 2020 | Rank: | M33 | ISBN: | 978-3-030-44637-6 | DOI: | 10.1007/978-3-030-44638-3_5 | Abstract: | We present a probabilistic logic for reasoning about degrees of confirmation. We provide a sound and strongly complete axiomatization for the logic. We show that the problem of deciding satisfiability is in PSPACE. |
Keywords: | Probabilistic logic | Measure of confirmation | Completeness theorem | Decidability | Publisher: | Springer Link |
Show full item record
SCOPUSTM
Citations
1
checked on Nov 24, 2024
Page view(s)
40
checked on Nov 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.