Efficient Computation of Entropy Gradient for Semi-Supervised Conditional Random Fields Gideon S. Mann and Andrew McCallum Department of Computer Science University of Massachusetts Amherst, MA 01003 [email protected] , [email protected]

Abstract Entropy regularization is a straightforward and successful method of semi-supervised learning that augments the traditional conditional likelihood objective function with an additional term that aims to minimize the predicted label entropy on unlabeled data. It has previously been demonstrated to provide positive results in linear-chain CRFs, but the published method for calculating the entropy gradient requires significantly more computation than supervised CRF training. This paper presents a new derivation and dynamic program for calculating the entropy gradient that is significantly more efficient—having the same asymptotic time complexity as supervised CRF training. We also present efficient generalizations of this method for calculating the label entropy of all sub-sequences, which is useful for active learning, among other applications.

1

Introduction

Semi-supervised learning is of growing importance in machine learning and NLP (Zhu, 2005). Conditional random fields (CRFs) (Lafferty et al., 2001) are an appealing target for semi-supervised learning because they achieve state-of-the-art performance across a broad spectrum of sequence labeling tasks, and yet, like many other machine learning methods, training them by supervised learning typically requires large annotated data sets.

Entropy regularization (ER) is a method of semisupervised learning first proposed for classification tasks (Grandvalet and Bengio, 2004). In addition to maximizing conditional likelihood of the available labels, ER also aims to minimize the entropy of the predicted label distribution on unlabeled data. By insisting on peaked, confident predictions, ER guides the decision boundary away from dense regions of input space. It is simple and compelling—no preclustering, no “auxiliary functions,” tuning of only one meta-parameter and it is discriminative. Jiao et al. (2006) apply this method to linearchain CRFs and demonstrate encouraging accuracy improvements on a gene-name-tagging task. However, the method they present for calculating the gradient of the entropy takes substantially greater time than the traditional supervised-only gradient. Whereas supervised training requires only classic forward/backward, taking time O(ns2 ) (sequence length times the square of the number of labels), their training method takes O(n2 s3 )—a factor of O(ns) more. This greatly reduces the practicality of using large amounts of unlabeled data, which is exactly the desired use-case. This paper presents a new, more efficient entropy gradient derivation and dynamic program that has the same asymptotic time complexity as the gradient for traditional CRF training, O(ns2 ). In order to describe this calculation, the paper introduces the concept of subsequence constrained entropy—the entropy of a CRF for an observed data sequence when part of the label sequence is fixed. These methods will allow training on larger unannotated data set sizes than previously possible and support active

learning.

2

Semi-Supervised CRF Training

Lafferty et al. (2001) present linear-chain CRFs, a discriminative probabilistic model over observation sequences x and label sequences Y = hY1 ..Yn i, where |x| = |Y | = n, and each label Yi has s different possible discrete values. For a linear-chain CRF of Markov order one: ! X 1 pθ (Y |x) = exp θk Fk (x, Y ) , Z(x) k P where Fk (x, Y ) = i fk (x, Yi , Yi+1 , i), and the partition function Z(x) = P P Given training Y exp( k θk Fk (x, Y )). data D = hd1 ..dn i, the model is trained by maximizing the of the data P log-likelihood (d) (d) |x ) by gradient L(θ; D) = d log pθ (Y methods (e.g. Limited Memory BFGS), where the gradient of the likelihood is: X ∂ L(θ; D) = Fk (x(d) , Y (d) ) ∂θk d XX − pθ (Y |x(d) )Fk (x(d) , Y ). Y

d

The second term (the expected counts of the features given the model) can be computed in a tractable amount of time, since according to the Markov assumption, the feature expectations can be rewritten: X pθ (Y |x)Fk (x, Y ) =

This negative entropy term increases as the decision boundary is moved into sparsely-populated regions of input space.

3

An Efficient Form of the Entropy Gradient

In order to maximize the above objective function, the gradient for the entropy term must be computed. Jiao et al. (2006) perform this computation by: ∂ − H(Y |x) = covpθ (Y |x) [F (x, Y )]θ, ∂θ where covpθ (Y |x) [Fj (x, Y ), Fk (x, Y )] = Epθ (Y |x) [Fj (x, Y ), Fk (x, Y )] − Epθ (Y |x) [Fj (x, Y )]Epθ (Y |x) [Fk (x, Y )].

While the second term of the covariance is easy to compute, the first term requires calculation of quadratic feature expectations. The algorithm they propose to compute this term is O(n2 s3 ) as it requires an extra nested loop in forward/backward. However, the above form of the gradient is not the only possibility. We present here an alternative derivation of the gradient: ∂ ∂ X − H(Y |x) = pθ (Y |x) log pθ (Y |x) ∂θk ∂θk Y « X„ ∂ = pθ (Y |x) log pθ (Y |x) ∂θk Y „ « ∂ + pθ (Y |x) log pθ (Y |x) ∂θk X = pθ (Y |x) log pθ (Y |x) Y

Y

!

X X i

pθ (Yi , Yi+1 |x)fk (x, Yi , Yi+1 ).

×

u

0

0

pθ (Y |x)Fk (x, Y )

Y0

Yi ,Yi+1

A dynamic program (the forward/backward algorithm) then computes in time O(ns2 ) all the needed probabilities pθ (Yi , Yi+1 ), where n is the sequence length, and s is the number of labels. For semi-supervised training by entropy regularization, we change the objective function by adding the negative entropy of the unannotated data U = hu1 ..un i. (Here Gaussian prior is also shown.) X X θk L(θ; D, U ) = log pθ (Y (d) |x(d) ) − 2σ 2 n k X +λ pθ (Y (u) |x(u) ) log pθ (Y (u) |x(u) ).

Fk (x, Y ) −

X

! +

X Y

pθ (Y |x) Fk (x, Y ) −

X

0

0

pθ (Y |x)Fk (x, Y ) .

Y0

P P 0 0 PSince 0 Y pθ (Y |x) 0 Y 0 pθ (Y |X)Fk (x, Y ) = Y 0 pθ (Y |X)Fk (x, Y ), the second summand cancels, leaving: X ∂ − H(Y |x) = pθ (Y |x) log pθ (Y |x)Fk (x, Y ) ∂θ Y ! ! X X 0 0 − pθ (Y |x) log pθ (Y |x) pθ (Y |x)Fk (x, Y ) . Y

Y0

Like the gradient obtained by Jiao et al. (2006), there are two terms, and the second is easily computable given the feature expectations obtained by

forward/backward and the entropy for the sequence. However, unlike the previous method, here the first term can be efficiently calculated as well. First, the term must be further factored into a form more amenable to analysis: X pθ (Y |x) log pθ (Y |x)Fk (x, Y )

y3

α

α

H (0|y1) H (Y1|y2)

Y

=

X

=

X X

pθ (Y |x) log pθ (Y |x)

X

i

fk (x, Yi , Yi+1 , i)

Yi ,Yi+1

X

β

β

H (Y6|y5) H (0|y6)

fk (x, Yi , Yi+1 , i)

i

Y

y4

pθ (Y |x) log pθ (Y |x).

Figure

1: Partial lattice shown for computing the subsequence constrained entropy: P Once the Y p(Y−(3..4) , y3 , y4 ) log p(Y−(3..4) , y3 , y4 ). complete H α and H β lattices are constructed (in the direction of the arrows), the entropy for each label sequence can be computed in linear time.

Y−(i..i+1)

Here, Y−(i..i+1) = hY1..(i−1) Y(i+2)..n i. In order to efficientlyPcalculate this term, it is sufficient to calculate Y−(i..i+1) pθ (Y |x) log pθ (Y |x) for all pairs yi , yi+1 . The next section presents a dynamic program which can perform these computations in O(ns2 ).

4

Subsequence Constrained Entropy

We define subsequence constrained entropy as X H σ (Y−(a..b) |ya..b , x) = pθ (Y |x) log pθ (Y |x). Y−(a..b)

The key to the efficient calculation for all subsets is to note that the entropy can be factored given a linear-chain CRF of Markov order 1, since Yi+2 is independent of Yi given Yi+1 . X pθ (Y−(a..b) , ya..b |x) log pθ (Y−(a..b) , ya..b |x) Y−(a..b)

=

illustrates an example in which the constrained sequence is of size two, but the method applies to arbitrary-length contiguous label sequences. Computing the H α (·) and H β (·) lattices is easily performed using the probabilities obtained by forward/backward. First recall the decomposition formulas for entropy: H(X, Y ) = H(X) + H(Y |X) X H(Y |X) = P (X = x)H(Y |X = x). x

Using this decomposition, we can define a dynamic program over the entropy lattices similar to forward/backward: H α (Y1..i |yi+1 , x) =H(Yi |yi+1 , x) + H(Y1..(i−1) |Yi , yi+1 , x) X = pθ (yi |yi+1 , x) log pθ (yi |yi+1 , x) yi

X

pθ (ya..b |x)pθ (Y−(a..b) |ya..b , x)×

Y−(a..b)

 log pθ (ya..b |x) + log pθ (Y−(a..b) |ya..b , x) =pθ (ya..b |x) log pθ (ya..b |x) + pθ (ya..b |x)H σ (Y−(a..b) |ya..b , x) =pθ (ya..b |x) log pθ (ya..b |x) + pθ (ya..b |x)H α (Y1..(a−1) |ya , x) + pθ (ya..b |x)H β (Y(b+1)..n |yb , x). Given the H α (·) and H β (·) lattices, any sequence entropy can be computed in constant time. Figure 1

+

X

pθ (yi |yi+1 , x)H α (Y1..(i−1) |yi ).

yi

The base case for the dynamic program is H α (∅|y1 ) = p(y1 ) log p(y1 ). The backward entropy is computed in a similar fashion. The conditional probabilities pθ (yi |yi−1 , x) in each of these dynamic programs are available by marginalizing over the per-transition marginal probabilities obtained from forward/backward. The computational complexity of this calculation for one label sequence requires one run of forward/backward at O(ns2 ), and equivalent time to

calculate the lattices for H α and H β . To calculate the gradient requires one final iteration over all label pairs at each position, which is again time O(ns2 ), but no greater, as forward/backward and the entropy calculations need only to be done once. The complete asymptotic computational cost of calculating the entropy gradient is O(ns2 ), which is the same time as supervised training, and a factor of O(ns) faster than the method proposed by Jiao et al. (2006). Wall clock timing experiments show that this method takes approximately 1.5 times as long as traditional supervised training—less than the constant factors would suggest.1 In practice, since the three extra dynamic programs do not require recalculation of the dot-product between parameters and input features (typically the most expensive part of inference), they are significantly faster than calculating the original forward/backward lattice.

5

Confidence Estimation

In addition to its merits for computing the entropy gradient, subsequence constrained entropy has other uses, including confidence estimation. Kim et al. (2006) propose using entropy as a confidence estimator in active learning in CRFs, where examples with the most uncertainty are selected for presentation to humans labelers. In practice, they approximate the entropy of the labels given the N-best labels. Not only could our method quickly and exactly compute the true entropy, but it could also be used to find the subsequence that has the highest uncertainty, which could further reduce the additional human tagging effort.

6

Related Work

Hernando et al. (2005) present a dynamic program for calculating the entropy of a HMM, which has some loose similarities to the forward pass of the algorithm proposed in this paper. Notably, our algorithm allows for efficient calculation of entropy for any label subsequence. Semi-supervised learning has been used in many models, predominantly for classification, as opposed to structured output models like CRFs. Zhu (2005) 1

Reporting experimental results with accuracy is unnecessary since we duplicate the training method of Jiao et al. (2006).

provides a comprehensive survey of popular semisupervised learning techniques.

7

Conclusion

This paper presents two algorithmic advances. First, it introduces an efficient method for calculating subsequence constrained entropies in linear-chain CRFs, (useful for active learning). Second, it demonstrates how these subsequence constrained entropies can be used to efficiently calculate the gradient of the CRF entropy in time O(ns2 )— the same asymptotic time complexity as the forward/backward algorithm, and a O(ns) improvement over previous algorithms—enabling the practical application of CRF entropy regularization to large unlabeled data sets.

Acknowledgements This work was supported in part by DoD contract #HM158206-1-2013, in part by The Central Intelligence Agency, the National Security Agency and National Science Foundation under NSF grant #IIS-0427594, and in part by the Defense Advanced Research Projects Agency (DARPA), through the Department of the Interior, NBC, Acquisition Services Division, under contract number NBCHD030010. Any opinions, findings and conclusions or recommendations expressed in this material belong to the author(s) and do not necessarily reflect those of the sponsor.

References Y. Grandvalet and Y. Bengio. 2004. Semi-supervised learning by entropy minimization. In NIPS. D. Hernando, V. Crespi, and G. Cybenko. 2005. Efficient computation of the hidden markov model entropy for a given observation sequence. IEEE Trans. on Information Theory, 51:7:2681–2685. F. Jiao, S. Wang, C.-H. Lee, R. Greiner, and D. Schuurmans. 2006. Semi-supervised conditional random fields for improved sequence segmentation and labeling. In COLING/ACL. S. Kim, Y. Song, K. Kim, J.-W. Cha, and G. G. Lee. 2006. Mmr-based active machine learning for bio named entity recognition. In HLT/NAACL. J. Lafferty, A. McCallum, and F. Pereira. 2001. Conditional random fields: Probabilistic models for segmenting and labeling sequence data. In Proceedings of ICML, pages 282– 289. X. Zhu. 2005. Semi-supervised learning literature survey. Technical Report 1530, Computer Sciences, University of Wisconsin-Madison.

Efficient Computation of Entropy Gradient for Semi ...

part of the label sequence is fixed. These meth- ods will allow training on larger unannotated data set sizes than previously possible and support active ...

187KB Sizes 14 Downloads 249 Views

Recommend Documents

Efficient Computation of Regularized Boolean ...
enabled the development of simple and robust algorithms for performing the most usual and ... Some practical applications of the nD-EVM are also commented. .... Definition 2.3: We will call Extreme Vertices of an nD-OPP p to the ending ...

Efficient Computation of PageRank
Oct 18, 1999 - related algorithm used by the IBM HITS system maintains a hub and an authority ..... We partition Links into β links files Links0, . . . , Linksβ−1,.

Efficient Computation of Happens-Before Relation for Event-Driven ...
focus on Android applications whose HB relation is well studied in literature [2, 8, 17]. ... chain decomposition [10], wherein all events corresponding to a chain of ...

Parallel Computing System for efficient computation of ...
Parallel programming considerations. • The general process is executed over the CPU. – Host Code: C++. • The string comparison process is made in parallel.

Efficient Computation of Happens-Before Relation for Event-Driven ...
focus on Android applications whose HB relation is well studied in literature [2, 8, 17]. Similar to .... race detector for Android applications, also addresses the problem of e cient computation ...... driven Mobile Applications. In Proceedings of t

Efficient Computation of Significance Levels for Multiple ...
Jul 19, 2004 - to screen thousands of candidate genes for disease asso- ciations at ..... tween loci, since the length of shared haplotypes is greater than in a ...

Efficient computation with taste shocks
Feb 27, 2018 - Optimal replacement of GMC bus engines: An empirical model of Harold Zurcher. Econo- metrica, 55(5):999–1033, 1987. J. Rust. Structural estimation of markov decision processes. In R. F. Engle and D. L. McFadden, editors, Handbook of

Efficient Graph-Based Semi-Supervised Learning of ... - Slav Petrov
improved target domain accuracy. 1 Introduction. Semi-supervised learning (SSL) is the use of small amounts of labeled data with relatively large amounts of ...

Efficient uncertainty computation for modal parameters ...
NOVI Science Park, Niels Jernes Vej 10, 9220 Aalborg East, Denmark. Abstract. Stochastic Subspace Identification methods have been extensively used for the modal analysis of mechanical, civil or aeronautical structures for the last ten years to estim

Efficient Computation of Multivariable Transfer Function ...
ROMMES AND MARTINS: EFFICIENT COMPUTATION OF MULTIVARIABLE TRANSFER FUNCTION DOMINANT POLES. 1473. The Newton scheme then becomes where is the eigentriplet of corresponding to . An algorithm, very similar to the DPA algorithm [12], for the com- putat

Efficient computation of large scale transfer ... - Mathematical Institute
Imag axis (rad/s). Figure 4: Pole-zero map of the 46 × 46 transfer matrix for disturbance channels. Circles denote the transfer function zeros and stars denote the ...

An Exact, Complete and Efficient Computation of ...
type represents a general curve that may be self-intersecting and can comprise ...... Pentium IV machine with 2 GB of RAM, running a Linux operating system. ... Arrangement size. IRIT floating- Conic-arc Exact Bézier Filtered Bézier. File. |V|.

Efficient Computation of 3D Clipped Voronoi Diagram
widely used in various fields, especially in computer graphics and geom- ... reader is referred to [4, 10, 15] for the properties and applications of the Voronoi ..... the experimental results are tested on a laptop with 2.4Ghz processor and 2Gb.

An Exact, Complete and Efficient Computation of ...
a planar point, representing a curve endpoint or an intersection between two curves (or more), and ... 2See the CGAL project homepage, at http://www.cgal.org/ .

Efficient Distributed Computation of Distance Sketches ...
ment, load balancing, monitoring overlays, and several other problems in ...... covery of consistent availability monitoring overlays for dis- tributed systems.

Efficient Computation of Transfer Function Dominant ... - IEEE Xplore
Jan 12, 2006 - and produce good modal equivalents automatically, without any ... modal equivalents, model reduction, poorly-damped oscillations,.

Efficient Computation of Transfer Function Dominant ... - IEEE Xplore
Jan 12, 2006 - dominant poles of a high-order scalar transfer function. The al- gorithm ... power system dynamics, small-signal stability, sparse eigenanal-.

Efficient Computation of Sum-products on GPUs ...
Bayesian networks on an NVIDIA GeForce 8800GTX GPU over an optimized CPU version on a single core of a 2.4 GHz Intel Core. 2 processor with 4 MB L2 cache. For sufficiently large inputs the speedups reach 2700. The significant contributor to the speed

Efficient computation of large scale transfer ... - Mathematical Institute
zeros can be computed as the dominant poles of the inverse transfer function by .... As the controller K is determined by the designer and is, in general, of small ...

Efficient Human Computation: the Distributed Labeling ...
of representatives such that ai. ∈. {x1,...,xn} ... ability of seeing an instance from the class of ai. Outputs: a partition of the ..... voc2007/workshop/index.html, 2007.

Efficient Human Computation: the Distributed Labeling ...
5. While G is not empty. (a) For i = 0 ...r − 1 i. Partition the remaining points in the graph into sets of ..... the C3 algorithm is that the C4 algorithm sends teachers.

Functional Gradient Descent Optimization for ... - public.asu.edu
{v1,...,vp} of Vehicles Under Test (VUT). The state vector for the overall system is x ..... [2] K. Bengler, K. Dietmayer, B. Farber, M. Maurer, C. Stiller, and. H. Winner ...