COLETTE, Prototyping CSP Solvers Using a Rule-Based Language

Carlos Castro 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We are interested in modelling constraint solving as a deduction process. In previous works we have described how a constraint solver can be viewed as a strategy that specifies the order of application of a set of rules, to transform a set of constraints into a solved form. In this framework, the computation process is associated to a constructive proof of a formula. On one hand, the use of transformation rules allows to prove termination in a very easy way. On the other, the use of strategies allows to describe constraint handling in a very abstract way, prototype new heuristics almost by modifying only the choice of rules, and combine constraint solver in the same theoretical framework. In this paper, we introduce COLETTE, an implementation of these ideas using ELAN, a rule-based language. We exemplify step by step how a flexible strategy language allows to prototype existing algorithms for solving CSPs. The theoretical and practical results show that this approach could be useful for better understand constraint solving.
Type de document :
Communication dans un congrès
Jacques Calmet, Jan Plaza. Proceedings of The Fourth International Conference on Artificial Intelligence & Symbolic Computation, Theory, Implementations and Applications - AISC'98, 1998, Plattsburgh, New York, USA, 1476, pp.107-119, 1998, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00098514
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:03
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00098514, version 1

Collections

Citation

Carlos Castro. COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. Jacques Calmet, Jan Plaza. Proceedings of The Fourth International Conference on Artificial Intelligence & Symbolic Computation, Theory, Implementations and Applications - AISC'98, 1998, Plattsburgh, New York, USA, 1476, pp.107-119, 1998, Lecture Notes in Computer Science. 〈inria-00098514〉

Partager

Métriques

Consultations de la notice

75