Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD)

Issue title: On the Italian Conference on Computational Logic: CILC 2009

Article type: Research Article

Authors: Campagna, Dario | De Rosa, Christian | Dovier, Agostino | Montanari, Angelo | Piazza, Carla

Affiliations: Dept. of Mathematics and Computer Science, University of Perugia, Italy. [email protected] | Acritas s.r.l., Martignacco (UD), Italy. [email protected] | Dept. of Mathematics and Computer Science, University of Udine, Italy. [email protected] | Dept. of Mathematics and Computer Science, University of Udine, Italy. [email protected] | Dept. of Mathematics and Computer Science, University of Udine, Italy. [email protected]

Note: [] Address for correspondence: Department of Mathematics and Computer Science, University of Udine, Italy

Abstract: Product configuration systems are an emerging software technology that supports companies in deploying mass customization strategies. In this paper, we describe a CLP-based reasoning engine that we developed for a commercial configuration system. We first illustrate the advantages of the CLP approach to product configuration over other ones. Then, we describe the actual encoding of the considered product configuration problem as a constraint satisfaction problem. We devote a special attention to the key issues of constraint propagation and optimization as well as to the relevant process of assignment revision. A comparison with existing systems for product configuration concludes the paper.

DOI: 10.3233/FI-2010-360

Journal: Fundamenta Informaticae, vol. 105, no. 1-2, pp. 105-133, 2010