Authors: Marković, Zoran 
Rašković, Miodrag 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Some New Probability Operators
First page: 143
Last page: 163
Related Publication(s): Probabilistic Extensions of Various Logical Systems
Issue Date: 2020
Rank: M13
ISBN: 978-3-030-52953-6
DOI: 10.1007/978-3-030-52954-3_5
This chapter is dedicated to the formalization of the reasoning about probability involving qualitative statements (e.g. the probability of p is greater than the probability of q), probabilistic quantification (e.g. the probability of p is equal to 3n+1/4n+7 for some positive integer n), conditional statements (e.g., the conditional probability of p given q is at least r), confirmation (e.g., p confirms q), and independence. The common restriction is that iterations and nesting of probabilistic operators are not allowed. In other words, admissible statements are Boolean combinations of the atomic probabilistic assessments. Beside the presentation of complete axiomatizations, we shall also discuss the hierarchical structure of the introduced logics in terms of their expressiveness.
Publisher: Springer Link

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.