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

作者：Ognjanovic Zoran; Markovic Zoran; Raskovic Miodrag; Doder Dragan^*; Perovic Aleksandar

来源：Annals of Mathematics and Artificial Intelligence, 2012, 65(2-3): 217-243.

DOI：10.1007/s10472-012-9307-9

• Strong Completeness
• Decidability
• Temporal logic
• Probabilistic logic
• Evidence

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).

• 出版日期2012-7