DC Field | Value | Language |
---|---|---|
dc.contributor.author | Dautović, Šejla | en_US |
dc.contributor.author | Doder, Dragan | en_US |
dc.contributor.author | Ognjanović, Zoran | en_US |
dc.date.accessioned | 2023-11-20T09:55:57Z | - |
dc.date.available | 2023-11-20T09:55:57Z | - |
dc.date.issued | 2023-12-01 | - |
dc.identifier.issn | 0888-613X | - |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/5205 | - |
dc.description.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. | en_US |
dc.publisher | Elsevier | en_US |
dc.relation.ispartof | International Journal of Approximate Reasoning | en_US |
dc.rights | Attribution 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | * |
dc.subject | Completeness theorem | Decidability | Epistemic logic | Probabilistic logic | en_US |
dc.title | Reasoning about knowledge and conditional probability | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1016/j.ijar.2023.109037 | - |
dc.identifier.scopus | 2-s2.0-85172738965 | - |
dc.contributor.affiliation | Mathematics | en_US |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | en_US |
dc.relation.firstpage | 109037 | - |
dc.relation.volume | 163 | - |
dc.description.rank | ~M22 | - |
item.grantfulltext | open | - |
item.cerifentitytype | Publications | - |
item.fulltext | With Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Article | - |
crisitem.author.orcid | 0000-0002-2108-3314 | - |
crisitem.author.orcid | 0000-0003-2508-6480 | - |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
SDautovic.pdf | 688.06 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
2
checked on Sep 8, 2024
Download(s)
1
checked on Sep 7, 2024
Google ScholarTM
Check
Altmetric
Altmetric
This item is licensed under a Creative Commons License