A propositional probabilistic logic with discrete linear time for reasoning about evidence

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

16

checked on May 17, 2024

75

checked on May 9, 2024

Check