A probabilistic temporal logic that can model reasoning about evidence

Authors:
Dragan Doder;Zoran Marković;Zoran Ognjanović;Aleksandar Perović;Miodrag Rašković
Affiliations:
Faculty of Mechanical Engineering, Belgrade, Serbia;Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia;Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia;Faculty of Transportation and Traffic Engineering, Belgrade, Serbia;Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia
Venue:
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Year:
2010

Probabilistic logic

Artificial Intelligence
A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Two views of belief: belief as generalized probability and belief as evidence

Artificial Intelligence
Temporal logic (vol. 1): mathematical foundations and computational aspects

Temporal logic (vol. 1): mathematical foundations and computational aspects
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity

Journal of Logic and Computation
A logic for reasoning about evidence

Journal of Artificial Intelligence Research
A probabilistic logic with polynomial weight formulas

FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems

A branching time logic with two types of probability operators

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
On real-valued evaluation of propositional formulas

FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
A propositional probabilistic logic with discrete linear time for reasoning about evidence

Annals of Mathematics and Artificial Intelligence

Hi-index	0.00

The aim of the paper is to present a sound, strongly complete and decidable probabilistic temporal logic that can model reasoning about evidence.