The present invention relates generally to data processing systems and more specifically to a personalized search engine that utilizes latent class models called aspect models or Probabilistic Latent Semantic Analysis or Indexing.
The rapid growth of digital data storage and the overwhelming supply of on-line information provided by today's communication networks creates a risk of constant information overload. One of the key problems of modern information society is the increasing difficulty in accessing relevant information while suppressing the overwhelming mass of irrelevant data. Most importantly, the notion of relevance is highly individual and thus difficult to formalize in general terms. Information Filtering refers to the general problem of separating useful and important information from nuisance data. Individual users have different preferences, opinions, judgments, tastes, and cultural backgrounds. In order to support different individuals in their quest for information, an automated filtering system has to take into account the diversity of preferences and the inherent relativity of information value.
One commonly distinguishes between (at least) two major approaches to information filtering. The first approach is content-based filtering in which information organization is based on properties of the object or the carrier of information. The second approach is collaborative filtering (or social filtering), in which the preference-behavior and qualities of other persons are exploited in speculating about the preferences of a particular individual. Information Filtering technology had a huge impact on the development of the Internet and the e-commerce boom.
Search engines are classical content-based systems based on pattern matching technology to quickly retrieve information based on query keywords. Search engines are fast and have proven to be scalable to data sets of the size of the Internet, but they have inherent limitations. Due to the simple nature of direct pattern matching they provide no understanding of the sense of a word and the context of its use, often resulting in an unexpected variety of search results. These results are typically explained by word matching, but are meaningless on the intentional level. Search engines typically are unable to effectively process over-specific queries where keywords are closely related to actual document content, yet do not appear in the actual text. Search engines are also frequently non-personalized, i.e., they provide the same results, independent of the user history, and they have no effective mechanism to learn from user satisfaction.
At the other end of the spectrum, E-commerce sites use recommender systems to suggest products to their customers. The products can be recommended based on the top overall sellers on a site, or on the demographics of the customer, or an analysis of the past buying behavior of the customer as a prediction for future buying behavior. Recommender systems aim at personalization on the Web, enabling individual treatment of each customer. However, recommender systems and their underlying collaborative filtering techniques have several shortcomings. Poor predictions at best can be made for new objects and new users (“Early rater problem”). In many domains, only a small percentage of possible items receive ratings for a given user (“Scarcity problem”). There are often users with different interests and tastes than any other users in the database (“Grey sheep problem”). More fundamentally, while many users may share some common interest, it may be extremely difficult to find a sufficient number of users that share all interests.
Therefore, in light of the foregoing deficiencies in the prior art, the applicant's invention is herein presented.
The disclosed system provides a method for the personalized filtering of information and the automated generation of user-specific recommendations. The system goes through 3 phases: 1) Information Gathering, 2) System Learning, and 3) Information Retrieval. The disclosed system is concerned primarily with the final two phases (System Learning and Information Retrieval). In the Information Gathering phase, information about the data to be retrieved (DOCUMENT DATA) and about the individual users (USER DATA) is collected. The USER DATA can be gathered explicitly through questionnaires, etc. or can be implied though observing user behavior such as Internet history logs, demographic information, or any other relevant sources of information. The DOCUMENT DATA can be gathered though a variety of methods including Internet crawling, topic taxonomies or any other relevant source of information. Once the Information Gathering phase is completed, the System Learning phase is initiated. The system employs a statistical algorithm that uses available USER DATA and DOCUMENT DATA to create a statistical latent class model (MODEL), also known as Probabilistic Latent Semantic Analysis (PLSA). The system learns one or more MODELS based on the USER DATA, DOCUMENT DATA, and the available database containing data obtained from other users. Within the MODEL, probabilities for words extracted from training data are calculated and stored in at least one matrix. An extended inverted index may also be generated and stored along with the MODEL in order to facilitate more efficient information gathering. The MODEL may be used in other applications such as the unsupervised learning of topic hierarchies and for other data mining functions such as identifying user communities. Various parts of the Information Gathering phase and the System Learning phase are repeated from time to time in order to further refine or update the MODEL. This refined or updated model will result in even higher levels of accuracy in processing the user's query. The final phase is the Information Retrieval phase. The user may enter a query. Once the query is entered into the system, the MODEL is utilized in calculating probabilities for every word in a document based upon at least 1) the user query, or 2) words associated with the users query in the MODEL, or 3) document information. All of the probabilities for a given document are added together yielding a total relevance “score” after which related documents are compared using this relevance score. The results are returned in descending order of relevance organized into at least one result list. Through the use of the MODEL, the system provides two benefits to the user: 1) the search results are personalized as each MODEL may be created in part using USER DATA, and 2) results for new users are somewhat personalized from the initial use through collaborative filtering based upon USER DATA for other system users.
The following detailed description sets forth preferred embodiments for a search engine. This description should not be interpreted as limiting the use of the invention to this particular application. Rather, the present invention may be utilized for various functions including information retrieval, data mining, as a recommender system, and to identify user communities. Further, reference is made to the accompanying drawings, figures and equations, which, in conjunction with this detailed description, illustrate and describe the search engine. The invention may be embodied in many different forms and should not be construed as limited only to the disclosed embodiments and equations.
Generally
The information available in typical information filtering applications is highly diverse. Thus, we are first concerned with abstracting away from this diversity in order to identify a few fundamental types of observation data. Co-occurrence data refers to a domain with two or more finite sets of objects in which observations are made for joint occurrences of objects, i.e., typically consist of tuples with one element from either set. This includes event dyadic data, histogram data, and single stimulus preference data as special cases. Co-occurrence data arises naturally in many applications ranging from computational linguistics and information retrieval to preference analysis and computer vision.
In online information filtering applications, we find three fundamental variables, namely objects (documents or products) o∈O, users or customers u∈U, and a vocabulary w∈W of terms and descriptors. Here O, U and W are discrete spaces (i.e. the set of all objects, the set of all users and the underlying vocabulary) so observations can be modeled as co-occurrences of these basic variables, e.g. user queries as (u;w1, . . . ,wn), object description (o;w1, . . . ,wn), buying events (u, o) etc.
More formally, our starting point is an observation sequence S=(xI
In this fashion, information filtering can be viewed in a statistical setting as completion of co-occurrences based on partial information, in essence the prediction of a response variable given a set of predictors. For example, a search engine functionality is modeled as predicting o given w1, . . . , wn or, in a statistical setting as computing the probability P(o|w1, . . . , wn) of observing o given the query terms. A recommender system is implemented by computing P(o|u) while P(o|u;w1, . . . , wn) implements a personalized search engine. Several other possible applications seem reasonable.
The key problem in the statistical analysis of co-occurrence data is data sparseness. While counts n(xI)=|xI
In describing the invention, we follow three stages of describing Probabilistic Latent Semantic Analysis as the invented fundamental new principle for data analysis, prediction, and other applications.
First, we start with Probabilistic Latent Semantic Indexing which is the PROBABILISTIC LATENT SEMANTIC ANALYSIS realization for the case of only two types of observations, namely documents and words. It is thus used for classical information retrieval applications and indexing of document collections, hence the name. Probabilistic Latent Semantic Indexing has somewhat related to classical Latent Semantic Indexing, so the relationship is discussed in detail. We also discuss the relationship with distributional clustering, its most closely related statistical model that we are aware of.
Second, we then introduce the full, flat Probabilistic Latent Semantic Analysis model for generic multiway co-occurrence data that can be used, e.g. for joint collaborative and content filtering. While for the special case Probabilistic Latent Semantic Indexing several relationships to known proposals can be drawn, no competing approach is known for the full Probabilistic Latent Semantic Analysis method.
Finally, we address on how to extend the invention to hierarchical probabilistic models, which we call cluster-abstraction models. These are especially useful when data is inherently hierarchical and can be employed in many data mining tasks.
Probabilistic Latent Semantic Indexing
The starting point for Probabilistic Latent Semantic Indexing is a statistical model, which is also called (dyadic) aspect model. The aspect model is a latent variable model for co-occurrence data which associates an unobserved class variable a∈A={a1, . . . ,aK} with each observation. The modeling principle of latent variable models is the specification of a joint probability distribution for latent and observable variables. This unifies statistical modeling and structure detection: a probabilistic model of the observables is obtained by marginalization, while Bayes' rule induces posterior probabilities on the latent space of structures with respect to given observations. The latter provides a natural solution for topic extraction, word sense disambiguation and cataloging which correspond to different values of the hidden variables. As a key advantage, mixture models provide both, a parsimonious yet flexible parameterization of probability distributions with good generalization performance on sparse data, as well as structural information about data-inherent grouping structure, which is discussed in detail below in the section entitled ‘The Cluster-Abstraction Model’. In the plain Probabilistic Latent Semantic Indexing model a joint probability model over O×W is defined by the mixture
The aspect model introduces a conditional independence assumption, namely that o and w are independent conditioned on the state of the associated latent variable.
which is perfectly symmetric in both entities, documents and words.
The standard procedure for maximum likelihood estimation in latent variable models is the Expectation Maximization (EM) algorithm. Expectation Maximization alternates two coupled steps: (i) an expectation (E) step where posterior probabilities are computed for the latent variables, (ii) an maximization (M) step, where parameters are updated. Expectation Maximization is discussed in more detail in the section on multivariate aspect models. Standard calculations yield the E-step equation
as well as the following M-step formulae
Before discussing algorithmic refinements, we will study the relationship between the proposed model and the classical Latent Semantic Indexing in more detail. Consider the class-conditional multinomial distributions P(•|a) over the vocabulary which we call factors. They can be represented as points on the M−1 dimensional simplex of all possible multinomials. Via its convex hull, this set of K points defines a L≦K−1 dimensional sub-simplex. The modeling assumption expressed by equation (1) is that conditional distributions P(w|o) for all documents are approximated by a multinomial representable as a convex combination of factors P(w|a), where the mixing weights P(a|o) uniquely define a point on the spanned sub-simplex.
To stress this point and to clarify the relation to Latent Semantic Analysis, let us rewrite the aspect model as parameterized by equation (2) in matrix notation. Hence define matrices by Û=(P(oi|ak))i,k, {circumflex over (V)}=(P(wj|ak))j,k and {circumflex over (Σ)}=diag(P(Zk))k. The joint probability model P can then be written as a matrix product P=Û{circumflex over (Σ)}{circumflex over (V)}t. Comparing this with the Singular Value Decomposition UΣV′ of the matrix n(oi, wj), as computed in Latent Semantic Indexing, one can make the following observations: (i) outer products between rows of Û and {circumflex over (V)} reflect conditional independence in Probabilistic Latent Semantic Indexing, (ii) the K factors correspond to the mixture components in the aspect model, and (iii) the mixing proportions in Probabilistic Latent Semantic Indexing substitute the singular values. The crucial difference between Probabilistic Latent Semantic Indexing and Latent Semantic Indexing, however, is the objective function utilized to determine the optimal decomposition/approximation.
In Latent Semantic Indexing, this is the L2-norm or Frobenius norm, which corresponds to an implicit additive Gaussian noise assumption on (possibly transformed) counts. In contrast, Probabilistic Latent Semantic Indexing relies on the likelihood function of multinomial sampling and aims at an explicit maximization of the predictive power of the model. As is well known, this corresponds to a minimization of the cross entropy or Kullback-Leibler divergence between the empirical distribution and the model, which is very different from any type of squared deviation. On the modeling side this offers important advantages, for example, the mixture approximation P of the co-occurrence table is a well-defined probability distribution and factors have a clear probabilistic meaning. In contrast, Latent Semantic Indexing does not define a properly normalized probability distribution and may even contain negative entries. In addition, there is no obvious interpretation of the directions in the Latent Semantic Indexing latent space, while the directions in the Probabilistic Latent Semantic Indexing space are interpretable as multinomial word distributions.
Let us briefly discuss some elucidating examples at this point which will also reveal a further advantage of Probabilistic Latent Semantic Indexing over Latent Semantic Indexing in the context of polsemous words. We have generated a dataset (CLUSTER) with abstracts of 1568 documents on clustering and trained an aspect model with 128 latent classes.
The sketchy characterization of the factors by their ten most probable words 60 already reveals interesting topics. In particular, notice that the term used to select a particular pair has a different meaning in either topic factor: (i) ‘Segment’ 50, 51 refers to an image region in the first and to a phonetic segment in the second factor; (ii) ‘Matrix’ 52, 53 denotes a rectangular table of numbers and to a material in which something is embedded or enclosed; (iii) ‘Line’ 54, 55 can refer to a line in an image, but also to a line in a spectrum; and (iv) ‘Power’ 56, 57 is used in the context of radiating objects in astronomy, but also in electrical engineering.
Next, the aspect model is compared with statistical clustering models. In clustering models for documents, one typically associates a latent class variable with each document in the collection. Most closely related to our invention is the distributional clustering model, which can be thought of as an unsupervised version of a naive Bayes' classifier. It can be shown that the conditional word probability of a probabilistic clustering model is given by
where P{c(o)=a} is the posterior probability of document o having latent class a. It is a simple implication of Bayes' rule that these posterior probabilities will concentrate their probability mass on a certain value a with an increasing number of observations (i.e., with the length of the document). This means that although equations (1) and (7) appear algebraically similar, they are conceptually very different and yield in fact very different results. The aspect model assumes that document-specific distributions are a convex combination of aspects, while the clustering model assumes there is just one cluster-specific distribution, which is inherited by all documents in the cluster. In the distributional clustering model it is only the posterior uncertainty of the cluster assignments that induces some averaging over the class-conditional word distributions P(w|a).
Thus in clustering models the class-conditionals P(w|a) have to capture the complete vocabulary of a subset (cluster) of documents, while factors can focus on certain aspects of the vocabulary of a subset of documents. For example, a factor can be very well used to explain some fraction of the words occurring in a document, although it might not explain other words at all (e.g., even assign zero probability), because these other words can be taken care of by other factors. The difference between aspect and clustering models has to be emphasized. While the latent class structure of an aspect model partitions the observations, clustering models provide a group structure on object spaces. As a consequence, identical observations may have different latent classes in aspect models, whereas latent variables are shared by sets of observations in clustering models.
Probabilistic Latent Semantic Analysis
The aspect model for multivariate co-occurrence data is built on the assumption that all co-occurrences in the sample S=(xI
By summing over all possible realizations of the latent variables and grouping identical co-occurrences together, one obtains the usual mixture probability distribution on the observables,
Two fundamental problems arise in the context of statistical modeling, prediction or inference on one hand and model estimation or model learning on the other hand. In prediction, we have to compute probabilities P(XJ|xI, θ) for given model parameters θ=(P(a), P(xi|a)) where we summarize all continuous parameters in a vector θ. Remember that all spaces are discrete, thus e.g., P(a) corresponds to a vector of dimension K. The problem of efficient prediction is addressed below. Estimation or learning on the other hand refers to determining the model parameters θ given a set of observations or training data S. It should, however, be emphasized that model estimation and prediction are computationally well-separated problems. Model learning can be performed offline, while online requirements often lead to high efficiency demands on prediction algorithms.
In the context of statistical models, learning can be identified with the problem of parameter estimation. Since the latent structure by definition consists of unobserved variables, the learning problem is essentially an unsupervised one. The present invention utilizes a novel Tempered Expectation Maximization (tempered EM, TEM) estimation procedure. Tempered Expectation Maximization is an effective learning procedure aspect models. In addition, it allows us to gradually control and reduce the effective degrees of freedoms used in the estimation process (as opposed to the maximal degree of freedoms allowed by the model itself). Tempered Expectation Maximization is a generalization of the standard Expectation Maximization (EM) algorithm used to compute maximum likelihood estimators for a probabilistic model. For better understanding, this standard algorithm is now described first. Maximum likelihood is implemented by maximizing the log-likelihood log P(S;θ) with respect to the model parameters, which have been concatenated in a vector θ for notational convenience. The difficulties in maximizing a logarithm of a sum in the log-likelihood of the aspect model is overcome by Expectation Maximization. The Expectation Maximization algorithm and its extensions can be developed generically for the complete class of models covered by this invention and are easily adapted to the specific instances.
Expectation Maximization results in an alternating procedure with two re-estimation steps. The first is an Expectation (E)-step for estimating the posterior probabilities of latent variables for a given parameter estimate θ′. The second is a Maximization (M)-step, which involves maximization of the expected complete data log-likelihood with respect to θ, where the average is performed based on the posterior probabilities computed in the E-step. The Expectation Maximization algorithm is known to increase the observed likelihood with each completed iteration, and converges to a (local) maximum under mild assumptions. The E-step equations for the class posterior probabilities in the aspect model can be derived from Bayes' rule and are given by
It is straightforward to derive the M-step re-estimation formulae by differentiating the expected complete data log-likelihood with respect to θ. The latter is given by
where n(xI) again denotes the sufficient statistics (counts). The probabilities P(a) are easily estimated by P(a)=Σx
Tempered Expectation Maximization is a novel generalization of Expectation Maximization-based model fitting that incorporates ideas from deterministic annealing based combinatorial optimization. Tempered Expectation Maximization pursues two main goals; (i) avoiding over-fitting by controlling the effective model complexity, and (ii), reducing the sensitivity of Expectation Maximization to local maxima.
Consider, therefore, the general case of maximum likelihood estimation by the Expectation Maximization algorithm. The E-step by definition computes a posterior average of the complete data log-likelihood, which is maximized in the M-step. The tempered E-step at temperature T performs this average with respect to a distribution which is obtained by generalizing Bayes' formula such that the likelihood contribution is taken to the power of 1/T, i.e., in mnemonic notation: tempered−posterior˜prior×likelihood1/T. For T>1 this amounts to increasing the influence of the prior which in turn results in a larger entropy of the tempered posteriors. For mathematical precision, consider the following objective function
where Q({right arrow over (a)}) are variational parameters. Minimizing FT with respect to Q({right arrow over (a)}) then yields
Q({right arrow over (a)})∝P(S|{right arrow over (a)};θ)1/T P({right arrow over (a)}|θ). (15)
For T=1 the usual posterior Q({right arrow over (a)})=P({right arrow over (a)}|S;θ) is obtained, which is equivalent to computing the standard E-step. In addition, for T=1 the derivative of the averaged complete data log-likelihood with respect to θ equals the derivative of F1 in equation (14). Thus F1 provides a Lyapunov function for the Expectation Maximization-algorithm, which is minimized with respect to Q({right arrow over (a)}) in the E-step and with respect to θ in the M-step. In the aspect model, the tempered E-step generalizing equation (11) is given by
P(a|xI;θ)∝P(a)[P(xI|a)]1/T. (16)
For fixed T>1 the tempered E-step performs a regularization based on entropy. This is the reason why tempered Expectation Maximization not only reduces the sensitivity to local minima but also controls the effective model complexity.
The Tempered Expectation Maximization algorithm is implemented in the following way:
While aspect models already provide substantial modeling flexibility, the number of aspects chosen introduces a notion of granularity and scale. It basically determines how many topics or user tastes can be modeled at the same time. However, these entities are naturally described on different resolutions. The present invention employs two different methods. In the sequel, a simple solution is described which trains independent models on multiple scales and then combines them additively. More specifically, denoted by P(xI; MI) the prediction of an observation with signature I based on the I-th model MI. Then the combined estimate
is used to compute a probability estimate over different scales. The combination is convex, i.e., we require λI≧0 and ΣIλI=1. The model combination parameters λI are determined by running the Expectation Maximization algorithm on hold-out data, a method referred to as deleted interpolation. More precisely, for each observation in a hold-out data set, we compute in the E-step the probability that the observation xI is best “explained” by MI,
In the M-step one simply sums up those posterior probabilities
Re-iterating results in an estimate for the combination weights.
For large data sets, the Expectation Maximization algorithm may not be very efficient, since it requires cycling through all observations before actually performing a parameter update step. For highly redundant data sets, an additional intermediate update step based only on some fraction of the data can greatly accelerate the learning procedure. The extreme case would be to perform a parameter update step after each observation, which is usually called on-line learning. In an intermediate case, one would partition the data into blocks of observations and perform an incremental update step with a learning rate n after the E-step for a single block is completed
θnew=(1−η)θold+ηθblock, (20)
where θblock is the M-step estimate computed for a particular block of observations. n<1 is decreased according to a learning rate schedule, asymptotically as ηa+1/(t+c), where t is the step number and c is a constant.
For prediction, we are interested in calculating probabilities P (xI|xJ). Assuming we are interested in computing the probability of an object given a query and a user, P(o|w1, . . . ,wn;u). The first difficulty arises from the fact that we basically train models for co-occurrences with single w, so we assume conditional independence of keywords given object and user,
to simplify things. This ensures that different keywords can be generated from different hidden states. More formally, using Bayes' rule we obtain
by equation (14) where
The grouping of terms in equation (25) already indicates that for efficient computation we first evaluate the terms independent of o. Equation (27) can be computed offline with identical storage requirements. Other predictions can be carried out similarly by applying the rules of the calculus of probability theory starting from the trained model or combination of models.
In order to achieve an efficient implementation in a preferred embodiment, one should sparsen the representation of probability distributions by discarding probabilities that are below a certain threshold t. Basically, all parameter vectors are stored as sparse vectors, e.g. we set P(x|a)=0 iff P(x|a)<t. To achieve good approximation properties, t is made proportional on the number of entries in the vector P(x|a). In addition to this sparse model representation, we also sparsen the final result vectors as well as most intermediate entities like
to achieve maximal computational efficiency.
The Cluster-Abstraction Model
We next describe the cluster abstraction model. As previously noted, mixture models provide structural information about data-inherent grouping structure and are thus well suited to perform data mining functions. The cluster abstraction model combines a (horizontal) clustering of documents with a (vertical) aspect model that explains shared factors on different levels of resolutions. The clustering part is demonstrated by the simplified, non-hierarchical version of the Cluster Abstraction Model, which performs ‘flat’ probabilistic clustering, described earlier as the distributional clustering model, see derivation above. Most hierarchical document clustering techniques utilize agglomerative algorithms, which generate a cluster hierarchy or dendogram as a by-product of successive cluster merging. In the Cluster Abstraction Model we will use an explicit abstraction model instead to represent hierarchical relations between document groups. This is achieved by extending the ‘horizontal’ mixture model of the distributional clustering with a ‘vertical’ component that captures the specificity of a particular word wt in the context of a document o. It is assumed that each word occurrence (wt,o)=wot of a word wt in document o has an associated abstraction node a, the latter being identified with inner or terminal nodes of the cluster hierarchy.
aot ∈{a|a is above co in the hierarchy} (28A)
The notation a↑c will be used as a shortcut to refer to nodes a above the terminal node c in the hierarchy. Equation (28A) states that the admissible values of the latent abstraction variables aot for a particular document with latent class co are restricted to those nodes in the hierarchy that are predecessors of co. This breaks the permutation-symmetry of the abstraction nodes as well as of the document clusters. An abstraction node a at a particular place in the hierarchy can only be utilized to “explain” words of documents associated with terminal nodes in the subtree of a.
After application of the chain rule, the complete data model (i.e., the joint probability of all observed and latent variables) can be specified in three steps P(co=c;θ)=P(c), P(aot=a|co=c;θ)=P(a|c,o), and
Note that additional document-specific vertical mixing proportions P(a|c, o) over abstraction nodes above cluster c have been introduced, with the understanding that P(a|c, o)=0 whenever it is not the case that a↑c. If one makes the simplifying assumption that the same mixing proportions are shared by all documents assigned to a particular cluster (i.e., P(a|c, o)=P(a|c)), the solution degenerates to the distributional clustering model since one may always choose P(a|c)=δac. However, we propose to use this more parsimonious model and fit P(a|c) from hold-out data (a fraction of words held out from each document), which is in the spirit of model interpolation techniques.
As for the distributional clustering model before, we will derive an Expectation Maximization algorithm for model fitting. The E-step requires to compute (joint) posterior probabilities of the form P (cd=c, aot=a|wo; θ). After applying the chain
rule one obtains:
The M-step re-estimation equations for the conditional word distributions are given by
where P(aot=a|wo; θ)=Σc P(co=c|wo; θ) P(aot=a|wo, co=c; θ). Moreover, we have the update equation
for the class priors P(c) and the formula
which is evaluated on the held-out data. Finally, it may be worth taking a closer look at the predictive word probability distribution P(w|o) in the Cluster Abstraction Model, which is given by
If we assume for simplicity that P (co=c|wo; θ)=1 for some c (hard clustering case), then the word probability of o is modeled as a mixture of occurrences from different abstraction levels a. This reflects the reasonable assumption that each document contains a certain mixture of words ranging from general terms of ordinary language to highly specific technical terms and specialty words.
There are three important problems, which also need to be addressed in a successful application of the Cluster Abstraction Model: First and most importantly, one has to avoid the problem of over-fitting. Second, it is necessary to specify a method to determine a meaningful tree topology including the maximum number of terminal nodes. And third, one may also want to find ways to reduce the sensitivity of the Expectation Maximization procedure to local maxima. The present invention finds the answer to all three questions through the optimization algorithm introduced above as tempered Expectation Maximization.
Applying the temperature principle to the clustering variables, the posterior calculation in equation (30) is generalized by replacing n (o, w) in the exponent by n(o, w)/T. In annealed Expectation Maximization (as opposed to “heated” Expectation Maximization discussed above), T is utilized as a control parameter, which is initialized at a high value and successively lowered until the performance on the held-out data starts to decrease. Annealing offers a way to generate tree topologies, since annealing leads through a sequence of so-called phase transitions, where clusters split. In our experiments, T has been lowered until the perplexity (i.e., the log-averaged inverse word probability) on holdout data starts to increase, which automatically defines the number of terminal nodes in the hierarchy.
Extension to Preference Values.
When observing user behavior and preferences one may have richer observations than plain co-occurrences. Many use cases may also provide some additional preference value v with an observation. In this invention, we will treat the simplest case, where v∈{−1, +1} corresponds to either a negative or a positive example of preference, modeling events like “person u likes/dislikes object o”.
Let us now focus on extending the aspect model to capture additional binary preferences v∈{−1, +1}. The probabilistic latent semantic analysis models can be generalized to handle arbitrary preference values, which requires specifying an appropriate likelihood function based on assumptions on the preference scale. We distinguish two different cases: (i.) situations where the person performs the selection of an object, and then announces her or his preference in retrospect, (ii.) problems where the selection of o is not part of the behavior to be modeled, for instance because it is controlled or triggered by some other external process.
In the first case, there are three different ways to integrate the additional random variable v into the model. v can be conditionally independent of o and u given a, which is a very strong assumption. One implication is that aspects are typically employed to either model positive or negative preferences. In addition, v also depends on either u or o, which offers considerably more flexibility, but also requires estimating more parameters. It is straightforward to modify the Expectation Maximization equations appropriately. We show the equations for the model, where v is assumed to be directly dependent on o, and only indirectly dependent on u through a. The other variants require only minor changes.
For the E-step one obtains
while the M-step equations can be summarized into
where n(o, u, v) denotes the number of times a particular preference has been observed (typically n(o, u, v)∈{0, 1}). From P(o, v|a) one may also derive P(o|a) and P(v|o, a), if necessary. The M-step equation for P(u|a) does not change. Effectively the state space of O has been enlarged to O′=O×{−1, +1}.
In the second case, the multinomial sampling model of selecting o or a (o, v) pair conditioned on a is no longer adequate. We thus invented a modification of the aspect model and replace multinomials P(o|a) with Bernoulli probabilities P(v|o, a), assuming that o is always conditioned on. This modification results in the E-step
and a M-step re-estimation formula
Comparing equation(37) with equation (35) one observes that P(v|o,a) now replaces P(v,o|a) since o is treated as a fixed (observation-dependent) conditioning variable. Note that by conditioning on both, o and u, one gets P(v|o,u)=Σa P(v|o,a)P(a|u) which reveals the asymmetry introduced into the aspect model by replacing one of the class-conditional multinomials with a vector of Bernoulli probabilities.
Implementation
Before processing the user's request, the server 100 analyzes the data collection and automatically extracts concepts, topics, and word contexts that are fully adapted to the specific data and the specific domain. The server 100 extracts concepts from the documents automatically, thus removing the need to manually tag documents. Most document collections are based on a very specific vocabulary, terminology or jargon. Contrary to standard information retrieval engines based on general dictionaries or thesauri, server 100 automatically creates indices and adapts and optimizes with respect to a specific document base. The server 100 architecture is divided into three main components: the learning module, the prediction module, and the data store. The learning module takes content (emails, documents, web-pages, data), adds it to the data store or document server 103 and makes this content accessible for searching, categorizing, filtering, and delivery. The prediction module is used to perform searches against indexed documents. A search is entered using a web search page. The prediction module reduces the search to a set of documents that most clearly match the criteria of the search, and formats this set into a series of document lists, segmented by category. Because the system knows the different meanings of words, it can accommodate ambiguities by returning multiple result lists along with characterizing keywords. For example, the system can distinguish between Apple, the computer company; apple, the fruit; and Apple, the Beatles record company, and group the search results into three distinct lists. Users can then refine or rephrase queries.
This application is a continuation of application Ser. No. 09/915,755, filed Jul. 26, 2001, now U.S. Pat. No. 6,687,696, which claims the benefit of U.S. Provisional application No. 60/220,926, filed Jul. 26, 2000. Application Ser. Nos. 09/915,755 and 60/220,926 are hereby incorporated by reference.
Number | Name | Date | Kind |
---|---|---|---|
4348740 | White | Sep 1982 | A |
4839853 | Deerwester et al. | Jun 1989 | A |
4870579 | Hey | Sep 1989 | A |
5278980 | Pedersen et al. | Jan 1994 | A |
5301109 | Landauer et al. | Apr 1994 | A |
5675819 | Schuetze | Oct 1997 | A |
5704017 | Heckerman et al. | Dec 1997 | A |
5724567 | Ross et al. | Mar 1998 | A |
5790426 | Robinson | Aug 1998 | A |
5790935 | Payton | Aug 1998 | A |
5835087 | Herz et al. | Nov 1998 | A |
5867799 | Lang et al. | Feb 1999 | A |
5884282 | Robinson | Mar 1999 | A |
5918014 | Robinson | Jun 1999 | A |
5983214 | Lang et al. | Nov 1999 | A |
5987446 | Corey et al. | Nov 1999 | A |
6006218 | Breese et al. | Dec 1999 | A |
6029141 | Bezos et al. | Feb 2000 | A |
6029195 | Herz | Feb 2000 | A |
6041311 | Chislenko et al. | Mar 2000 | A |
6049777 | Sheena et al. | Apr 2000 | A |
6064980 | Jacobi et al. | May 2000 | A |
6072942 | Stockwell et al. | Jun 2000 | A |
6078740 | DeTreville | Jun 2000 | A |
6138116 | Kitagawa et al. | Oct 2000 | A |
6233575 | Agrawal et al. | May 2001 | B1 |
6349309 | Aggarwal et al. | Feb 2002 | B1 |
6356864 | Foltz et al. | Mar 2002 | B1 |
6493702 | Adar et al. | Dec 2002 | B1 |
6510406 | Marchisio | Jan 2003 | B1 |
6523026 | Gillis | Feb 2003 | B1 |
20020169730 | Lazaridis | Nov 2002 | A1 |
Number | Date | Country | |
---|---|---|---|
20040034652 A1 | Feb 2004 | US |
Number | Date | Country | |
---|---|---|---|
60220926 | Jul 2000 | US |
Number | Date | Country | |
---|---|---|---|
Parent | 09915755 | Jul 2001 | US |
Child | 10639024 | US |