Constraint-Based Reasoning on Probabilistic Choice Operators

Matthieu Petit 1 Arnaud Gotlieb 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Probabilistic Concurrent Constraint Programming (PCCP) extends concurrent constraint languages with a probabilistic choice operator. This operator has proved to be useful in implementing randomized algorithms as well as stochastic processes. In this report, we present a filtering algorithm dedicated to the probabilistic choice operator which permits to address new kind of applications where probabilistic choices are partially known. This filtering algorithm helps to deduce information on the possible values of the probabilistic choice without requiring its full valuation. An implementation under the form of a library of SICStus Prolog is presented.
Type de document :
Rapport
[Research Report] RR-6165, INRIA. 2007, pp.21
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00140886
Contributeur : Rapport de Recherche Inria <>
Soumis le : mardi 24 avril 2007 - 12:09:29
Dernière modification le : mercredi 16 mai 2018 - 11:23:03
Document(s) archivé(s) le : lundi 27 juin 2011 - 15:45:40

Fichiers

RR-6165.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00140886, version 2

Citation

Matthieu Petit, Arnaud Gotlieb. Constraint-Based Reasoning on Probabilistic Choice Operators. [Research Report] RR-6165, INRIA. 2007, pp.21. 〈inria-00140886v2〉

Partager

Métriques

Consultations de la notice

128

Téléchargements de fichiers

51