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

A propositional probabilistic logic with discrete linear time for reasoning about 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 ).

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Annals of mathematics and artificial intelligence 2012-07, Vol.65 (2-3), p.217-243
Hauptverfasser: Ognjanović, Zoran, Marković, Zoran, Rašković, Miodrag, Doder, Dragan, Perović, Aleksandar
Format: Artikel
Sprache:eng
Schlagworte:
Artificial Intelligence
Complex Systems
Computer Science
Mathematics
Reasoning
Temporal logic
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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 ).
ISSN:1012-2443
1573-7470
DOI:10.1007/s10472-012-9307-9