Modeling continuous probabilistic choice using stochastic kernels

Joint work with Erik de Vink (at KPN Research by that time)

To model discrete probabilistic choices summation of measures can be used. For continues choices, e.g. selection of a number in [0,1], integration is required. To enable the use of integration, stochastic kernels are introduced. The use of these kernels in giving operational and denotational semantics is illustrated for a finite' language. To prepare for the modeling ofinfinite' language, e.g. with recursion, a metric is defined on the kernels. Some open issues that remain with the application of this metric are discussed.  

hosted by