Raisonner et filtrer avec un choix probabiliste partiellement connu - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Raisonner et filtrer avec un choix probabiliste partiellement connu

Matthieu Petit
  • Function : Author
  • PersonId : 945280
Arnaud Gotlieb
  • Function : Author
  • PersonId : 830099

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00085780 , version 1

Cite

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⟩
112 View
22615 Download

Share

Gmail Facebook Twitter LinkedIn More