Generalized Interval Projection: A New Technique for Consistent Domain Extension

Carlos Grandón 1 Gilles Chabert 1 Bertrand Neveu 1, 2
1 COPRIN - Constraints solving, optimization and robust interval analysis
CRISAM - Inria Sophia Antipolis - Méditerranée , ENPC - École des Ponts ParisTech
2 Algorithms, architectures, image analysis and computer graphics
CERTIS - Centre d'Enseignement et de Recherche en Technologies de l'Information et Systèmes
Abstract : This paper deals with systems of parametric equations over the reals, in the framework of interval constraint programming. As parameters vary within intervals, the solution set of a problem may have a non null volume. In these cases, an inner box (i.e., a box included in the solution set) instead of a single punctual solution is of particular interest, because it gives greater freedom for choosing a solution. Our approach is able to build an inner box for the problem starting with a single point solution, by consistently extending the domain of every variable. The key point is a new method called "generalized projection". The requirements are that each parameter must occur only once in the system, variable domains must be bounded, and each variable must occur only once in each constraint. Our extension is based on an extended algebraic structure of intervals called generalized intervals, where improper intervals are allowed (e.g. [1,0]).
Type de document :
Communication dans un congrès
IJCAI'07 - Twentieth International Joint Conference on Artificial Intelligence, 2007, India. pp.94-99, 2007
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00486722
Contributeur : Gilles Chabert <>
Soumis le : mercredi 26 mai 2010 - 15:11:50
Dernière modification le : mercredi 29 juillet 2015 - 01:23:52
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 15:16:56

Fichier

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

Identifiants

  • HAL Id : hal-00486722, version 1

Collections

Citation

Carlos Grandón, Gilles Chabert, Bertrand Neveu. Generalized Interval Projection: A New Technique for Consistent Domain Extension. IJCAI'07 - Twentieth International Joint Conference on Artificial Intelligence, 2007, India. pp.94-99, 2007. <hal-00486722>

Partager

Métriques

Consultations de
la notice

225

Téléchargements du document

92