Contribution a la résolution de contraintes sur les réels par propagation d'intervalles

Contribution to the study of interval propagation algorithms

• Auteur / Autrice : Olivier Lhomme
• Direction : Michel Rueher
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1994
• Etablissement(s) : Nice

Résumé

Les algorithmes de propagation d'intervalles sont utilisés pour approximer les domaines de variation des variables d'un système de contraintes (polynomiales, trigonométriques ou logarithmiques). Dans un premier temps, nous étudions ces algorithmes et proposons notamment une formalisation en termes de consistances partielles. Nous introduisons ensuite une famille de consistances partielles ainsi que des algorithmes associés qui fournissent de meilleures approximations des domaines de variation des variables. Ces techniques sont implantées dans le systeme interlog II, qui est sommairement présenté