For some hypothesis classes and input distributions, active agnostic learning needs exponentially fewer samples than passive learning; for other classes and distributions, it offers little to no improvement. The most popular algorithms for agnostic active learning express their performance in terms of a parameter called the disagreement coefficient, but it is known that these algorithms are inefficient on some inputs. We take a different approach to agnostic active learning, getting an algorithm that is competitive with the optimal algorithm for any binary hypothesis class H and distribution DX over X. In particular, if any algorithm can use m∗ queries to get O(η) error, then our algorithm uses O(m∗log∣H∣) queries to get O(η) error. Our algorithm lies in the vein of the splitting-based approach of Dasgupta [2004], which gets a similar result for the realizable (η=0) setting. We also show that it is NP-hard to do better than our algorithm's O(log∣H∣) overhead in general.
Figures & tables
λ(h)
Values h(x)
h1
0.9
1111 1111
h2
0.1−10−6
1111 0000
h3
10−6
0000 1110
y
0000 1111
Figure 1: An example demonstrating that the weight of the true hypothesis can decrease if λ is concentrated on the wrong ball. In this example, the true labels y are closest to h3 . But if the prior λ on hypotheses puts far more weight on h1 and h2 , the algorithm will query uniformly over where h1 and h2 disagree: the second half of points. Over this query distribution, h1 is more correct than h3 , so the weight of h3 can actually decrease if λ(h1) is very large.
Algorithm 1 Competitive Algorithm for Active Agnostic Learning
Department of Statistics, University of Washington · Department of Computer Science, Duke University · Department of Sociology, University of Washington