How to make a logic probabilistic? PDF slides

Pedro Baltazar
Security and Quantum Information Group (SQIG) Technical University of Lisbon, Portugal

01/14/2011, 3:30 PM, GHC-6501


Probabilization is an operation that takes a logic system (the base system) and returns an enrichment with probability features (the probabilized system). The operation is called exogenous if both the syntax and semantics of the base logic are preserved, and is called endogenous otherwise. In this talk we explore the former operation in the more general setting of exogenous combination of logics. In this framework general results on the transference of meta-properties such as decidability and completeness are obtained. Capitalizing on the previous results, we present the particular cases of exogenous probabilization and of temporalization, where completeness and decidability are addressed. Finally, we motivate the applicability of our results on verification of probabilistic systems and on the study of probabilistic logics.


Pedro Baltazar received his Ph.D. in Mathematics from the Technical University of Lisbon in 2010. He has been working on combination of logic systems and the transference of meta-proprieties such as completeness, decidability and interpolation. In particular, his work has been focused in studying the probabilization and the temporalization of logics systems.



Content for class "clear" Goes Here
nsfSupported by an Expeditions in Computing award from the National Science Foundation