Une procédure de résolution de problème dans lequel le candidat des solutions sont générées à partir de chaque objectif possible d'un système axé sur les connaissances et les éléments de preuve est ensuite rassemblée pour déterminer si chacun est acceptable pour la situation actuelle. Voir aussi descendante de chaînage.