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.19

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

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

   5.187669 = sum of:
     5.187669 = weight(author_txt:fuhr in 4472) [ClassicSimilarity], result of:
       5.187669 = fieldWeight in 4472, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.30027 = idf(docFreq=29, maxDocs=44421)
         0.625 = fieldNorm(doc=4472)
   

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

   5.187669 = sum of:
     5.187669 = weight(author_txt:fuhr in 6624) [ClassicSimilarity], result of:
       5.187669 = fieldWeight in 6624, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.30027 = idf(docFreq=29, maxDocs=44421)
         0.625 = fieldNorm(doc=6624)
   

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

   5.187669 = sum of:
     5.187669 = weight(author_txt:fuhr in 7856) [ClassicSimilarity], result of:
       5.187669 = fieldWeight in 7856, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.30027 = idf(docFreq=29, maxDocs=44421)
         0.625 = fieldNorm(doc=7856)
   

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

   5.187669 = sum of:
     5.187669 = weight(author_txt:fuhr in 49) [ClassicSimilarity], result of:
       5.187669 = fieldWeight in 49, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.30027 = idf(docFreq=29, maxDocs=44421)
         0.625 = fieldNorm(doc=49)
   

Similar documents (content)

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

   0.24662827 = sum of:
     0.24662827 = product of:
       0.88081527 = sum of:
         0.05398799 = weight(abstract_txt:underlying in 2006) [ClassicSimilarity], result of:
           0.05398799 = score(doc=2006,freq=1.0), product of:
             0.10244034 = queryWeight, product of:
               1.0032375 = boost
               5.6215343 = idf(docFreq=436, maxDocs=44421)
               0.018164039 = queryNorm
             0.52701885 = fieldWeight in 2006, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6215343 = idf(docFreq=436, maxDocs=44421)
               0.09375 = fieldNorm(doc=2006)
         0.0990199 = weight(abstract_txt:probability in 2006) [ClassicSimilarity], result of:
           0.0990199 = score(doc=2006,freq=1.0), product of:
             0.15349276 = queryWeight, product of:
               1.228039 = boost
               6.881186 = idf(docFreq=123, maxDocs=44421)
               0.018164039 = queryNorm
             0.6451112 = fieldWeight in 2006, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.881186 = idf(docFreq=123, maxDocs=44421)
               0.09375 = fieldNorm(doc=2006)
         0.100442186 = weight(abstract_txt:inference in 2006) [ClassicSimilarity], result of:
           0.100442186 = score(doc=2006,freq=1.0), product of:
             0.15495907 = queryWeight, product of:
               1.2338908 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.018164039 = queryNorm
             0.64818525 = fieldWeight in 2006, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.09375 = fieldNorm(doc=2006)
         0.15230079 = weight(abstract_txt:extends in 2006) [ClassicSimilarity], result of:
           0.15230079 = score(doc=2006,freq=2.0), product of:
             0.1623296 = queryWeight, product of:
               1.2628945 = boost
               7.0764947 = idf(docFreq=101, maxDocs=44421)
               0.018164039 = queryNorm
             0.9382194 = fieldWeight in 2006, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.0764947 = idf(docFreq=101, maxDocs=44421)
               0.09375 = fieldNorm(doc=2006)
         0.066350035 = weight(abstract_txt:retrieval in 2006) [ClassicSimilarity], result of:
           0.066350035 = score(doc=2006,freq=3.0), product of:
             0.11753496 = queryWeight, product of:
               1.861283 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.018164039 = queryNorm
             0.5645132 = fieldWeight in 2006, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.09375 = fieldNorm(doc=2006)
         0.14235696 = weight(abstract_txt:logical in 2006) [ClassicSimilarity], result of:
           0.14235696 = score(doc=2006,freq=1.0), product of:
             0.24634025 = queryWeight, product of:
               2.200143 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.018164039 = queryNorm
             0.57788754 = fieldWeight in 2006, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.09375 = fieldNorm(doc=2006)
         0.26635745 = weight(abstract_txt:probabilistic in 2006) [ClassicSimilarity], result of:
           0.26635745 = score(doc=2006,freq=2.0), product of:
             0.29688126 = queryWeight, product of:
               2.4153197 = boost
               6.7669935 = idf(docFreq=138, maxDocs=44421)
               0.018164039 = queryNorm
             0.8971851 = fieldWeight in 2006, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.7669935 = idf(docFreq=138, maxDocs=44421)
               0.09375 = fieldNorm(doc=2006)
       0.28 = coord(7/25)
   

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

   0.13139994 = sum of:
     0.13139994 = product of:
       0.6569997 = sum of:
         0.11702752 = weight(abstract_txt:worlds in 1827) [ClassicSimilarity], result of:
           0.11702752 = score(doc=1827,freq=1.0), product of:
             0.19375478 = queryWeight, product of:
               1.379731 = boost
               7.731176 = idf(docFreq=52, maxDocs=44421)
               0.018164039 = queryNorm
             0.6039981 = fieldWeight in 1827, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.731176 = idf(docFreq=52, maxDocs=44421)
               0.078125 = fieldNorm(doc=1827)
         0.045145486 = weight(abstract_txt:retrieval in 1827) [ClassicSimilarity], result of:
           0.045145486 = score(doc=1827,freq=2.0), product of:
             0.11753496 = queryWeight, product of:
               1.861283 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.018164039 = queryNorm
             0.3841026 = fieldWeight in 1827, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.078125 = fieldNorm(doc=1827)
         0.20547454 = weight(abstract_txt:logical in 1827) [ClassicSimilarity], result of:
           0.20547454 = score(doc=1827,freq=3.0), product of:
             0.24634025 = queryWeight, product of:
               2.200143 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.018164039 = queryNorm
             0.8341087 = fieldWeight in 1827, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.078125 = fieldNorm(doc=1827)
         0.122925304 = weight(abstract_txt:logic in 1827) [ClassicSimilarity], result of:
           0.122925304 = score(doc=1827,freq=1.0), product of:
             0.25225005 = queryWeight, product of:
               2.2263777 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.018164039 = queryNorm
             0.4873153 = fieldWeight in 1827, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.078125 = fieldNorm(doc=1827)
         0.1664269 = weight(abstract_txt:semantics in 1827) [ClassicSimilarity], result of:
           0.1664269 = score(doc=1827,freq=1.0), product of:
             0.3533864 = queryWeight, product of:
               3.2274072 = boost
               6.0281444 = idf(docFreq=290, maxDocs=44421)
               0.018164039 = queryNorm
             0.4709488 = fieldWeight in 1827, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0281444 = idf(docFreq=290, maxDocs=44421)
               0.078125 = fieldNorm(doc=1827)
       0.2 = coord(5/25)
   

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

   0.12610245 = sum of:
     0.12610245 = product of:
       0.52542686 = sum of:
         0.051059294 = weight(abstract_txt:advanced in 2425) [ClassicSimilarity], result of:
           0.051059294 = score(doc=2425,freq=1.0), product of:
             0.11145776 = queryWeight, product of:
               1.0464618 = boost
               5.863737 = idf(docFreq=342, maxDocs=44421)
               0.018164039 = queryNorm
             0.45810446 = fieldWeight in 2425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.863737 = idf(docFreq=342, maxDocs=44421)
               0.078125 = fieldNorm(doc=2425)
         0.08251658 = weight(abstract_txt:probability in 2425) [ClassicSimilarity], result of:
           0.08251658 = score(doc=2425,freq=1.0), product of:
             0.15349276 = queryWeight, product of:
               1.228039 = boost
               6.881186 = idf(docFreq=123, maxDocs=44421)
               0.018164039 = queryNorm
             0.53759265 = fieldWeight in 2425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.881186 = idf(docFreq=123, maxDocs=44421)
               0.078125 = fieldNorm(doc=2425)
         0.11837224 = weight(abstract_txt:inference in 2425) [ClassicSimilarity], result of:
           0.11837224 = score(doc=2425,freq=2.0), product of:
             0.15495907 = queryWeight, product of:
               1.2338908 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.018164039 = queryNorm
             0.7638936 = fieldWeight in 2425, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.078125 = fieldNorm(doc=2425)
         0.03192268 = weight(abstract_txt:retrieval in 2425) [ClassicSimilarity], result of:
           0.03192268 = score(doc=2425,freq=1.0), product of:
             0.11753496 = queryWeight, product of:
               1.861283 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.018164039 = queryNorm
             0.27160156 = fieldWeight in 2425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.078125 = fieldNorm(doc=2425)
         0.11863079 = weight(abstract_txt:logical in 2425) [ClassicSimilarity], result of:
           0.11863079 = score(doc=2425,freq=1.0), product of:
             0.24634025 = queryWeight, product of:
               2.200143 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.018164039 = queryNorm
             0.48157293 = fieldWeight in 2425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.078125 = fieldNorm(doc=2425)
         0.122925304 = weight(abstract_txt:logic in 2425) [ClassicSimilarity], result of:
           0.122925304 = score(doc=2425,freq=1.0), product of:
             0.25225005 = queryWeight, product of:
               2.2263777 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.018164039 = queryNorm
             0.4873153 = fieldWeight in 2425, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.078125 = fieldNorm(doc=2425)
       0.24 = coord(6/25)
   

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

   0.11660794 = sum of:
     0.11660794 = product of:
       0.5830397 = sum of:
         0.051059294 = weight(abstract_txt:advanced in 3413) [ClassicSimilarity], result of:
           0.051059294 = score(doc=3413,freq=1.0), product of:
             0.11145776 = queryWeight, product of:
               1.0464618 = boost
               5.863737 = idf(docFreq=342, maxDocs=44421)
               0.018164039 = queryNorm
             0.45810446 = fieldWeight in 3413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.863737 = idf(docFreq=342, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.18421526 = weight(abstract_txt:clause in 3413) [ClassicSimilarity], result of:
           0.18421526 = score(doc=3413,freq=1.0), product of:
             0.2621868 = queryWeight, product of:
               1.6049949 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.018164039 = queryNorm
             0.70261073 = fieldWeight in 3413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.055291697 = weight(abstract_txt:retrieval in 3413) [ClassicSimilarity], result of:
           0.055291697 = score(doc=3413,freq=3.0), product of:
             0.11753496 = queryWeight, product of:
               1.861283 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.018164039 = queryNorm
             0.4704277 = fieldWeight in 3413, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.11863079 = weight(abstract_txt:logical in 3413) [ClassicSimilarity], result of:
           0.11863079 = score(doc=3413,freq=1.0), product of:
             0.24634025 = queryWeight, product of:
               2.200143 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.018164039 = queryNorm
             0.48157293 = fieldWeight in 3413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.17384264 = weight(abstract_txt:logic in 3413) [ClassicSimilarity], result of:
           0.17384264 = score(doc=3413,freq=2.0), product of:
             0.25225005 = queryWeight, product of:
               2.2263777 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.018164039 = queryNorm
             0.6891679 = fieldWeight in 3413, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
       0.2 = coord(5/25)
   

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

   0.11493547 = sum of:
     0.11493547 = product of:
       0.57467735 = sum of:
         0.055858098 = weight(abstract_txt:classical in 2140) [ClassicSimilarity], result of:
           0.055858098 = score(doc=2140,freq=1.0), product of:
             0.13731706 = queryWeight, product of:
               1.1615301 = boost
               6.5085106 = idf(docFreq=179, maxDocs=44421)
               0.018164039 = queryNorm
             0.4067819 = fieldWeight in 2140, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5085106 = idf(docFreq=179, maxDocs=44421)
               0.0625 = fieldNorm(doc=2140)
         0.025538143 = weight(abstract_txt:retrieval in 2140) [ClassicSimilarity], result of:
           0.025538143 = score(doc=2140,freq=1.0), product of:
             0.11753496 = queryWeight, product of:
               1.861283 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.018164039 = queryNorm
             0.21728125 = fieldWeight in 2140, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.0625 = fieldNorm(doc=2140)
         0.18980928 = weight(abstract_txt:logical in 2140) [ClassicSimilarity], result of:
           0.18980928 = score(doc=2140,freq=4.0), product of:
             0.24634025 = queryWeight, product of:
               2.200143 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.018164039 = queryNorm
             0.7705167 = fieldWeight in 2140, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.0625 = fieldNorm(doc=2140)
         0.17033029 = weight(abstract_txt:logic in 2140) [ClassicSimilarity], result of:
           0.17033029 = score(doc=2140,freq=3.0), product of:
             0.25225005 = queryWeight, product of:
               2.2263777 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.018164039 = queryNorm
             0.67524385 = fieldWeight in 2140, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0625 = fieldNorm(doc=2140)
         0.13314152 = weight(abstract_txt:semantics in 2140) [ClassicSimilarity], result of:
           0.13314152 = score(doc=2140,freq=1.0), product of:
             0.3533864 = queryWeight, product of:
               3.2274072 = boost
               6.0281444 = idf(docFreq=290, maxDocs=44421)
               0.018164039 = queryNorm
             0.37675902 = fieldWeight in 2140, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0281444 = idf(docFreq=290, maxDocs=44421)
               0.0625 = fieldNorm(doc=2140)
       0.2 = coord(5/25)