Algorithmes de sélection

Nous avons construit deux algorithmes du mécanisme de sélection. L'un s'applique lorsque la mémoire possède un nombre fini d'éléments et l'autre est utilisé lorsque celle-ci est constitué d'un ensemble infini d'hypothèses, engendrées à l'aide d'un nombre fini de paramètres. Dans ce dernier cas, nous avons montré que la résolution de la contrainte (CO) engendre un ensemble d'hypothèses validées qui est la solution d'un problème d'inversion ensembliste. L'utilisation de l'analyse par intervalles nous permet de trouver deux ensembles d'hypothèses encadrant l'ensemble de solutions au problème inverse: l'algorithme SIVIA, de Jaulin et Walter, est utilisé dans cette résolution. Il permet, en outre, de résoudre le problème d'inversion dans des cas où celui-ci ne s'exprime pas à l'aide d'un système linéaire. Il fonctionne par découpages successifs du problème en boîtes possédant trois états possibles: tous les points de la boîte sont solution du problème inverse, aucun point n'est solution ou il existe un mélange des deux types de points.
Dans les deux cas (fini ou infini), les algorithmes garantissent de trouver l'intégralité des hypothèses validables à chaque pas de temps.