A logic with conditional probability operators (Q2914029)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6085343
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A logic with conditional probability operators |
scientific article; zbMATH DE number 6085343 |
Statements
A logic with conditional probability operators (English)
0 references
21 September 2012
0 references
completeness theorem
0 references
decidability
0 references
PSPACE-complexity
0 references
The authors present a sound and strongly complete infinitary axiomatization of reasoning about linear combinations of conditional probabilities. The logical language is rich enough to formalize sentences of the form: The conditional probability of \(\alpha\) given \(\beta\) (in the opinion of Agent 1) is at least the sum of the conditional probabilities of \(\alpha\) given \(\gamma\) (in the opinion of Agent 2) and two times the conditional probabilities of \(\gamma\) given \(\delta\) (in the opinion of Agent 3). Decidability of the logic is proven. The corresponding decision procedure is in PSPACE (in the case of only one agent).
0 references
0.9037634134292604
0 references
0.8874147534370422
0 references
0.8765107989311218
0 references
0.8750889897346497
0 references
