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

[img] 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).

Item Type:

Book Section (Book Chapter)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Savic, Nenad

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISBN:

978-3-319-61580-6

Series:

Lecture Notes in Computer Science

Publisher:

Springer International Publishing

Language:

English

Submitter:

Lukas Jaun

Date Deposited:

06 Nov 2017 15:10

Last Modified:

05 Dec 2022 15:07

Publisher DOI:

10.1007/978-3-319-61581-3_44

BORIS DOI:

10.7892/boris.104869

URI:

https://boris.unibe.ch/id/eprint/104869

Actions (login required)

Edit item Edit item
Provide Feedback