|
|||||
|
|
A propositional probabilistic logic with discrete linear time for reasoning about evidence |
|
| Authors: | Zoran Ognjanovi? Zoran Markovi? Miodrag Ra?kovi? Dragan Doder Aleksandar Perovi? |
| Affiliation: | 1. Mathematical Institute of Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000, Belgrade, Serbia 2. University of Belgrade, Faculty of Mechanical Engineering, Kraljice Marije 16, 11120, Belgrade, Serbia 3. University of Belgrade, Faculty of Transportation and Traffic Engineering, Vojvode Stepe 305, 11000, Belgrade, Serbia |
| 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: | |
| 本文献已被 SpringerLink 等数据库收录！ | |