Language modeling is important for almost all natural language processing tasks: speech recognition, spelling correction, machine translation, etc. Today I’ll go over Kneser-Ney smoothing, a historically important technique for language model smoothing.
A language model estimates the probability of an n-gram from a training corpus. The simplest way to get a probability distribution over n-grams from a corpus is to use the MLE. That is, the probability of an n-gram is simply the number of times it appears divided by the number of n-grams. Usually we’re interested in the conditional probability of the last word, given the context of the last (n-1) words:
where C(x) is the number of times that x appears and L is the set of all possible words.
The problem with the MLE arises when the n-gram you want a probability for was not seen in the data; in these cases the MLE will simply assign a probability of zero to the sequences. This is an inevitable problem for language tasks because no matter how large your corpus is it’s impossible for it to contain all possibilities of n-grams from the language.
(About a month ago I also wrote about how to use a trigram character model to generate pronounceable anagrams. Can you see why smoothing was unnecessary for a character model?)
The solution is to “smooth” the language models to move some probability towards unknown n-grams. There are many ways to do this, but the method with the best performance is interpolated modified Kneser-Ney smoothing. I’ll explain the intuition behind Kneser-Ney in three parts:
To retain a valid probability distribution (i.e. one that sums to one) we must remove some probability mass from the MLE to use for n-grams that were not seen in the corpus. Absolute discounting does this by subtracting a fixed number D from all n-gram counts. The adjusted count of an n-gram is .
After we’ve assured that we have probability mass to use for unknown n-grams, now we still need to figure out how to actually estimate the probability of unknown n-grams.
A clever way to do this is to use lower order models. Suppose your language model estimates the probabilities of trigrams. When you come across an unknown trigram, e.g. (‘orange’, ‘cat’, ‘pounced’), although the trigram may be unknown, the bigram suffix, (‘cat’, ‘pounced’), may be present in the corpus. So, when creating a language model, we don’t merely calculate the probabilities of all N-grams, where N is the highest order of the language model, we estimate probabilities for all k-grams where .
Interpolation recursively combines probabilities of all lower-order models to get the probability of an n-gram:
The recursion stops at the unigram model:
is known as the back-off weight. It is simply the amount of probability mass we left for the next lower order model.
After interpolating the probabilities, if a sequence has any k-gram suffix present in the corpus, it will have a non-zero probability.
It’s also easier to see why absolute discounting works so well now. Notice how the fewer words there are that follow the context (the sequence of words we’re conditioning on), the lower the associated back-off weight for that context is. This makes sense since if there are only a few words that follow a given contexts, it’s less likely that a new word following the context is valid.
This is the part that is actually attributed to Kneser & Ney. When predicting the probability of a word given a context, we not only want to take into account the current context, but the number of contexts that the word appears in. Remember how absolute discounting works well because if there are only a few words that come after a context, a novel word in that context should be less likely? It also works the other way. If a word appears after a small number of contexts, then it should be less likely to appear in a novel context.
The quintessential example is ‘San Francisco’. Francisco alone may have a high count in a corpus, but it should never be predicted unless it follows ‘San’. This is the motivation for replacing the MLE unigram probability with the ‘continuation probability’ that estimates how likely the unigram is to continue a new context.
The unigram Kneser-Ney probability is the number of unique words the unigram follows divided by all bigrams. The Kneser-Ney unigram probability can be extended to k-grams, where 1 <= k < N, as such:
Note that the above equation does NOT apply to the highest order; we have no data on the ‘word histories’ for the highest order N-grams. When i = 1 in the above equation, we instead use normal counts discounted and interpolated with the remaining Kneser-Ney probabilities:
Side note: In reality, there are normally three different discount values, , , and , computed for each k-gram order (1 <= k <= N). is used if . The closed-form estimate for the optimal discounts (see Chen & Goodman) is
where . If k = n, Otherwise,
The use of multiple discount values is what the ‘modified’ part of ‘modified’ Kneser-Ney smoothing is.
Language Modeling Toolkits
How do you actually create a Kneser-Ney language model? I put a pretty bare-bones, unoptimized implementation of Kneser-Ney smoothing on Github in the hopes that it would be easy to learn from / use for small datasets.
But there exist several free and open-source language modeling toolkits that are much more optimized for memory/performance. I recommend KenLM. It’s written in c++, but there’s also an article on how to use KenLM in Python. Others include BerkeleyLM, SRILM, MITLM.
- NLP Courses
- Stanford NLP Smoothing Tutorial: Easy explanations of different smoothing techniques.
- An Empirical Study of Smoothing Techniques for Language Modeling : Compares performance of different smoothing techniques.
- Stupid Backoff : An extremely simplistic type of smoothing that does as well as Kneser-Ney smoothing for very large datasets.
- Language Model Estimation
- Scalable Modified Kneser-Ney Language Model Estimation: This is the paper that explains how KenLM does language model estimation. Section three, "Estimation Pipeline", is really helpful.
- Faster and Smaller N-Gram Language Models: BerkeleyLM paper
- Tightly Packed Tries: How to Fit Large Models into Memory, and Make them Load Fast, Too