Introduction

Dans la section précédente, nous avons développé un algorithme traitant du cas où l'ensemble des hypothèses est fini. On peut envisager que l'ensemble des hypothèses soit infini. Dans ce cas, l'algorithme précédent ne s'applique plus. Dans cette section, nous nous limitons aux cas où l'ensemble des fonctions génératrices C(t) s'expriment en fonction de paramètres continus. Nous montrerons alors qu'il est possible de trouver un algorithme, utilisant le calcul sur les intervalles, qui permet d'encadrer l'ensemble des hypothèses valides d'une manière fiable à l'aide de deux ensembles: l'un contenant l'ensemble des solutions et l'autre étant inclus dans celui-ci.