Monday 5/9/2016, h15.30, meeting room, A predicate/state transformer semantics for Bayesian learning
by Announcements of talks＠IDSIA
Dear All,
Fabio Zanasi (http://www.zanasi.com/fabio/) will give a talk about
Category theory and how classical and quantum probability inference can
be formulated in the language of Category theory. These are title and
abstract of his talk.
Title: A predicate/state transformer semantics for Bayesian learning
Abstract:
This work establishes a link between Bayesian inference (learning) and
predicate/state transformer operations from programming semantics and
logic. In particular, we give a very general formulation of backward and
forward inference, in the language of category theory. Our abstract
definition will be then illustrated in various examples in discrete and
continuous
probability theory and also in quantum theory.
8 years, 3 months
- 1
- 1
- ← Newer
- 1
- Older →