Robustly parameterised higher-order probabilistic models

Abstract : We present a method for constructing robustly parameterised families of higher-order probabil-istic models. Parameter spaces and models are represented by certain classes of functors in the category of Polish spaces. Maps from parameter spaces to models (parameterisations) are continuous and natural transformations between such functors. Naturality ensures that parameterised models are invariant by change of granularity – ie that parameterisations are intrinsic. Continuity ensures that models are robust with respect to their parameterisation. Our method allows one to build models from a set of basic functors among which the Giry probabilistic functor, spaces of cadlag trajectories (in continuous and discrete time), multisets and compact powersets. These functors can be combined by guarded composition, product and coproduct. Parameter spaces range over the polynomial closure of Giry-like functors. Thus we obtain a class of robust para-meterised models which includes the Dirichlet process, point processes and other classical objects of probability theory such as the de Finetti theorem. By extending techniques developed in prior work, we show how to reduce the questions of existence, uniqueness, naturality, and continuity of a parameterised model to combinatorial questions only involving finite spaces. 1998 ACM Subject Classification Semantics of programming languages
Type de document :
Communication dans un congrès
27th International Conference on Concurrency Theory, 2016, Québec City, Canada. 27th International Conference on Concurrency Theory. 〈10.4230/LIPIcs.CONCUR.2016.23〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01429651
Contributeur : Ilias Garnier <>
Soumis le : lundi 9 janvier 2017 - 09:05:03
Dernière modification le : samedi 14 janvier 2017 - 01:20:13
Document(s) archivé(s) le : lundi 10 avril 2017 - 12:54:58

Fichier

concur2016.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier. Robustly parameterised higher-order probabilistic models. 27th International Conference on Concurrency Theory, 2016, Québec City, Canada. 27th International Conference on Concurrency Theory. 〈10.4230/LIPIcs.CONCUR.2016.23〉. 〈hal-01429651〉

Partager

Métriques

Consultations de
la notice

85

Téléchargements du document

22