Towards Dynamic Probabilistic Logics: A Survey and a Proposal (2002)
by
Norihiro Ogata
@MISC{Ogata02towardsdynamic,
author = {Norihiro Ogata},
title = {Towards Dynamic Probabilistic Logics: A Survey and a Proposal},
year = {2002}
}
In this paper, I will briefly survey probabilistic logics and investigate logics of probabilistic epistemic change, conjectures, and discovery of chances by resourcebounded agents in the sense of the limitation of the available data and its temporal instability, called dynamic probabilistic logic (DP rL), based on probabilistic dynamic logics and probabilistic Kripke systems, of which equivalence is defined by probabilistic bisimulation.
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2010 The Pennsylvania State University
