The invention relates to a method for recognizing a pattern that comprises a set of physical stimuli, said method comprising the steps of:
The invention has been conceived for speech recognition, but is likewise applicable to other recognition processes, such as for speech understanding, speech translation, as well as for recognizing handwriting, faces, scene recognition, and other environments. The association models may be probability models that give probability distributions for assigning patterns to classes. Other models can be based on fuzzy logic, or similarity measures, such as distances measured between target and class. Known technology has used different such models in a combined recognition attack, but the influences lent to the various cooperating models were determined in a haphazard manner. This meant that only few and/or only elementary models were feasible.
The present inventor has recognized that the unification of Maximum-Entropy and Discriminative Training principles would in case of combination of more than one model in principle be able to attain superior results as compared with earlier heuristic methods. Also, a straightforward data processing procedure should provide a cheap and fast road to those results.
In consequence, amongst other things, it is an object of the invention to evaluate a log-linear combination of various ‘sub’models pj(k|X) whilst executing parameter evaluation through discriminative training. Now, according to one of its aspects, the invention attains the object by recognizing a pattern that comprises a set of physical stimuli, said method comprising the steps of:
The invention also relates to a method for modelling an association distribution according to the invention. This provides an excellent tool for subsequent users of the compound distribution for recognizing appropriate patterns.
The invention also relates to a method for recognizing patterns using a compound distribution produced by the invention. This method has users benefitting to a great deal by applying the tool realized by the invention.
The invention relates to a system that is arranged for practising a method according to the invention. Further aspects are recited in dependent Claims.
These and other aspects and advantages of the invention will be discussed more in detail with reference to the detailed disclosure of preferred embodiments hereinafter, and in particular with reference to the appended Figures that show:
The invention being based on a balanced application of mathematics on the handling and accommodating of physical quantities that may be of very diverse character, much of the disclosure is based on advanced mathematics. However, both the starting point and the eventual outcome have permanently physical aspects and relevance. The speech recognition may be used to control various types of machinery. Scene analysis may guide unmanned vehicles. Picture recognition may be used for gate control. Various other applications are evident per se. The expressions hereinafter are numbered in sequence, and will be referred to in the text by these numbers.
The invention determines model-specific factors in order to combine and optimize several different models into a single pattern recognition process, notably for speech recognition.
The statistical speech recognition method utilizes Bayes' decision theory in order to form an identification mechanism with a minimum error rate. In conformity with this theory, the decision rule is such, that an observation x must be assigned to the class k (xεk for brevity), when for a given a posteriori or “real” probability distribution π(k|x) it holds that:
In literature, the term log(π(k|x)/π(k′|x)) is called the discriminant function. Hereinafter, this term will be noted g(x,k,k′) will be used for brevity. When the decision rule (1) is used for recognizing complete sentences, observed expressions x1T=(x1, . . . xT), that have a temporal length T, will be classified as spoken word sequences w1S=(w1, . . . wS) of length S. The a posteriori distribution π(w1S|x1T) is however unknown since it describes the complicated natural speech communication process of humans. Consequently, it must be approximated by a distribution p(w1S|x1T). Thus far, the acoustic-phonetic and grammatical modelling of speech in the form of parametric probability distributions have attained the best results. The form of the distribution p(w1S|x1T) is then predetermined; the unknown parameters of the distribution are estimated on the basis of training data. The distribution p(w1S|x1T) so acquired is subsequently inserted into Bayes' decision rule. The expression x1T is then assigned to the word sequence w1S for which:
Conversion of the discriminant function
allows to separate the grammatical model p(w1S) from the acoustic-phonetic model p(x1T|w1S) in a natural way. The grammatical model p(w1S) then describes the probability of occurrence of the word sequence w1S per se, and the acoustic-phonetic model p(x1T|w1S) evaluates the probability of occurrence of the acoustic signal x1T during the uttering of the word sequence w1S. Both models can then be estimated separately, so that an optimum use can be made of the relatively limited amount of training data. The decision rule (3) could be less than optimum due to a deviation of the distribution p from the unknown distribution π, even though the estimation of the distribution p was optimum. This fact motivates the use of so-called discriminative methods. Discriminative methods optimize the distribution p directly in respect of the error rate of the decision rule as measured empirically on training data. The simplest example of such discriminative optimization is the use of the so-called language model factor λ. The equation (3) is then modified as follows:
Experiments show that the error rate incurred by the decision rule (4) decreases when choosing λ>1. The reason for this deviation from theory, wherein x=1, lies in the incomplete or incorrect modelling of the probability of the compound event (w1s, x1T). The latter is inevitable, since the knowledge of the process generating the event (w1,x1T) is incomplete.
Many acoustic-phonetic and grammatical language models have been analyzed thus far. The object of these analyses was to find the “best” model for the relevant recognition task out of the set of known or given models. All models determined in this manner are however imperfect representations of the real probability distribution, so that when these models are used for pattern recognition, such as speech recognition, incorrect recognitions occur as incorrect assignment to classes.
It is an object of the invention to provide a modelling, notably for speech, which approximates the real probability distribution more closely and which nevertheless can be carried out while applying only little processing effort, and in particular to allow easy integration of a higher number of known or given models into a single classifier mechanism.
The novel aspect of the approach is that it does not attempt to integrate known speech properties into a single acoustic-phonetic distribution model and into a single grammatical distribution model which would involve complex and difficult training. The various acoustic-phonetic and grammatical properties are now modeled separately and trained in the form of various distributions pj(w1S|x1T), j=1 . . . M, followed by integration into a compound distribution
The effect of the model pj on the distribution pπ{Λ} is determined by the associated coefficient λj.
The factor C(^) ensures that the normalization condition for probabilities is satisfied. The free coefficients ^=(λ1, . . . λM)tr are adjusted so that the error rate of the resultant discriminant function
is as low as possible. There are various possibilities for implementing of this basic idea, several of which will be described in detail hereinafter.
First of all, various terms used herein will be defined. Each word sequence w1S forms a class k; the sequence length S may vary from one class to another. A speech utterance x1T is considered as an observation x; its length T may then differ from one observation to another.
Training data is denoted by the references (xn, k), with n=1, . . . , N; k=0, . . . , K. Herein N is the number of acoustic training observations xn, and kn is the correct class associated with the observation xn. Further, k≠kn are the various incorrect rival classes that compete with respect to kn.
The classification of the observation x into the class k in conformity with Bayes' decision rule (1) will be considered. The observation x is an acoustic realization of the class k. In the case of speech recognition, each class k symbolizes a sequence of words. However, the method can be applied more generally.
Because the class kn produced by the training observation xn is known, an ideal empirical distribution {circumflex over (π)}(k|x) can be constructed on the basis of the training data (xn, k); n=1 . . . N; k=0 . . . K. This distribution should be such that the decision rule derived therefrom has a minimum error rate when applied to the training data. In the case of classification of complete word sequences k, a classification error through selecting an erroneous word sequence k≠kn, may lead to several word errors. The number of word errors between the incorrect class k and the correct class kn is called the Levenshtein distance E(k, kn). The decision rule formed from E(k, kn) has a minimum word error rate when a monotony property is satisfied.
The ideal empirical distribution {circumflex over (π)} is a function of the empirical error value E(k, kn) which is given only for the training data, but is not defined with respect to unknown test data, because the correct class assignment is not given in that case. Therefore, on the basis of this distribution there is sought a distribution
which is defined over arbitrary, independent test data and has an as low as possible empirical error rate on the training data. If the M predetermined distribution models p1(k|x), . . . , pM(k|x), are defined on arbitrary test data, the foregoing also holds for the distribution pπ{Λ}(k|x). When the freely selectable coefficients ^=(λ1, . . . λM)tr (8) are determined in such a manner that pπ{Λ}(k|x) on the training data has a minimum error rate, and if the training data is representative, π{Λ}(k|x) should yield an optimum decision rule also on independent test data.
The GPD method as well as the least mean square method optimize a criterion which approximates the mean error rate of the classifier. In comparison with the GPD method, the least mean square method offers the advantage that it yields a closed solution for the optimum coefficient ^.
The least mean square method will first be considered. Because the discriminant function (1) determines the quality of the classifier, the coefficients ^ should minimize the root mean square deviation
of the discriminant functions of the distributions pπ{Λ}(k|x) from the empirical error rate E(k, kn). The summing over r then includes all rival classes in the criterion. Minimizing D (^) leads to a closed solution for the optimum coefficient vector Λ=Q−1P (9), further detailed by
Herein, Q is the autocorrelation matrix of the discriminant functions of the predetermined distribution models. The vector P expresses the relationship between the discriminant functions of the predetermined models and the discriminant function of the distribution {circumflex over (π)}.
The word error rate E(k, kn) of the hypotheses k is thus linearly taken up in the coefficients λ1, . . . , λM Conversely, the discrimination capacity of the distribution model pi is linearly included in the coefficients λ1, . . . , λM for determining the coefficients directly via the discriminant function log
Alternatively, these coefficients can be determined by using the GPD method. With this method, the smoothed empirical error rate E(^):
can be directly minimized for the training data. The left hand expression is then a smoothed measure for the error classification risk of the observation xn. The values A>0, B>0, η>0 determine the type of smoothing of the error classification risk and should be suitably predetermined. When E(λ) is minimized in respect of the coefficient λ of the log linear combination, the following iteration equation with the step width M is obtained for the coefficients λj, wherein j=1, . . . , M.
λj(0)=1 (11), and furthermore according to
It is to be noted that the coefficient vector ^ is included in the criterion E(^) by way of the discriminant function
If E(^) decreases, the discriminant function (12) should increase on average because of (9) and (10). This results in a further improved decision rule, see (1).
In the above, the aim has been to integrate all available knowledge sources into a single pattern recognition system. Two principles are united. The first is the maximum-entropy principle. This works by introducing as few assumptions as possible, so that uncertainty is maximized. Thus, exponential distributions must be used. In this manner the structure of the sources combination is defined. The second principle is discriminative training, to determine the weighting factors assigned to the various knowledge sources, and the associated models. Through optimizing the parameters, the errors are minimized. For speech, models may be semantic, syntactic, acoustic, and others.
The approach is the log-linear combining of various submodels and the estimating of parameters through discriminative training. In this manner, the adding of a submodel may improve the recognition score. If not, the model in question may be discarded. A submodel can however never decrease the recognition accuracy. In this manner, all available submodels may be combined to yield optimum results. Another application of the invention is to adapt an existing model combination to a new recognition environment.
The theoretical approach of the procedure includes various aspects:
The invention furthermore provides extra facilities:
Now for the classification task specified in (1), the true or posterior distribution π(k|x) is unknown but approximated by a model distribution (p(k|x). The two distribution differ, because of incorrect modelling assumptions and because of insufficient data. An example is the language model factor λ used in.
The formal definition combines various submodels pj(k|x), j=1 . . . M into a log-linear posterior distribution p{^}(k|x)=exp{. . } as given in (5). Next to the log-linear combination of the various submodes, the term log C(^) allows normalization to attain a formal probability distribution. The resulting discriminant function is
The error rate is minimized and ^ optimized. Optimizing on the sentence level is as follows:
Now, equation
gives an objective function, the empirical error rate. Herein, the left hand side of the equation introduces the most probable class that bases on the number of erroneous deviations between classes k and kn.
The parameters ^ may be estimated by:
For the GPD method, the smoothed empirical error rate minimizing is based on.
The smoothed misclassification risk is given by,
and the average rivalry by.
The smooth empirical error ate is minimized through.
Herein, l is a loss function that for straightforward calculations must be differentiatable. Rivalry is given by,
wherein E indicates the number of errors. Average rivalry is given through the summing in.
A smoothed misclassification risk is used by
that behaves like a sigmoid function. For Rn=−∞, 1 becomes zero, for Rn=+∞, the limiting value is l=1. Herein A, B are scaling constants greater than zero. Differentiating to ^ yields,
wherein the vector ^(I) is given by
^(I)=(λ1(I), . . . , λM(I))tr
and the eventual outcome by
The invention also provides a closed form solution for finding the discriminative model combination DMC. The solution is to minimize the distance between on the one hand the discriminant function and on the other hand the ideal discriminant function E(kn,k) in a least squares method. The basic expression is given by
Herein, ^=Q−1P, wherein Q is a matrix with elements Qi,j given by
Furthermore, P is a vector with elements Pi given by,
Now, the empirical error rate has been given earlier in
For calculatory reasons this is approximated by a smoothed empirical error rate as expressed by
Herein, an indication is given on the number of errors between k and kn through using a sigmoid function S or a similarly useful function. A useful form is S(x)={(x+B)/(A+B)}2, wherein −B<x<A and −B<0<A. for higher values of x, S=1, and for lower values S=0. This parabola has proved to be useful. Various other second degree curves have been found useful. The relevant rivals must now lie in the central and parabolically curved interval of S. Now, finally, a normalization constraint is added for ^ according to
The second criterion is solved according to a matrix equation (α, λtr)tr=Q′−1P′, wherein an additional row and column have been supplemented to matrix Q′ for normalization reasons, according to Q′0, 0=0; Q′0, j=1, Q′i, 0=1/2(A+B)2. The general element of correlation matrix Q′ has been given in
Note that the closed solution is rendered possible through the smoothed step function s. Furthermore, vector P′ likewise gets a normalizing element P′0=1, whereas its general element is given by.
Experiments have been done with various M-gram language models, such as bigram, trigram, fourgram or tetragram models, various acoustic models, such as word-internal-triphone, cross-word-trigram and pentaphone models. Generally, the automatic DMC procedure performs equally well as the results produced by non-automatic fine tuning using the same set of submodels. However, the addition of extra submodels according to the automatic procedure of the invention allowed to decrease the number of errors by about 8%. This is considered a significant step forward in the refined art of speech recognition. It is expected that the invention could provide similarly excellent results for recognizing other types of patterns, such as signatures, handwriting scene analysis, and the like, given the availability of appropriate sub-models. Other submodels used for broadcast recognition included mllr adaptation, unigram, distance-1 bigram, wherein an intermediate element is considered as don't care, pentaphones and wsj-models. In this environment, raising the number of submodels in the automatic procedure of the invention also lowered the numbers of errors by a significant amount of 8-13%.
Next, the vector ^ and the various applicable submodels will be used for recognizing target data, as shown in the right half of the Figure. The training at left, and the usage at right may be executed remote from each other both in time and in space; for example a person could have a machine trained to that person's voice at a provider's premises. This might require extra data processing facilities. Later, the machine so trained may be used in a household or automobile environment, or other. Thus, blocks 40-46 have corresponding blocks at left.
In block 48 the scorings from the various submodels are log-lin combined, using the various components of vector . that had been found in the training. Finally, in block 50 the target data are classified using the results from block 50. In block 52, the procedure is stopped when ready.
Block 68 renders the recognition result usable, such as by tabulating, printing, addressing a dialog structure for retrieving a suitable speech answer, or selecting a suitable output control signal. Block 72 symbolizes the use of the recognized speech, such as outputting a speech riposte, opening a gate for a recognized person, selecting a path in a sorting machine, and the like.
Number | Date | Country | Kind |
---|---|---|---|
197 55 191 | Dec 1997 | DE | national |
98203725 | Nov 1998 | EP | regional |
This is a continuation of application Ser. No. 09/367,214, filed Aug. 10, 1999 now U.S. Pat. No. 6,456,969.
Number | Name | Date | Kind |
---|---|---|---|
5412738 | Brunelli et al. | May 1995 | A |
5675706 | Lee et al. | Oct 1997 | A |
5680481 | Prasad et al. | Oct 1997 | A |
5721808 | Minami et al. | Feb 1998 | A |
6456969 | Beyerlein | Sep 2002 | B1 |
Number | Date | Country | |
---|---|---|---|
20020165714 A1 | Nov 2002 | US |
Number | Date | Country | |
---|---|---|---|
Parent | 09367214 | Aug 1999 | US |
Child | 10135336 | US |