Document (#22381)

Author

Fuhr, N.

Title

Probabilistic datalog : implementing logical information retrieval for advanced applications

Source

Journal of the American Society for Information Science. 51(2000) no.2, S.95-110

Year

2000

Abstract

In the logical approach to information retrieval, retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Datalog (function-free Horn clause predicate logic) with probability theory. Therefore, probabilistic weights may be attached to both facts and rules. The underlying semantics extends the well-founded semantics of modularly stratified Datalog to a possible worlds semantics

Similar documents (author)

1. Fuhr, N.: Ranking-Experimente mit gewichteter Indexierung (1986) 5.18

   5.184806 = sum of:
     5.184806 = weight(author_txt:fuhr in 58) [ClassicSimilarity], result of:
       5.184806 = fieldWeight in 58, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.29569 = idf(docFreq=29, maxDocs=44218)
         0.625 = fieldNorm(doc=58)
   

2. Fuhr, N.: Hypertext und Information-Retrieval (1990) 5.18

   5.184806 = sum of:
     5.184806 = weight(author_txt:fuhr in 4473) [ClassicSimilarity], result of:
       5.184806 = fieldWeight in 4473, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.29569 = idf(docFreq=29, maxDocs=44218)
         0.625 = fieldNorm(doc=4473)
   

3. Fuhr, N.: Zur Überwindung der Diskrepanz zwischen Retrievalforschung und -praxis (1990) 5.18

   5.184806 = sum of:
     5.184806 = weight(author_txt:fuhr in 6625) [ClassicSimilarity], result of:
       5.184806 = fieldWeight in 6625, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.29569 = idf(docFreq=29, maxDocs=44218)
         0.625 = fieldNorm(doc=6625)
   

4. Fuhr, N.: Konzepte zur Gestaltung zukünftiger Information-Retrieval-Systeme (1992) 5.18

   5.184806 = sum of:
     5.184806 = weight(author_txt:fuhr in 7857) [ClassicSimilarity], result of:
       5.184806 = fieldWeight in 7857, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.29569 = idf(docFreq=29, maxDocs=44218)
         0.625 = fieldNorm(doc=7857)
   

5. Fuhr, N.: Repräsentationen und Anfragefunktionalität in multimedialen Informationssystemen (1990) 5.18

   5.184806 = sum of:
     5.184806 = weight(author_txt:fuhr in 8435) [ClassicSimilarity], result of:
       5.184806 = fieldWeight in 8435, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.29569 = idf(docFreq=29, maxDocs=44218)
         0.625 = fieldNorm(doc=8435)
   

Similar documents (content)

1. Wong, S.K.M.: On modelling information retrieval with probabilistic inference (1995) 0.25

   0.24705659 = sum of:
     0.24705659 = product of:
       0.88234496 = sum of:
         0.054227017 = weight(abstract_txt:underlying in 1938) [ClassicSimilarity], result of:
           0.054227017 = score(doc=1938,freq=1.0), product of:
             0.1026826 = queryWeight, product of:
               1.0049102 = boost
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.01813936 = queryNorm
             0.5281033 = fieldWeight in 1938, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.09375 = fieldNorm(doc=1938)
         0.09899846 = weight(abstract_txt:probability in 1938) [ClassicSimilarity], result of:
           0.09899846 = score(doc=1938,freq=1.0), product of:
             0.15338114 = queryWeight, product of:
               1.2281879 = boost
               6.8847027 = idf(docFreq=122, maxDocs=44218)
               0.01813936 = queryNorm
             0.6454409 = fieldWeight in 1938, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8847027 = idf(docFreq=122, maxDocs=44218)
               0.09375 = fieldNorm(doc=1938)
         0.10154771 = weight(abstract_txt:inference in 1938) [ClassicSimilarity], result of:
           0.10154771 = score(doc=1938,freq=1.0), product of:
             0.15600306 = queryWeight, product of:
               1.2386408 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.01813936 = queryNorm
             0.6509341 = fieldWeight in 1938, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.09375 = fieldNorm(doc=1938)
         0.15173957 = weight(abstract_txt:extends in 1938) [ClassicSimilarity], result of:
           0.15173957 = score(doc=1938,freq=2.0), product of:
             0.16183618 = queryWeight, product of:
               1.2615854 = boost
               7.071914 = idf(docFreq=101, maxDocs=44218)
               0.01813936 = queryNorm
             0.9376122 = fieldWeight in 1938, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.071914 = idf(docFreq=101, maxDocs=44218)
               0.09375 = fieldNorm(doc=1938)
         0.066156335 = weight(abstract_txt:retrieval in 1938) [ClassicSimilarity], result of:
           0.066156335 = score(doc=1938,freq=3.0), product of:
             0.11723771 = queryWeight, product of:
               1.8598294 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.01813936 = queryNorm
             0.5642923 = fieldWeight in 1938, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.09375 = fieldNorm(doc=1938)
         0.1426137 = weight(abstract_txt:logical in 1938) [ClassicSimilarity], result of:
           0.1426137 = score(doc=1938,freq=1.0), product of:
             0.24649258 = queryWeight, product of:
               2.2018907 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.01813936 = queryNorm
             0.578572 = fieldWeight in 1938, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.09375 = fieldNorm(doc=1938)
         0.2670622 = weight(abstract_txt:probabilistic in 1938) [ClassicSimilarity], result of:
           0.2670622 = score(doc=1938,freq=2.0), product of:
             0.29723135 = queryWeight, product of:
               2.4179156 = boost
               6.7769065 = idf(docFreq=136, maxDocs=44218)
               0.01813936 = queryNorm
             0.89849937 = fieldWeight in 1938, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.7769065 = idf(docFreq=136, maxDocs=44218)
               0.09375 = fieldNorm(doc=1938)
       0.28 = coord(7/25)
   

2. Crestani, F.; Rijsbergen, C.J. van: Information retrieval by logical imaging (1995) 0.13

   0.13141432 = sum of:
     0.13141432 = product of:
       0.6570716 = sum of:
         0.11748006 = weight(abstract_txt:worlds in 1759) [ClassicSimilarity], result of:
           0.11748006 = score(doc=1759,freq=1.0), product of:
             0.19414072 = queryWeight, product of:
               1.3817744 = boost
               7.7456436 = idf(docFreq=51, maxDocs=44218)
               0.01813936 = queryNorm
             0.6051284 = fieldWeight in 1759, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.7456436 = idf(docFreq=51, maxDocs=44218)
               0.078125 = fieldNorm(doc=1759)
         0.045013685 = weight(abstract_txt:retrieval in 1759) [ClassicSimilarity], result of:
           0.045013685 = score(doc=1759,freq=2.0), product of:
             0.11723771 = queryWeight, product of:
               1.8598294 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.01813936 = queryNorm
             0.38395226 = fieldWeight in 1759, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.078125 = fieldNorm(doc=1759)
         0.20584515 = weight(abstract_txt:logical in 1759) [ClassicSimilarity], result of:
           0.20584515 = score(doc=1759,freq=3.0), product of:
             0.24649258 = queryWeight, product of:
               2.2018907 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.01813936 = queryNorm
             0.8350967 = fieldWeight in 1759, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.078125 = fieldNorm(doc=1759)
         0.122690775 = weight(abstract_txt:logic in 1759) [ClassicSimilarity], result of:
           0.122690775 = score(doc=1759,freq=1.0), product of:
             0.25178227 = queryWeight, product of:
               2.2253914 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.01813936 = queryNorm
             0.4872892 = fieldWeight in 1759, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=1759)
         0.16604194 = weight(abstract_txt:semantics in 1759) [ClassicSimilarity], result of:
           0.16604194 = score(doc=1759,freq=1.0), product of:
             0.3526356 = queryWeight, product of:
               3.2255406 = boost
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.01813936 = queryNorm
             0.47085986 = fieldWeight in 1759, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.078125 = fieldNorm(doc=1759)
       0.2 = coord(5/25)
   

3. Nie, J.-Y.: Query expansion and query translation as logical inference (2003) 0.13

   0.12638846 = sum of:
     0.12638846 = product of:
       0.5266186 = sum of:
         0.05107977 = weight(abstract_txt:advanced in 1425) [ClassicSimilarity], result of:
           0.05107977 = score(doc=1425,freq=1.0), product of:
             0.11142256 = queryWeight, product of:
               1.0468041 = boost
               5.8679414 = idf(docFreq=339, maxDocs=44218)
               0.01813936 = queryNorm
             0.4584329 = fieldWeight in 1425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8679414 = idf(docFreq=339, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
         0.08249872 = weight(abstract_txt:probability in 1425) [ClassicSimilarity], result of:
           0.08249872 = score(doc=1425,freq=1.0), product of:
             0.15338114 = queryWeight, product of:
               1.2281879 = boost
               6.8847027 = idf(docFreq=122, maxDocs=44218)
               0.01813936 = queryNorm
             0.5378674 = fieldWeight in 1425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8847027 = idf(docFreq=122, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
         0.11967512 = weight(abstract_txt:inference in 1425) [ClassicSimilarity], result of:
           0.11967512 = score(doc=1425,freq=2.0), product of:
             0.15600306 = queryWeight, product of:
               1.2386408 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.01813936 = queryNorm
             0.7671332 = fieldWeight in 1425, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
         0.03182948 = weight(abstract_txt:retrieval in 1425) [ClassicSimilarity], result of:
           0.03182948 = score(doc=1425,freq=1.0), product of:
             0.11723771 = queryWeight, product of:
               1.8598294 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.01813936 = queryNorm
             0.27149525 = fieldWeight in 1425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
         0.11884475 = weight(abstract_txt:logical in 1425) [ClassicSimilarity], result of:
           0.11884475 = score(doc=1425,freq=1.0), product of:
             0.24649258 = queryWeight, product of:
               2.2018907 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.01813936 = queryNorm
             0.4821433 = fieldWeight in 1425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
         0.122690775 = weight(abstract_txt:logic in 1425) [ClassicSimilarity], result of:
           0.122690775 = score(doc=1425,freq=1.0), product of:
             0.25178227 = queryWeight, product of:
               2.2253914 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.01813936 = queryNorm
             0.4872892 = fieldWeight in 1425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=1425)
       0.24 = coord(6/25)
   

4. Hess, M.: ¬An incrementally extensible document retrieval system based on linguistic and logical principles (1992) 0.12

   0.11643565 = sum of:
     0.11643565 = product of:
       0.58217824 = sum of:
         0.05107977 = weight(abstract_txt:advanced in 2413) [ClassicSimilarity], result of:
           0.05107977 = score(doc=2413,freq=1.0), product of:
             0.11142256 = queryWeight, product of:
               1.0468041 = boost
               5.8679414 = idf(docFreq=339, maxDocs=44218)
               0.01813936 = queryNorm
             0.4584329 = fieldWeight in 2413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8679414 = idf(docFreq=339, maxDocs=44218)
               0.078125 = fieldNorm(doc=2413)
         0.1836125 = weight(abstract_txt:clause in 2413) [ClassicSimilarity], result of:
           0.1836125 = score(doc=2413,freq=1.0), product of:
             0.26146206 = queryWeight, product of:
               1.6035525 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.01813936 = queryNorm
             0.7022529 = fieldWeight in 2413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.078125 = fieldNorm(doc=2413)
         0.05513028 = weight(abstract_txt:retrieval in 2413) [ClassicSimilarity], result of:
           0.05513028 = score(doc=2413,freq=3.0), product of:
             0.11723771 = queryWeight, product of:
               1.8598294 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.01813936 = queryNorm
             0.47024357 = fieldWeight in 2413, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.078125 = fieldNorm(doc=2413)
         0.11884475 = weight(abstract_txt:logical in 2413) [ClassicSimilarity], result of:
           0.11884475 = score(doc=2413,freq=1.0), product of:
             0.24649258 = queryWeight, product of:
               2.2018907 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.01813936 = queryNorm
             0.4821433 = fieldWeight in 2413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.078125 = fieldNorm(doc=2413)
         0.17351097 = weight(abstract_txt:logic in 2413) [ClassicSimilarity], result of:
           0.17351097 = score(doc=2413,freq=2.0), product of:
             0.25178227 = queryWeight, product of:
               2.2253914 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.01813936 = queryNorm
             0.689131 = fieldWeight in 2413, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=2413)
       0.2 = coord(5/25)
   

5. Sebastiani, F.: On the role of logic in information retrieval (1998) 0.11

   0.114819385 = sum of:
     0.114819385 = product of:
       0.5740969 = sum of:
         0.055642843 = weight(abstract_txt:classical in 1140) [ClassicSimilarity], result of:
           0.055642843 = score(doc=1140,freq=1.0), product of:
             0.13688423 = queryWeight, product of:
               1.1602606 = boost
               6.5039306 = idf(docFreq=179, maxDocs=44218)
               0.01813936 = queryNorm
             0.40649566 = fieldWeight in 1140, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5039306 = idf(docFreq=179, maxDocs=44218)
               0.0625 = fieldNorm(doc=1140)
         0.025463587 = weight(abstract_txt:retrieval in 1140) [ClassicSimilarity], result of:
           0.025463587 = score(doc=1140,freq=1.0), product of:
             0.11723771 = queryWeight, product of:
               1.8598294 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.01813936 = queryNorm
             0.21719621 = fieldWeight in 1140, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.0625 = fieldNorm(doc=1140)
         0.1901516 = weight(abstract_txt:logical in 1140) [ClassicSimilarity], result of:
           0.1901516 = score(doc=1140,freq=4.0), product of:
             0.24649258 = queryWeight, product of:
               2.2018907 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.01813936 = queryNorm
             0.7714293 = fieldWeight in 1140, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.0625 = fieldNorm(doc=1140)
         0.17000534 = weight(abstract_txt:logic in 1140) [ClassicSimilarity], result of:
           0.17000534 = score(doc=1140,freq=3.0), product of:
             0.25178227 = queryWeight, product of:
               2.2253914 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.01813936 = queryNorm
             0.67520773 = fieldWeight in 1140, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=1140)
         0.13283356 = weight(abstract_txt:semantics in 1140) [ClassicSimilarity], result of:
           0.13283356 = score(doc=1140,freq=1.0), product of:
             0.3526356 = queryWeight, product of:
               3.2255406 = boost
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.01813936 = queryNorm
             0.37668788 = fieldWeight in 1140, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.027006 = idf(docFreq=289, maxDocs=44218)
               0.0625 = fieldNorm(doc=1140)
       0.2 = coord(5/25)