Abstract:
A computer-based information search and retrieval system and method for retrieving textual digital objects that makes full use of the projections of the documents onto both the reduced document space characterized by the singular value decomposition-based latent semantic structure and its orthogonal space. The resulting system and method has increased robustness, improving the instability of the traditional keyword search engine due to synonymy and/or polysemy of a natural language, and therefore is particularly suitable for web document searching over a distributed computer network such as the Internet.

Description:
BACKGROUND OF THE INVENTION  
         [0001]    1. Field of the Invention  
           [0002]    This invention relates to a computer-based information retrieval and search engine to retrieve textual digital objects.  
           [0003]    2. Description of the Related Art  
           [0004]    With the explosive usage of the Internet, an efficient information retrieval system plays a most important role in processing with efficiency an ever increasing volume of digital textual objects such as web pages and documents. Many search engines based on the traditional query system of natural language processing are not robust enough because a considerable number of different words may often be used to describe the same meaning (synonymy), and more often than not the same word can be associated with different meanings (polysemy) so that traditional keywords-based retrieval systems are not robust, often missing related materials while recalling unrelated ones.  
           [0005]    The principle of Latent Semantic Structure with truncated Singular Vector Decomposition (SVD) was introduced, as summarized in U.S. Pat. No. 4,839,853, so as to automatically construct a unified semantic space for retrieval. The truncated SVD is capable of capturing most of the important underlying structure in associating terms with documents, while at the same time removing the noise or possible variability in word usage which consistently plagues the word-based retrieval system. Each query from a user is projected onto a document fact space, and the collected documents having the closest projection to the query in the document fact space are selected for retrieval.  
           [0006]    The basic postulate is that there is an underlying latent semantic structure in word usage data that is capable of capturing partially hidden or obscured aspects of the terms due to the variability of word choice inherent to the ambiguity of natural language.  
         SUMMARY OF THE INVENTION  
         [0007]    In view of the foregoing, one object of the present invention is an information retrieval system having improved robustness in handling synonymy and polysemy.  
           [0008]    Another object of the invention is an information retrieval system with improved search capabilities through reliance on differential latent document space and the exploitation of the differences between the two normalized document vectors of the documents.  
           [0009]    A further object of the present invention is an information retrieval system capable of capturing an underlying latent semantic structure through a projection of the differences in word usage between two documents onto the differential latent semantic space.  
           [0010]    The invention relates to an advanced information retrieval system of textual digital objects whereby full use is made of the projection of documents onto both of the reduced document space endowed with the singular value decomposition-based latent semantic structure and its orthogonal space. The new information retrieval and search engine system developed has an improved performance with textual digital objects for an immediate application in web document search over the Internet.  
           [0011]    Rather than to directly compare the latent semantic vectors of documents and a query, which are actually their projections onto the LSI space, the advanced concept of differential latent document space is introduced into the present analysis, where differences between the two normalized document vectors of the documents are extensively exploited.  
           [0012]    The basic postulate is that a projection onto the differential latent semantic space of the differences of word usage between the two documents is capable of capturing an underlying latent semantic structure.  
           [0013]    Given a document, a document vector may be directly set up according to the terms of the document. Yet, there may be other document vectors that can just as well describe the document. For example, given a summarization method, a summary of a document could set up for the document, while a document vector of the summary could also be regarded as the document vector of the document. According to the present invention, there may be several representations of document vectors and each document is not constrained to being represented by one document vector only.  
           [0014]    Because of the normalization of each document vector of the documents, the cosine measurement between a pair of document vectors may be measured by the length of differential document vector of the pair of documents.  
           [0015]    A so-called interior differential covariant term-document matrix is set up where the columns of the matrix represent the differential document vectors of the same documents. Exploiting the singular vector decomposition method as set forth in  Numerical Recipes , by Press, Flannery, Teukolsky and Vetterling (Cambridge University Press: Cambridge, England, 1986), the major left singular vectors associated with the largest singular values are selected as a major vector space, being called an interior differential latent semantic space, which is used to roughly describe the interior differential document vectors. Given a query to be regarded as a quasi-document, a best candidate document to be recalled from the documents should be selected from among those having a closest differential document vector of the query to the interior differential latent semantic space.  
           [0016]    A so-called exterior differential covariant term-document matrix is set up where the columns of the matrix are differential document vectors of the different documents. Exploiting the singular vector decomposition method, the major left singular vectors associated with the largest singular values are selected as a major vector space, being called an exterior differential latent semantic space, which is used to roughly describe the exterior differential document vectors. Given a query to be regarded as a quasi-document, a best candidate document to be recalled from the documents should be selected from among those having a closest differential document vector of the query to the exterior differential latent semantic space.  
           [0017]    Exploiting the concept of the interior and exterior differential term-document matrices, the present invention sets up a posteriori function based on the form of most likelihood functions as a possible measure of reliability in retrieving a document in the database by a query.  
           [0018]    These and other objects of the invention, as well as many of the intended advantages thereof, will become more readily apparent when reference is made to the following description taken in conjunction with the accompanying drawings. 
       
    
    
     BRIEF DESCRIPTION OF THE DRAWINGS  
       [0019]    [0019]FIG. 1 is a flowchart summarizing the process of setting up of the information retrieval system, in accordance with the present invention; and  
         [0020]    [0020]FIG. 2 is a flowchart describing how the on-line document retrieval is implemented, in accordance with the present invention. 
     
    
     DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS  
       [0021]    In describing a preferred embodiment of the invention illustrated in the drawings, specific terminology will be resorted to for the sake of clarity. However, the invention is not intended to be limited to the specific terms so selected, and it is to be understood that each specific term includes all technical equivalents which operate in a similar manner to accomplish a similar purpose.  
       Differential Term-Document Matrix  
       [0022]    For the purposes of this document, the word “term” is defined as a word or a phrase that appears in at least two documents. So-called stop words, which are most frequently used in any topic, such as “a” and “the” in English, are excluded.  
         [0023]    The restriction of a term to a word or phrase that appears in at least two documents is added partially to remove some terms that are used very seldom but, more importantly, to provide a means for removing words of erratic spelling, e.g., due to spelling errors. To reduce the possible number of candidates, the specification of “at least two” may be increased to “at least three”, or even more documents. It essentially becomes a tradeoff between computing time and computing resources such that the number can be chosen according to the applications being sought. In special situations when the database is very small, as in the example discussed hereinafter, the restriction may be removed, allowing a word or phrase even it if appears only once in the database.  
         [0024]    To effectively deal with morphological term variants of natural language, a stemming process is essential not only to reduce the size of indexing files but also to improve the efficiency of information retrieval (IR). A stemming algorithm needs be implemented before the term index can be set up. While many stemming algorithms are available currently, there is relatively little difference between them as far as the final retrieval performance is concerned. A preferred embodiment of the present invention uses an Affix Removal Stemmer by Porter, named Porter algorithm (M. F. Porter, “An algorithm for suffix stripping”, Program, vol.14, no. 3, pp. 130--137, 1980).  
         [0025]    Suppose the terms that appear in the documents are selected and listed as t 1 , t 2 , . . . , t m . Each document in the collection is preprocessed and assigned with a document vector as (a 1 , a 2 , . . . , a m ), where a 1 =f 1 ×g 1 , where f i  is the number of times the term t 1  appears in an expression of the document, and g i  is a global weight of all the documents, which is a parameter indicating the importance of the term in representing the documents. Local weights may be either raw occurrence counts, Boolean, or logarithm of occurrence count. Global weighting may be no weighting (uniform), domain specific, or entropy weighting. For example,  
           f   i     =         log        (     1   +     O   i       )                     a                 n                 d                   g   i       =     1   -       1     log                 N              ∑     j   =   1     N            p   ij          log        (     p   ij     )                   ,                         
 
         [0026]    where  
           p   ij     =       O   ij       d   i         ,                         
 
         [0027]    O i  is the number of term t i  that appears in the document, d i  is the total number of times that the term t i  appears in the collection, O ij  is the number of times that the term t i  appears in the document j, N is the number of documents in collection. Notice that p 1j  log(p 1j  ) is defined to be 0, if p 1j =0. The document vector is normalized as (b 1 , b 2 , . . . , b m ) by the following formula:  
         b   i     =       a   i     /           ∑     j   =   1     m          a   j   2         .                             
 
         [0028]    Whether or not a summary obtained by any of various summarization techniques or a pre-assigned summary, or a query associated with the document are used, the document is always associated with several other document vectors while regarding the summary of query as a document.  
         [0029]    A Differential Document Vector is defined as I 1 -I 2  where I 1  and I 2  are normalized document vectors satisfying some criteria.  
         [0030]    An Exterior Differential Document Vector is defined as the Differential Document Vector I=I 1 -I 2 , where I 1  and I 2  are two normalized document vectors of any two different documents.  
         [0031]    An Interior Differential Document Vector is the Differential Document Vector defined as I=I 1 -I 2 , where I 1  and I 2  are two different normalized document vectors of the same document. The different document vectors of the same documents may be taken from parts of documents, or may be produced by different schemes of summaries, or from the quarries.  
         [0032]    The Exterior Differential Term-Document Matrix is defined as a matrix, each column of which is set to be an Exterior Differential Document Vector.  
         [0033]    The Interior Differential Term-Document Matrix is defined as a matrix, each column of which comprises an Interior Differential Document Vector.  
       Details of a General Model  
       [0034]    Any differential term-document matrix, say, m-by-n matrix D of rank r≦q=min (m, n), can be decomposed into a product of three matrices:  
         [0035]    D=USV T , such that U and V are an m-by-q and q-by-n unitary matrices respectively, and the first r columns of U and V are the eigenvectors of DD T  and D T D respectively. S=diag (δ 1 , δ 2 , . . . , δ q ), where δ i  are nonnegative square roots of eigen values of DD T , δ i &gt;0 for i≦r and δ i  =0 for i&gt;r.  
         [0036]    By convention, the diagonal elements of S are sorted in a decreasing order of magnitude. To obtain a new reduced matrix S k , the k-by-k leftmost-upper comer matrix (k&lt;r) of S is kept and other terms are deleted; similarly the two new matrices U k  and V k  are obtained by keeping the leftmost k columns of U and V. The product of U k , S k  and V k   T  provides a matrix D k  which is approximately equal to D.  
         [0037]    An appropriate value of k to be selected depends on the type of applications. Generally k≧100 for 1000≦n≦3000, and the corresponding k is normally smaller for the interior differential term-document matrix than that for the exterior differential term-document matrix.  
         [0038]    Each of differential document vector q could find a projection on the k dimensional fact space, being called differential latent semantic space, spanned by the k columns of U k . The projection can easily be obtained by U k   T q. Note that, the mean {overscore (x)} of the exterior-(interior-)differential document vectors is approximately 0. Thus,  
         ∑     =       1   n        D                   D   T           ,                         
 
         [0039]    where Σ is the covariance of the distribution computed from the training set. Assuming that the differential document vectors formed follow a high-dimensional Gaussian distribution, the likelihood of any differential document vector x will be given by  
           P        (     x   |   D     )       =       exp        [       -     1   2            d        (   x   )         ]             (     2      π     )       n   /   2       |     ∑     |     1   /   2               ,                         
 
         [0040]    where d(x)=x T Σ −1 x.  
         [0041]    Since δ i   2  are eigenvalues of DD T , we have S 2 =U T  DD T  U, and thus  
           d ( x )= nx   T ( DD   T ) −1   x=nx   T   US   −2   U   T   x=ny   t   S   −2   y,    
         [0042]    where y=U T x=(y 1 , y 2 , . . . , y n ) T .  
         [0043]    Because S is a diagonal matrix, d(x)=nΣ i=1   r y i   2 /δ i   2 .  
         [0044]    It is convenient to estimate it as  
           d   ^          (   x   )       =       n        (         ∑     i   =   1     k            y   i   2     /     δ   i   2         +       1   ρ            ∑     i   =     k   +   1       r          y   i   2           )       .                           
 
       ρ   =       1     r   -   k              ∑     i   =     k   +   1       r            δ   i   2     .                               
 
         [0045]    where  
         [0046]    In practice, δ i  (i&gt;k) could be estimated by fitting a function (say, 1/i) to the available δ i  (i≦k), or we could let ρ=δ k+1   2 /2 since it is only necessary to compare the relative probability.  
         [0047]    Because the columns of U are orthonormal vectors, Σ i=k+a   r y i   2  may be estimated by ∥x∥ 2 −Σ i=1   k y i   2 . Thus, the likelihood function P (x|D) may be estimated by  
                   P   ^          (     x   |   D     )       =         n     1   /   2              exp        (       -     n   2              ∑     i   =   1     k            y   i   2       δ   i   2           )       ·     exp        (     -       n                     ɛ   2          (   x   )           2      ρ         )                 (     2      π     )       n   /   2              ∏     i   =   1     k            δ   i     ·     ρ       (     r   -   k     )     /   2                 ,           (   1   )                               
 
         [0048]    where  
         y   =       U   k   T        x       ,         ɛ   2          (   x   )       =            x        2     -       ∑     i   =   1     k          y   i   2           ,     ρ   =       1     r   -   k              ∑     i   =     k   +   1       r          δ   i   2           ,                         
 
         [0049]    r is the rank of matrix D. In practical cases, ρ may be chosen as δ k+a   2 /2, and r be n.  
         [0050]    Note that, in equation (1), the term  
         ∑     i   =   1     k            y   i   2       δ   i   2                             
 
         [0051]    describes the projection x onto the differential latent semantic space, while ε (x) approximates the projection of x on the orthogonal space of the differential latent semantic space.  
       Algorithm  
       [0052]    The process for setting up the retrieval system in accordance with the present invention is summarized in FIG. 1. The method begins with text preprocessing, step  100 , which includes identification of word and noun phrases, as well as stop words. The method then proceeds with system term construction, step  110 , which includes setting up the term list as well as the global weights. The document vectors of all the collected documents are then set up and normalized, step  120 . Next, an interior differential term-document matrix D I   mxn     i    is constructed, step  130 , such that each of its columns is an interior differential document vector. Using SVD algorithm, D I  is decomposed such that D I =USV T , then with a proper k 1 , the D I,k     1   =U k     1   S k     1   V k     1     T  is defined to approximate D I . In step  140 , the likelihood function is defined,  
           P        (     x   |     D   I       )       =         n   1     1   /   2              exp        (       -       n   1     2              ∑     i   =   1       k   1              y   i   2       δ   i   2           )       ·     exp        (     -         n   1            ɛ   2          (   x   )           2     ρ   1           )                 (     2      π     )         n   1     /   2              ∏     i   =   1       k   1              δ   i     ·     ρ   1       (       r   1     -     k   1       )     /   2                 ,                         
 
         [0053]    where  
         y   =       U     k   1     T        x       ,         ɛ   2          (   x   )       =            x        2     -       ∑     i   =   1       k   1            y   i   2           ,       ρ   1     =       1       r   1     -     k   1                ∑     i   =       k   1     +   1         r   1            δ   i   2           ,                         
 
         [0054]    r 1  is the rank of matrix D I . In practical cases, ρ 1  may be chosen as δ k     1     +1   2 /2, and r 1  be n 1 . An exterior differential term-document matrix D E   mxn     2   , is then constructed, step  150 , such that each of its columns is an exterior differential document vector. Using SVD algorithm, D E  is decomposed such that D E =USV T , then with a proper value of k 2 , the D E, k     2   =U k     2   S k     2   V k     2     T  is defined to approximate D E . In step  160 , the likelihood function is defined,  
           P        (     x   |     D   E       )       =         n   1     1   /   2              exp        (       -       n   2     2              ∑     i   =   1       k   2              y   i   2       δ   i   2           )       ·     exp        (     -         n   2            ɛ   2          (   x   )           2     ρ   2           )                 (     2      π     )         n   2     /   2              ∏     i   =   1       k   2              δ   i     ·     ρ   2       (       r   2     -     k   2       )     /   2                 ,                         
 
         [0055]    where  
         y   =       U     k   2     T        x       ,         ɛ   2          (   x   )       =            x        2     -       ∑     i   =   1       k   2            y   i   2           ,       ρ   2     =       1       r   2     -     k   2                ∑     i   =       k   2     +   1         r   2            δ   i   2           ,                         
 
         [0056]    r 2  is the rank of matrix D E . In practical cases, ρ 2  may be chosen as δ k     2     +1   2 /2, and r 2  be n 2 .  
         [0057]    Finally, in step  170  the posteriori function is defined,  
           P        (       D   I     ,   x     )       =         P        (     x   |     D   I       )            P        (     D   I     )               P        (     x   |     D   I       )            P        (     D   I     )         +       P        (     x   |     D   E       )            P        (     D   E     )               ,                         
 
         [0058]    where P(D I ) is set to be an average number of recalls divided by the number of documents in the data base and P(D E ) is set to be 1−P(D I ).  
       Online Document Search  
       [0059]    The retrieval process in accordance with the present invention is set forth in FIG. 2. A query is treated as a document. During query preprocessing, step  200 , a document vector is set up by generating the terms as well as their frequency of occurrence, and thus a normalized document vector is obtained for the query. Given the query, a differential document vector x is constructed, step  210 . The interior document likelihood function P(x|D I ) is calculated for the document at step  220 , and the exterior document likelihood function P(x|D E ) is calculated for the document at step  230 . The method proceeds with calculation of the Bayesian posteriori probability function P(D I |x), step  240 . Finally, in step  250 , documents may be selected such that P(D I |x) exceeds a given threshold (say, 0.5). Alternatively, N best documents with largest P(D I |x) may be chosen, with those values of P(D I |x) shown as the scores to rank the match.  
         [0060]    For each document in the database, the procedures in steps  210 ,  220 ,  230 ,  240  and  250  are processed.  
         [0061]    The system of the present invention can also be used for cross language retrieval when there is a large set of cross language documents as well as a set of summaries as the training set.  
         [0062]    As already noted in the “Summary of the Invention”, each document needs to be represented by two or more document vectors. The document vectors can be constructed off line, of course, as long as their summaries are available. Otherwise, some summarization method and/or software should be used to obtain summaries for each document. It is important to note, however, that while the quality of the summarization is important for the present IR system, the summarization document constructed need not be grammatically correct.  
       An Example  
       [0063]    The power of the current method may be demonstrated by the following example.  
         [0064]    Suppose we have four documents named A, B, C, D at hand. And A 1 , A 2  are the abstracts of A obtained by different methods; similarly, B 1 , B 2 , C 1 , C 2 , and D 1 , D 2 , are the abstracts of B, C and D as obtained by different methods respectively. Suppose that A 1 , A 2 , B 1 , B 2 , C 1 , C 2 , D 1  and D 2  are given as follows:  
         [0065]    A 1 : We were successful in our research on the new alloys.  
         [0066]    A 2 : In studying the novel alloy, they attained success.  
         [0067]    B 1 : Galileo&#39;s research influenced the physical sciences in a big way.  
         [0068]    B 2 : The physical research was impacted enormously by Galileo&#39;s theories.  
         [0069]    C 1 : Performance was raised as a result of many improvements.  
         [0070]    C 2 : By making a large number of improvements, its performance was enhanced.  
         [0071]    D 1 : The objective of this project is to improve performance.  
         [0072]    D 2 : To improve performance is this project&#39;s target.  
         [0073]    Since we have only four documents in the database in this example representing the documents A, B, C, D respectively, let us arbitrarily save A 1 , B 2 , C 1  and D 2  in the database. As already mentioned above, the use of different stemming algorithms differs very little for IR performance. After removing the stop words, Porter&#39;s stemming algorithm gives the following stems here: attain, aloi, enhanc, enorm, Galileo, impact, improv, influence novel, object, perform, physic, project, rais, research, result, science, studio success, target, theori.  
         [0074]    Now, each document is associated with two document vectors as shown in Table 1 in which each column corresponds to a document vector.  
                                                                                               TABLE 1                           The document vectors of the documents                A 1     A 2     B 1     B 2     C 1     C 2     D 1     D 2                              attain   0   1   0   0   0   0   0   0           alloi   1   1   0   0   0   0   0   0           enhanc   0   0   0   0   0   1   0   0           enorm   0   0   0   1   0   0   0   0           Galileo   0   0   1   1   0   0   0   0           impact   0   0   0   1   0   0   0   0           improv   0   0   0   0   1   1   1   1           influence   0   0   1   0   0   0   0   0           novel   0   1   0   0   0   0   0   0           object   0   0   0   0   0   0   1   0           perform   0   0   0   0   1   1   1   1           physic   0   0   1   1   0   0   0   0           project   0   0   0   0   0   0   1   1           rais   0   0   0   0   1   0   0   0           research   1   0   1   1   0   0   0   0           result   0   0   0   0   1   0   0   0           science   0   0   1   0   0   0   0   0           studi   0   1   0   0   0   0   0   0           success   1   1   0   0   0   0   0   0           target   0   0   0   0   0   0   0   1           theori   0   0   0   1   0   0   0   0                      
 
         [0075]    We could further normalize each document vector (column) as shown in Table 2.  
                                                                                           TABLE 2                           The normalized document vectors of the documents                A 1     A 2     B 1     B 2     C 1     C 2     D 1     D 2                          attain   0   0.447213595   0   0   0   0   0   0       alloi   0.577350269   0.447213595   0   0   0   0   0   0       enhanc   0   0   0   0   0   0.577350269   0   0       enorm   0   0   0   0.40824829   0   0   0   0       Galileo   0   0   0.447213595   0.40824829   0   0   0   0       impact   0   0   0   0.40824829   0   0   0   0       improv   0   0   0   0   0.5   0.577350269   0.5   0.5       inlluenc   0   0   0.447213595   0   0   0   0   0       novel   0   0.447213595   0   0   0   0   0   0       object   0   0   0   0   0   0   0.5   0       perform   0   0   0   0   0.5   0.577350269   0.5   0.5       physic   0   0   0.447213595   0.40824829   0   0   0   0       project   0   0   0   0   0   0   0.5   0.5       rais   0   0   0   0   0.5   0   0   0       research   0.577350269   0   0.447213595   0.40824829   0   0   0   0       result   0   0   0   0   0.5   0   0   0       science   0   0   0.447213595   0   0   0   0   0       studi   0   0.447213595   0   0   0   0   0   0       success   0.577350269   0.447213595   0   0   0   0   0   0       target   0   0   0   0   0   0   0   0.5       theon   0   0   0   0.40824829   0   0   0   0                  
 
         [0076]    We then construct differential term-document matrix D I   mxn     1    as Table 3 (here m=21, n 1 =4).  
                                                           TABLE 3                           Interior Differential Term-Document Matrix                A 1  − A 2     B 1  − B 2     C 1  − C 2     D 1  − D 2                          attain   −0.447213595   0   0   0       alloi    0.130136674   0   0   0       enhanc   0   0   −0.577350269   0       enorm   0   −0.40824829    0   0       Galileo   0   0.038965305   0   0       impact   0   −0.40824829    0   0       improv   0   0   −0.077350269   0       influenc   0   0.447213595   0   0       novel   −0.447213595   0   0   0       object   0   0   0   0.5       perform   0   0   −0.077350269   0       physic   0   0.038965305   0   0       project   0   0   0   0       rais   0   0   0.5   0       research    0.577350269   0.038965305   0   0       result   0   0   0.5   0       science   0   0.447213595   0   0       studi   −0.447213595   0   0   0       success    0.130136674   0   0   0       target   0   0   0   −0.5       theori   0   −0.40824829    0   0                  
 
         [0077]    By decomposing this D I  by an SVD algorithm, we have D I =USV T , where  
               U   =     (           -   0.43125         0.144655       0       0           0.125491         -   0.0420937         0       0           0       0         -   0.627963         0             -   0.126717           -   0.410246         0       0           0.0120945       0.039156       0       0             -   0.126717           -   0.410246         0       0           0       0         -   0.0841311         0           0.138812       0.449402       0       0             -   0.43125         0.144655       0       0           0       0       0         -   0.707107             0       0         -   0.0841311         0           0.0120945       0.039156       0       0           0       0       0       0           0       0       0.543832       0           0.568835         -   0.147592         0       0           0       0       0.543832       0           0.138812       0.449402       0       0             -   0.43125         0.144655       0       0           0.125491         -   0.0420937         0       0           0       0       0       0.707107             -   0.126717           -   0.410246         0       0         )       ,                 S   =     d                 i                 a                   g        (     0.98714   ,   0.947266   ,   0.919402   ,   0.707107     )           ,               V   =       (         0.951903         -   0.306401         0       0           0.306401       0.951903       0       0           0       0       1       0           0       0       0         -   1           )     .                                 
 
         [0078]    By choosing k 1 =3, we have  
         U     k   1       =       (           -   0.43125         0.144655       0           0.125491         -   0.0420937         0           0       0         -   0.627963               -   0.126717           -   0.410246         0           0.0120945       0.039156       0             -   0.126717           -   0.410246         0           0       0         -   0.0841311             0.138812       0.449402       0             -   0.43125         0.144655       0           0       0       0           0       0         -   0.0841311             0.0120945       0.039156       0           0       0       0           0       0       0.543832           0.568835         -   0.147592         0           0       0       0.543832           0.138812       0.449402       0             -   0.43125         0.144655       0           0.125491         -   0.0420937         0           0       0       0             -   0.126717           -   0.410246         0         )     .                           
 
         [0079]    Estimating the r 1 =n 1 =4, we have  
         ρ   1     =         1       r   1     -     k   1                ∑     i   =       k   1     +   1       r          δ   i   2         =         1     4   -   3            (     0.707107   2     )       =     0.5   .                               
 
         [0080]    So, the function P(x|D I ) now becomes:  
                       P        (     x   |     D   I       )       =                          4     1   /   2              exp        (       -     4   2            (         y   1   2       0.98714                2         +       y   2   2       0.947266                2         +       y   3   2       0.919402                2           )       )       ·                 exp        (     -       4          ɛ   2          (   x   )           2   ×   0.5         )                   (     2      π     )       4   /   2       ×   0.98714   ×   0.947266   ×   0.919402   ×     0.5       (     4   -   3     )     /   2                       =                0.083335295   ×     exp   (       -   2     *     (         y   1   2     /   0.9744453796     +                                              y   2   2     /   0.897312874756     +       y   3   2     /   0.845300037604                  )     )     ×                              exp        (       -   4            ɛ   2          (   x   )         )       ,                         (   2   )                               
 
         [0081]    where y=U k     1     T x,ε 2 (x)=∥x∥ 2 =(y 1   2 +y 2   2 +y 3   2 ).  
         [0082]    By choosing n 2 =4, we then construct the exterior differential term-document matrix D E   mxn     2   , to obtain the matrix of Table 4. We have a different result if we use a different combination of n 2 .  
                                                           TABLE 4                           Exterior Differential Term-Document Matrix                A 1  − B 1     B 2  − C 2     C 1  − D 2     D 1  − A 2                          Attain   0   0   0   −0.447213595       Alloi    0.577350269   0   0   −0.447213595       Enhanc   0   −0.577350269   0   0       Enorm   0   0.40824829   0   0       Galileo   −0.447213595   0.40824829   0   0       impact   0   0.40824829   0   0       improv   0   −0.577350269   0   0.5       influenc   −0.447213595   0   0   0       novel   0   0   0   −0.447213595       object   0   0   0   0.5       perform   0   −0.577350269   0   0.5       physic   −0.447213595   0.40824829   0   0       project   0   0   −0.5   0.5       rais   0   0   0.5   0       research    0.130136674   0.40824829   0   0       result   0   0   0.5   0       science   −0.447213595   0   0   0       studi   0   0   0   −0.447213595       success    0.577350269   0   0   −0.447213595       target   0   0   −0.5   0       theori   0   0.40824829   0   0                  
 
         [0083]    Decomposing this D E  by SVD algorithm, we have D E =USV T , where:  
               U   =     (         0.209812       0.107201       0.0888488         -   0.262009             0.272505       0.386168         -   0.167306         0.090479             -   0.218995         0.257445       0.155889         -   0.24791             0.154853         -   0.182041           -   0.11023         0.175299           0.106291         -   0.398128         0.0881866         -   0.0977373             0.154853         -   0.182041           -   0.11023         0.175299             -   0.453572         0.13759       0.0565533       0.045025             -   0.0485619           -   0.216087         0.198417         -   0.273036             0.209812       0.107201       0.0888488         -   0.262009               -   0.234577           -   0.119854           -   0.099336         0.292935             -   0.453572         0.13759       0.0565533       0.045025           0.106291         -   0.398128         0.0881866         -   0.0977373               -   0.270671           -   0.149009           -   0.49682           -   0.0235622             0.0360937       0.029155       0.397484       0.316497           0.168984         -   0.119161           -   0.167969         0.254751           0.0360937       0.029155       0.397484       0.316497             -   0.0485619           -   0.216087         0.198417         -   0.273036             0.209812       0.107201       0.0888488         -   0.262009             0.272505       0.386168         -   0.167306         0.090479             -   0.0360937           -   0.029155           -   0.397484           -   0.316497             0.154853         -   0.182041           -   0.11023         0.175299         )       ,                 S   =     d                 i                 a                   g        (     1.62012   ,   1.42399   ,   1.03077   ,   0.876705     )           ,                 V   =     (         0.175925       0.688048         -   0.457324         0.535252           0.614528         -   0.634965           -   0.278315         0.376451           0.116952       0.0830325       0.819426       0.554949             -   0.760084           -   0.341342           -   0.204784         0.513635         )       ,                               
 
         [0084]    For k 2 =2, we have  
           U     k   2       =     (         0.209812       0.107201           0.272505       0.386168             -   0.218995         0.257445           0.154853         -   0.182041             0.106291         -   0.398128             0.154853         -   0.182041               -   0.453572         0.13759             -   0.0485619           -   0.216087             0.209812       0.107201             -   0.234577           -   0.119854               -   0.453572         0.13759           0.106291         -   0.398128               -   0.270671           -   0.149009             0.0360937       0.029155           0.168984         -   0.119161             0.0360937       0.029155             -   0.0485619           -   0.216087             0.209812       0.107201           0.272505       0.386168             -   0.0360937           -   0.029155             0.154853         -   0.182041           )       ,                         
 
         [0085]    Estimating that r 2  n 2 =4, then we have  
         ρ   2     =         1       r   2     -     k   2                ∑     i   =       k   2     +   1       r                     δ   i   2         =         1     4   -   2            (       1.03077                2       +     0.876705   2       )       =     0.91554922              .                               
 
         [0086]    So, the function P(x|D E ) now becomes:  
                     P        (     x        D   E       )       =                          4     1   /   2              exp        (       -     4   2            (         y   1   2       1.62012   2       +       y   2   2       1.42399   2         )       )       ·                 exp        (     -       4          ɛ   2          (   x   )           2   ×   0.91554922         )                   (     2      π     )       4   /   2       ×   1.62012   ×   1.42399   ×     0.91554922                    (     4   -   2     )     /   2                         =                0.023984708   ×     exp   (       -   2     *     (         y   1   2     /   2.6247888144     +                                                y   2   2     /   2.0277475201     )       )     ×     exp        (       -   2.18448113581            ɛ   2          (   x   )         )         ,                 (   3   )                               
 
         [0087]    where y=U k     2     T x,ε 2 (x)=∥x∥ 2 −(y 1   2 +y 2   2 ).  
         [0088]    Suppose the average number of recalls to be 1. Then P(D I , x) becomes  
               P        (       D   I        x     )       =         0.25        P        (     x        D   I       )             0.25        P        (     x        D   I       )         +     0.75        P        (     x        D   E       )             .             (   4   )                               
 
         [0089]    To determine a final candidate for recall to a query q, we could choose the document t having a highest value of P(D I |t-q) exceeding the threshold value. Or we could choose the best N documents t with largest P(D I |t-q) as the final candidates to the query. In this example, we will choose the only document t with largest P(D I |t-q) as the candidate to an arbitrary query q.  
         [0090]    Now, suppose we want to search the document (documents) according to the query:  
         [0091]    “The result is influenced by the study of science”.  
         [0092]    The normalized document vector of this query is:  
           q =(0, 0, 0, 0, 0, 0, 0, 0. 5, 0, 0, 0, 0, 0, 0, 0, 0. 5, 0. 5, 0. 5, 0, 0, 0) T .  
         [0093]    For all the documents A 1 , B 2 , C 1 , and D 2 , the differential document vectors are obtained with the query. The results can be shown as Table 5, where each column corresponds to one vector.  
         [0094]    We need to calculate the D(x|D I ), P(x|D E ) and P(D I |x) of each vector (A 1 -q, B 2 -q, C 1 -q and D 2 -q) in Table 5, according to the algorithm. To calculate P(x|D 1 ), the following steps are undertaken:  
         [0095]    1. With equation y=U k     1     T x, obtain the coordinates of the projects of vectors A 1 -q, B 2 -q, C 1 -q and D 2 -q in the interior differential latent semantic space, as shown in Table 6. According to equation (2), we have P(A 1 -q|D I )=0.000121753, P(B 2 -q|D I )=0.000236386, P(C 1 -q|D I )=0.000358469 and P(D 2 -q|D I )=0.0000563377.  
         [0096]    [0096] 2 . With equation y=U k     2     T x, obtain the coordinates of the projects of vectors A 1 -q, B 2 -q, C 1 -q and D 2 -q in the exterior differential latent semantic space, as shown in Table 7. According to equation (3), we have P(A 1 -q|D E )=0.000497121, P(B 2 -q|D E )=0.000429235, P(C 1 -q|D E )=0.001438324 and P(D 2 -q|D E )=0.000615731.  
         [0097]    [0097] 3 . Then, calculate the P(D I |x) according to equation (4). P(D I |A 1 -q)=0.075476859, P(D I |B 2 -q)=0.155099594, P(D I |C 1 -q)=0.076703526 and P(D I |D 2 -q)=0.029596402  
         [0098]    The result is choice of the document: “The physical research was impacted enormously by Galileo&#39;s theories.” This document is chosen because it has a largest value, implying that it is closest to the query. Surprisingly we note that when we compare the query of “The result is influenced by the study of science” with the document recalled, there is not even one keyword appearing in both the query and the document.  
                                                           TABLE 5                           Differential document vectors of documents and query                A 1  − q   B 2  − q   C 1  − q   D 2  − q                        attain   0   0   0   0       alloi   0.577350269   0   0   0       enhanc   0   0   0   0       enorm   0   0.40824829   0   0       Galileo   0   0.40824829   0   0       impact   0   0.40824829   0   0       improv   0   0   0.5   0.5       influenc   −0.5   −0.5   −0.5   −0.5       novel   0   0   0   0       object   0   0   0   0       perform   0   0   0.5   0.5       physic   0   0.40824829   0   0       project   0   0   0   0.5       rais   0   0   0.5   0       research   0.577350269   0.40824829   0   0       result   −0.5   −0.5   0   −0.5       science   −0.5   −0.5   −0.5   −0.5       studi   −0.5   −0.5   −0.5   −0.5       success   0.577350269   0   0   0       target   0   0   0   0.5       theori   0   0.40824829   0   0                  
 
         [0099]    [0099]                                                           TABLE 6                           Projection in the interior differential latent semantic space                A 1  − q   B 2  − q   C 1  − q   D 2  − q                        y 1      0.550134566    0.163718038    0.076813     0.076813        y 2     −0.655547399   −1.052459626   −0.5217295   −0.5217295       y 3     −0.271916     −0.271916      0.1877849   −0.3560471                    
         [0100]    [0100]                                                           TABLE 7                           Projection in the exterior differential latent semantic space                A 1  − q   B 2  − q   C 1  − q   D 2  − q                        y 1     0.337833678    0.271038135   −0.49186925   −0.6813453       y 2     0.525019762   −0.448762206    0.314654     0.196417