Towards classifying propositional probabilistic logics |
| |
Institution: | 1. Institute of Mathematics and Statistics, University of Sao Paulo, Brazil;2. Polytechnic School, University of Sao Paulo, Brazil |
| |
Abstract: | This paper examines two aspects of propositional probabilistic logics: the nesting of probabilistic operators, and the expressivity of probabilistic assessments. We show that nesting can be eliminated when the semantics is based on a single probability measure over valuations; we then introduce a classification for probabilistic assessments, and present novel results on their expressivity. Logics in the literature are categorized using our results on nesting and on probabilistic expressivity. |
| |
Keywords: | Probabilistic logic Expressivity Computational complexity |
本文献已被 ScienceDirect 等数据库收录! |
|