Authors: Dautović, Šejla 
Doder, Dragan
Ognjanović, Zoran 
Affiliations: Mathematics 
Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: An Epistemic Probabilistic Logic with Conditional Probabilities
First page: 279
Last page: 293
Conference: European Conference on Logics in Artificial Intelligence, JELIA 2021: Logics in Artificial Intelligence
Issue Date: 2021
Rank: M33
ISBN: 978-3-030-75775-5
ISSN: 1611-3349
DOI: 10.1007/978-3-030-75775-5_19
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 axiomatize this logic, provide corresponding semantics and prove that the axiomatization is sound and strongly complete. We also show that the logic is decidable.
Keywords: Probabilistic logic | Epistemic logic | Completeness
Publisher: Springer Link
Project: Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC 

Show full item record


checked on May 21, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.