|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||Abstract:||
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.
Show full item record
checked on Apr 8, 2022
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.