Nous définissons syntactiquement une sous-classe de listes de decision (tree-like decision lists) et nous montrons son équivalence avec la classe des arbres de décision de rang borné. Comme sous-produit, le théorème principal fournit une preuve alternative et plus simple du Théorème d'inclusion de Blum. En plus, nous donnnons une procédure d'inversion pour la dérivation de Blum d'une liste de décision à partir d'un arbre de décision de rang borné.%We define syntactically a sub-class of decision lists ftree-like decision lists) and we show its equivalence with the class of bounded rank decision trees. As a by-product, the main theorem provides an alternate and easier proof of the Blum's containement Theorem. Furthermore we give an inversion procedure for Blum's derivation of a decision list from a bounded rank decision tree.
展开▼
