Practical Applications of a Constraint FrameworkAdmin User, created Nov 27. 2013
Jan Burse, XLOG Technologies GmbH, 8004 Zürich, Schweiz November 27th, 2013, EPFL BC 410, 1015 Lausanne, Switzerland SGAICO Annual Assembly and Workshop
1 AbstractIn 2011 we decided to modernize a couple of applications by means of techniques from logic programming. In the focus there were an application for the automatic extraction of process profiles from catalogue texts and an application for the manual configuration of bill of materials from process profiles. Of interest was the technique of constraint programming. Our requirements were availability in a JVM and adaptability through declarative rules. Part of our requirements point to so called constraint handling rules (CHR). All of our requirements are not covered by existing solutions. We therefore decided to develop a custom solution. In 2012 we could complete first prototypes based on forward chaining rules. Since 2013 we additionally base our prototypes on attribute variables, which allow the connection of constraints with Prolog unification. Our experience is largely positive. In some cases the old applications did already use a constraint store, which we could replace by a more efficient variant. In other cases we replaced algorithms based on decision trees by more economic algorithms based on constraint solvers. The work also showed some gaps of classical constraint solving concerning our applications.
2 References[Ben-Ari 2012] Ben-Ari, M.: Mathematical Logic for Computer Science, Springer; 3rd ed., 2012 [Apt 2003] Apt, K.R.: Principles of Constraint Programming, Cambridge University Press, 2003 [Burse 2012] Burse, J.: Bedeutungsextraktion als Deduktion, Präsentation an der 22. Meeting of the Computer Linguistic Students, University Trier, Germany, June, 2012 [Dahl and Blanche 2005] Dahl, V. and Blanche, P.: Extracting Selected Phrases through Constraint Satisfaction, International Workshop on Constraint Solving and Language Processing, 2005 [Bagheti et al 2012] Bagheti, E., Di Noia, T., Casevic, D. and Ragone, A.: Formalizing Interactive Staged Feature Model Configuration, Journal of Software: Evolution and Process 24(4):375-400 (2012)