Raisonner et filtrer avec un choix probabiliste partiellement connu - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Raisonner et filtrer avec un choix probabiliste partiellement connu

Matthieu Petit
  • Fonction : Auteur
  • PersonId : 945280
Arnaud Gotlieb
  • Fonction : Auteur
  • PersonId : 830099

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.
Fichier principal
Vignette du fichier
12.pdf (290.1 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00085780 , version 1 (14-07-2006)

Identifiants

  • HAL Id : inria-00085780 , version 1

Citer

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⟩
88 Consultations
26 Téléchargements

Partager

Gmail Facebook X LinkedIn More