Authors: | Ognjanović, Zoran Marković, Zoran Rašković, Miodrag Doder, Dragan Perović, Aleksandar |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | A propositional probabilistic logic with discrete linear time for reasoning about evidence | Journal: | Annals of Mathematics and Artificial Intelligence | Volume: | 65 | Issue: | 2-3 | First page: | 217 | Last page: | 243 | Issue Date: | 24-Aug-2012 | Rank: | M23 | ISSN: | 1012-2443 | DOI: | 10.1007/s10472-012-9307-9 | Abstract: | The aim of the paper is to present a sound, strongly complete and decidable probabilistic temporal logic that can model reasoning about evidence. The formal system developed here is actually a solution of a problem proposed by Halpern and Pucella (J Artif Intell Res 26:1-34, 2006). |
Keywords: | Decidability | Evidence | Probabilistic logic | Strong Completeness | Temporal logic | Publisher: | Springer Link | Project: | Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education Hypothalamic and medullary functional genomics in stress-induced hypertension Environment management system framework respect to aircraft engine emissions and risk of aircraft accidents around airports in Serbia Representations of logical structures and formal languages and their application in computing |
Show full item record
SCOPUSTM
Citations
16
checked on Nov 18, 2024
Page view(s)
19
checked on Nov 19, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.