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||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 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 Oct 3, 2022
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.