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.
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/inria-00085780
Contributor : Laurent Henocque <>
Submitted on : Friday, July 14, 2006 - 10:13:51 AM
Last modification on : Friday, November 16, 2018 - 1:23:30 AM
Long-term archiving on : Tuesday, April 6, 2010 - 12:08:21 AM

File

Identifiers

  • HAL Id : inria-00085780, version 1

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. ⟨inria-00085780⟩

Share

Metrics

Record views

166

Files downloads

50