Temporalization of Probabilistic Propositional Logic

In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a temporal version - Exogenous Probabilistic Linear Temporal Logic (EPLTL). In detail, we give a small model theorem for EPPL and introduce a satisfaction and a model checking algorithm for both EPPL and EPLTL. We are also able to provide a (weakly) complete calculus for EPLTL. Finally, we conclude by pointing out some future work.

• Type: Conference
• Year: 2009
• Where: LFCS
• Authors: Pedro Baltazar, Paulo Mateus
• Keywords: Artificial Intelligence, Exogenous Probabilistic Linear, LFCS 2009, Probabilistic Propositional Logic, Temporal Logic