From Rules to Constraint Programs with the Rules2CP Modelling Language

Abstract : In this paper, we show that the business rules knowledge representation paradigm, which is widely used in the industry, can be developped as a front-end modelling language for constraint programming. We present a general purpose rule-based modelling language, called Rules2CP, and describe its compilation to constraint programs over finite domains with reified and global constraints, using term rewriting and partial evaluation. We prove the confluence of these transformations and provide a complexity bound on the size of the generated programs. The expressiveness of Rules2CP is illustrated with a complete library for packing problems, called PKML, which, in addition to pure bin packing and bin design problems, can deal with common sense rules about weights, stability, as well as specific packing business rules which compile efficiently into constraints.
Type de document :
Rapport
[Research Report] RR-6495, INRIA. 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00270326
Contributeur : François Fages <>
Soumis le : vendredi 11 avril 2008 - 16:11:44
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 22:28:32

Fichier

FM08rr.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00270326, version 2

Collections

Citation

Francois Fages, Julien Martin. From Rules to Constraint Programs with the Rules2CP Modelling Language. [Research Report] RR-6495, INRIA. 2008. 〈inria-00270326v2〉

Partager

Métriques

Consultations de la notice

143

Téléchargements de fichiers

1031