Suppose that the hypothesis (not necessarily a decision committee, it might be *e.g.* a decision tree) we build realizes a partition of the domain into disjoint subsets
. Fix as
the function returning the truth value of a predicate . Define

In other words, represents the fraction of examples of class present in subset , and represents the fraction of examples of classes present in subset . According to Schapire Singer (1998), a weak learner should minimize the criterion:

(1) |

In the case of a decision tree, the partition is that which is built at the leaves of the tree [Quinlan1994] ; in the case of a decision list, the partition is that which is built at each rule, to which we add the subset associated to the default class [Nock Jappy1998]. Suppose that we encode the decision tree in the form of a subset of monomials, by taking for each leaf the logical- of all attributes from the root to the leaf. Measuring over the tree's leaves is equivalent to measure over the partition realized by the set of monomials. However, the monomials are disjoint from each other (each example satisfies exactly one monomial). Due to this property, only subsets can be realized with monomials, or equivalently with a tree having leaves.

Suppose that we generalize this observation by removing the disjointness condition over the monomials. Then a number of subsets of order is now possible with only monomials, and it appears that the number of realized partitions can be exponentially larger using decision committees than decision trees. However, the expected running time is not bigger when using decision committees, since the number of partitions is in fact bounded by the number of examples, . Thus, we may expect some reduction in the size of the formula we build when using decision committee, which is of interest to interpret the classifier obtained.

Application of this principle in WIDC is straightforward: a large decision committee is built by growing iteratively, in a top-down fashion, a current monomial. In this monomial, the literal added at the current step is the one which minimizes the current criterion, over all possible addition of literals, and given that the new monomial does not exist already in the current decision committee (in order to prevent multiple additions of a single monomial). The criterion is computed using the partition induced over by the current set of monomials built (if two examples satisfy the same monomials, they belong to the same subset of the partition). When no further addition of a literal decreases the value, a new monomial is created and initialized at , and then is grown using the same principle. When no further creation of a monomial decreases the value, the algorithm stops and returns the current, large decision committee with still empty vectors. In the following step, WIDC calculates these vectors. In a previous approach to building rule sets for problems with two classes [Cohen Singer1999], an iterative growing-pruning algorithm is designed (SLIPPER). The rule-growing approach of SLIPPER is certainly close to what WIDC does for growing a DC since it optimizes a criterion, yet a notable difference is that it does not compute over a partition induced by a set of rules. Rather, the choice of SLIPPER is to grow at each step a