Raisonner et filtrer avec un choix probabiliste partiellement connu

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
Résumé : La Programmation Concurrente par Contraintes Probabilistes (PCCP) étend la Programmation Concur- rente par Contraintes (CCP) par l'ajout d'un opérateur de choix probabiliste. Cet opérateur permet d'introduire de l'aléa dans l'exécution d'un processus de CCP. Dans cet article, les fonctionnalités de cet opérateur sont éten- dues afin de raisonner avec un choix probabiliste partiel- lement connu. Pour cela, nous définissons l'opérateur de choix probabiliste comme un nouveau combinateur de contraintes et lui associons un algorithme de filtrage. Cet algorithme de filtrage permet, la plupart du temps, d'accélérer la propagation de contraintes. L'implanta- tion sous la forme d'une nouvelle librairie d'opérateurs de choix probabilistes pour SICStus Prolog ainsi qu'une validation expérimentale est présentée.
Type de document :
Communication dans un congrès
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, 2006
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00085780
Contributeur : Laurent Henocque <>
Soumis le : vendredi 14 juillet 2006 - 10:13:51
Dernière modification le : jeudi 11 janvier 2018 - 06:20:09
Document(s) archivé(s) le : mardi 6 avril 2010 - 00:08:21

Fichier

Identifiants

  • HAL Id : inria-00085780, version 1

Collections

Citation

Matthieu Petit, Arnaud Gotlieb. Raisonner et filtrer avec un choix probabiliste partiellement connu. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, 2006. 〈inria-00085780〉

Partager

Métriques

Consultations de la notice

120

Téléchargements de fichiers

44