A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities

Savic, Nenad; Doder, Dragan; Ognjanović, Zoran (2017). A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. In: Antonucci, A.; Cholvy, L.; Papini, O. (eds.) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Lecture Notes in Computer Science: Vol. 10369 (pp. 491-500). Cham: Springer International Publishing 10.1007/978-3-319-61581-3_44

Text ecsqaru17.pdf - Accepted Version Restricted to registered users only Available under License Publisher holds Copyright. Download (336kB)

We present a first-order probabilistic logic for reasoning about the uncertainty of events modeled by sets of probability measures. In our language, we have formulas that essentially say that according to agent Ag, for all x, formula α(x) holds with the lower probability at least 13. Also, the language is powerful enough to allow reasoning about higher order upper and lower probabilities. We provide corresponding Kripke-style semantics, axiomatize the logic and prove that the axiomatization is sound and strongly complete (every satisfiable set of formulas is consistent).

Interest & Impact

Downloads

2 since deposited on 06 Nov 2017
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item