Reasoning about knowledge and conditional probability
Publication date
2023-12
Authors
Dautovic, Sejla
Doder, Dragan
Ognjanovic, Zoran
Editors
Advisors
Supervisors
Document Type
Article
Metadata
Show full item recordCollections
License
taverne
Abstract
We present a proof-theoretical and model-theoretical approach to reasoning about knowledge and conditional probability. We extend both the language of epistemic logic and the language of linear weight formulas, allowing statements like “Agent Ag knows that the probability of A given B is at least a half”. We present both a propositional and a first-order version of the logic. We provide sound and complete axiomatizations for both logics and we prove decidability in the propositional case.
Keywords
Probabilistic logic, Epistemic logic, Completeness theorem, Decidability, Taverne
Citation
Dautovic, S, Doder, D & Ognjanovic, Z 2023, 'Reasoning about knowledge and conditional probability', International Journal of Approximate Reasoning, vol. 163, 109037, pp. 1-16. https://doi.org/10.1016/j.ijar.2023.109037