Des règles aux contraintes avec le langage de modélisation Rules2CP - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2008

Des règles aux contraintes avec le langage de modélisation Rules2CP

Francois Fages
Julien Martin
  • Fonction : Auteur
  • PersonId : 850109

Résumé

Dans cet article, nous montrons que le paradigme de représentation des connaissances règles métier, large- ment utilisé dans l'industrie, peut être développé comme un langage de modélisation pour la programmation par contraintes. Nous présentons un langage de modélisation général à base de règles, nommé Rules2CP, et décrivons sa compilation vers des programmes de contraintes sur les domaines finis avec contraintes réifiées et contraintes globales, basée sur la réécriture de termes et l'évaluation partielle. Nous prouvons la conuence de ces transformations et fournissons une borne de complexité sur la taille des programmes de contraintes génerés. L'expressivité de Rules2CP est illustrée avec une librairie complète de modélisation des problèmes de placement, appellée PKML, qui, en plus des problèmes purs Bin Packing et Bin Design, gère des règles de bon sens portant sur des contraintes de poids, de gravité et d'équilibre, ainsi que des règles métiers spécifiques compilées efficacement en des programmes de contraintes.
Fichier principal
Vignette du fichier
pages-361-371-article46.pdf (297.86 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00292793 , version 1 (02-07-2008)

Identifiants

  • HAL Id : inria-00292793 , version 1

Citer

Francois Fages, Julien Martin. Des règles aux contraintes avec le langage de modélisation Rules2CP. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.361-371. ⟨inria-00292793⟩
93 Consultations
149 Téléchargements

Partager

More