Des règles aux contraintes avec le langage de modélisation Rules2CP - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

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

(1) , (1)
1
Francois Fages
Julien Martin
  • Function : Author
  • PersonId : 850109

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00292793 , version 1

Cite

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⟩
76 View
129 Download

Share

Gmail Facebook Twitter LinkedIn More