Modeling infinite probabilistic choices using an ultrametric version of kernels

Joint work with Erik de Vink (University of Eindhoven)

In this presentation the applicability of an ultrametric version of stochastic kernels, which extend the notion of compact support measures, is studied in the context of a language with random assignment. In the random assignment the value assigned to a variable is selected according to a measure over the ultrametric space of values. To find the operational meaning for a program in this language it is necessary to compose the measures of different random assignments in the program. To be able to do this, the operational semantics is modeled as a kernel.

It is shown that the version of kernels used fits well within the metric framework. The use of ultrametric kernels, however, restrict the possible applications. An important example of infinite probabilistic choices are those made according to a continuous distributions over the real numbers. As the space of real numbers with the usual Euclidean metric is not an ultrametric space, it cannot be used as a space of values. The limitations created by the use of ultrametric spaces as well as a way of modeling spaces like the natural numbers and the real number using ultrametric spaces are illustrated by giving some simple examples.

Reasoning about probability and nondeterminism

In previous presentations a notion of probabilistic predicate and a Hoare style logic have been introduced. A basic probabilistic predicate gives the probability of a certain property. The predicates can be combined with both logical operators and arithmetical operators.

In this presentation a language with both nondeterminism and probability is …

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 …

Page 1 / 1

ACG

Other presentations

Reasoning about probability and nondeterminism

Modeling continuous probabilistic choice using stochastic kernels

Other presentations

hosted by

social