A Probabilistic Logic for Reasoning About Uncertain Temporal Information
Abstract
The main goal of this work is to present the proof-theoretical and model-theoretical approach to a probabilistic logic which allows reasoning about temporal information. We extend both the language of linear time logic and the language of probabilistic logic, allowing statements like ``A will always hold"and ``the probability that A will hold in next moment is at least the probability that B will always hold," where A and B are arbitrary statements. We axiomatize this logic, provide corresponding semantics and prove that the axiomatization is sound and strongly complete. We show that the problem of deciding decidability is PSPACE-complete, no worse than that of linear time logic.
Cite
Text
Doder and Ognjanovic. "A Probabilistic Logic for Reasoning About Uncertain Temporal Information." Conference on Uncertainty in Artificial Intelligence, 2015.Markdown
[Doder and Ognjanovic. "A Probabilistic Logic for Reasoning About Uncertain Temporal Information." Conference on Uncertainty in Artificial Intelligence, 2015.](https://mlanthology.org/uai/2015/doder2015uai-probabilistic/)BibTeX
@inproceedings{doder2015uai-probabilistic,
title = {{A Probabilistic Logic for Reasoning About Uncertain Temporal Information}},
author = {Doder, Dragan and Ognjanovic, Zoran},
booktitle = {Conference on Uncertainty in Artificial Intelligence},
year = {2015},
pages = {248-257},
url = {https://mlanthology.org/uai/2015/doder2015uai-probabilistic/}
}