Using Constraints to Building Version Spaces

Our concern is building the set G of maximally general terms covering positive examples and rejecting negative examples in prepositional logic. Negative examples are represented as constraints on the search space. This representation allows for defining a partial order on the negative examples and on attributes too. It is shown that only minimal negative examples and minimal attributes are to be considered when building the set G. These results hold in case of a non-convergent data set. Constraints can be directly used for a polynomial characterization of G. They also allow for detecting erroneous examples in a data set.