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.
CITATION STYLE
Sebag, M. (1994). Using constraints to building version spaces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 784 LNCS, pp. 257–271). Springer Verlag. https://doi.org/10.1007/3-540-57868-4_63
Mendeley helps you to discover research relevant for your work.