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

Francois Fages (1) , Julien Martin (1)

1 CONTRAINTES - Constraint programming

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.

Domaines: Langage de programmation [cs.PL]

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⟩