Document (#22382)

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.17
    5.1732645 = sum of:
      5.1732645 = weight(author_txt:fuhr in 58) [ClassicSimilarity], result of:
        5.1732645 = fieldWeight in 58, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.277224 = idf(docFreq=28, maxDocs=41962)
          0.625 = fieldNorm(doc=58)
    
  2. Fuhr, N.: Hypertext und Information-Retrieval (1990) 5.17
    5.1732645 = sum of:
      5.1732645 = weight(author_txt:fuhr in 4473) [ClassicSimilarity], result of:
        5.1732645 = fieldWeight in 4473, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.277224 = idf(docFreq=28, maxDocs=41962)
          0.625 = fieldNorm(doc=4473)
    
  3. Fuhr, N.: Zur Überwindung der Diskrepanz zwischen Retrievalforschung und -praxis (1990) 5.17
    5.1732645 = sum of:
      5.1732645 = weight(author_txt:fuhr in 6625) [ClassicSimilarity], result of:
        5.1732645 = fieldWeight in 6625, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.277224 = idf(docFreq=28, maxDocs=41962)
          0.625 = fieldNorm(doc=6625)
    
  4. Fuhr, N.: Konzepte zur Gestaltung zukünftiger Information-Retrieval-Systeme (1992) 5.17
    5.1732645 = sum of:
      5.1732645 = weight(author_txt:fuhr in 7857) [ClassicSimilarity], result of:
        5.1732645 = fieldWeight in 7857, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.277224 = idf(docFreq=28, maxDocs=41962)
          0.625 = fieldNorm(doc=7857)
    
  5. Fuhr, N.: Repräsentationen und Anfragefunktionalität in multimedialen Informationssystemen (1990) 5.17
    5.1732645 = sum of:
      5.1732645 = weight(author_txt:fuhr in 435) [ClassicSimilarity], result of:
        5.1732645 = fieldWeight in 435, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.277224 = idf(docFreq=28, maxDocs=41962)
          0.625 = fieldNorm(doc=435)
    

Similar documents (content)

  1. Wong, S.K.M.: On modelling information retrieval with probabilistic inference (1995) 0.25
    0.2490355 = sum of:
      0.2490355 = product of:
        0.8894125 = sum of:
          0.053663082 = weight(abstract_txt:underlying in 2007) [ClassicSimilarity], result of:
            0.053663082 = score(doc=2007,freq=1.0), product of:
              0.10161203 = queryWeight, product of:
                1.003029 = boost
                5.6332526 = idf(docFreq=407, maxDocs=41962)
                0.017983425 = queryNorm
              0.5281174 = fieldWeight in 2007, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.6332526 = idf(docFreq=407, maxDocs=41962)
                0.09375 = fieldNorm(doc=2007)
          0.09935189 = weight(abstract_txt:probability in 2007) [ClassicSimilarity], result of:
            0.09935189 = score(doc=2007,freq=1.0), product of:
              0.15320706 = queryWeight, product of:
                1.2316302 = boost
                6.917132 = idf(docFreq=112, maxDocs=41962)
                0.017983425 = queryNorm
              0.64848113 = fieldWeight in 2007, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.917132 = idf(docFreq=112, maxDocs=41962)
                0.09375 = fieldNorm(doc=2007)
          0.10383056 = weight(abstract_txt:inference in 2007) [ClassicSimilarity], result of:
            0.10383056 = score(doc=2007,freq=1.0), product of:
              0.15777741 = queryWeight, product of:
                1.2498657 = boost
                7.019547 = idf(docFreq=101, maxDocs=41962)
                0.017983425 = queryNorm
              0.65808254 = fieldWeight in 2007, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.019547 = idf(docFreq=101, maxDocs=41962)
                0.09375 = fieldNorm(doc=2007)
          0.1609655 = weight(abstract_txt:extends in 2007) [ClassicSimilarity], result of:
            0.1609655 = score(doc=2007,freq=2.0), product of:
              0.16774127 = queryWeight, product of:
                1.2887268 = boost
                7.2378006 = idf(docFreq=81, maxDocs=41962)
                0.017983425 = queryNorm
              0.9596059 = fieldWeight in 2007, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.2378006 = idf(docFreq=81, maxDocs=41962)
                0.09375 = fieldNorm(doc=2007)
          0.06468981 = weight(abstract_txt:retrieval in 2007) [ClassicSimilarity], result of:
            0.06468981 = score(doc=2007,freq=3.0), product of:
              0.115093805 = queryWeight, product of:
                1.84896 = boost
                3.4614017 = idf(docFreq=3579, maxDocs=41962)
                0.017983425 = queryNorm
              0.5620616 = fieldWeight in 2007, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.4614017 = idf(docFreq=3579, maxDocs=41962)
                0.09375 = fieldNorm(doc=2007)
          0.14353432 = weight(abstract_txt:logical in 2007) [ClassicSimilarity], result of:
            0.14353432 = score(doc=2007,freq=1.0), product of:
              0.24668449 = queryWeight, product of:
                2.210176 = boost
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.017983425 = queryNorm
              0.5818538 = fieldWeight in 2007, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.09375 = fieldNorm(doc=2007)
          0.2633774 = weight(abstract_txt:probabilistic in 2007) [ClassicSimilarity], result of:
            0.2633774 = score(doc=2007,freq=2.0), product of:
              0.29345876 = queryWeight, product of:
                2.410624 = boost
                6.7693224 = idf(docFreq=130, maxDocs=41962)
                0.017983425 = queryNorm
              0.8974938 = fieldWeight in 2007, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.7693224 = idf(docFreq=130, maxDocs=41962)
                0.09375 = fieldNorm(doc=2007)
        0.28 = coord(7/25)
    
  2. Crestani, F.; Rijsbergen, C.J. van: Information retrieval by logical imaging (1995) 0.13
    0.13158143 = sum of:
      0.13158143 = product of:
        0.6579071 = sum of:
          0.11749954 = weight(abstract_txt:worlds in 1828) [ClassicSimilarity], result of:
            0.11749954 = score(doc=1828,freq=1.0), product of:
              0.1934816 = queryWeight, product of:
                1.3840786 = boost
                7.773319 = idf(docFreq=47, maxDocs=41962)
                0.017983425 = queryNorm
              0.6072905 = fieldWeight in 1828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.773319 = idf(docFreq=47, maxDocs=41962)
                0.078125 = fieldNorm(doc=1828)
          0.044015836 = weight(abstract_txt:retrieval in 1828) [ClassicSimilarity], result of:
            0.044015836 = score(doc=1828,freq=2.0), product of:
              0.115093805 = queryWeight, product of:
                1.84896 = boost
                3.4614017 = idf(docFreq=3579, maxDocs=41962)
                0.017983425 = queryNorm
              0.38243446 = fieldWeight in 1828, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.4614017 = idf(docFreq=3579, maxDocs=41962)
                0.078125 = fieldNorm(doc=1828)
          0.20717393 = weight(abstract_txt:logical in 1828) [ClassicSimilarity], result of:
            0.20717393 = score(doc=1828,freq=3.0), product of:
              0.24668449 = queryWeight, product of:
                2.210176 = boost
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.017983425 = queryNorm
              0.8398336 = fieldWeight in 1828, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.078125 = fieldNorm(doc=1828)
          0.12273681 = weight(abstract_txt:logic in 1828) [ClassicSimilarity], result of:
            0.12273681 = score(doc=1828,freq=1.0), product of:
              0.25096247 = queryWeight, product of:
                2.2292578 = boost
                6.2600245 = idf(docFreq=217, maxDocs=41962)
                0.017983425 = queryNorm
              0.48906443 = fieldWeight in 1828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2600245 = idf(docFreq=217, maxDocs=41962)
                0.078125 = fieldNorm(doc=1828)
          0.16648099 = weight(abstract_txt:semantics in 1828) [ClassicSimilarity], result of:
            0.16648099 = score(doc=1828,freq=1.0), product of:
              0.3520187 = queryWeight, product of:
                3.233586 = boost
                6.0535326 = idf(docFreq=267, maxDocs=41962)
                0.017983425 = queryNorm
              0.47293222 = fieldWeight in 1828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.0535326 = idf(docFreq=267, maxDocs=41962)
                0.078125 = fieldNorm(doc=1828)
        0.2 = coord(5/25)
    
  3. Nie, J.-Y.: Query expansion and query translation as logical inference (2003) 0.13
    0.12709253 = sum of:
      0.12709253 = product of:
        0.5295522 = sum of:
          0.050920833 = weight(abstract_txt:advanced in 2426) [ClassicSimilarity], result of:
            0.050920833 = score(doc=2426,freq=1.0), product of:
              0.110801555 = queryWeight, product of:
                1.0474031 = boost
                5.882468 = idf(docFreq=317, maxDocs=41962)
                0.017983425 = queryNorm
              0.45956784 = fieldWeight in 2426, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.882468 = idf(docFreq=317, maxDocs=41962)
                0.078125 = fieldNorm(doc=2426)
          0.082793236 = weight(abstract_txt:probability in 2426) [ClassicSimilarity], result of:
            0.082793236 = score(doc=2426,freq=1.0), product of:
              0.15320706 = queryWeight, product of:
                1.2316302 = boost
                6.917132 = idf(docFreq=112, maxDocs=41962)
                0.017983425 = queryNorm
              0.5404009 = fieldWeight in 2426, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.917132 = idf(docFreq=112, maxDocs=41962)
                0.078125 = fieldNorm(doc=2426)
          0.12236549 = weight(abstract_txt:inference in 2426) [ClassicSimilarity], result of:
            0.12236549 = score(doc=2426,freq=2.0), product of:
              0.15777741 = queryWeight, product of:
                1.2498657 = boost
                7.019547 = idf(docFreq=101, maxDocs=41962)
                0.017983425 = queryNorm
              0.7755577 = fieldWeight in 2426, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.019547 = idf(docFreq=101, maxDocs=41962)
                0.078125 = fieldNorm(doc=2426)
          0.031123899 = weight(abstract_txt:retrieval in 2426) [ClassicSimilarity], result of:
            0.031123899 = score(doc=2426,freq=1.0), product of:
              0.115093805 = queryWeight, product of:
                1.84896 = boost
                3.4614017 = idf(docFreq=3579, maxDocs=41962)
                0.017983425 = queryNorm
              0.270422 = fieldWeight in 2426, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4614017 = idf(docFreq=3579, maxDocs=41962)
                0.078125 = fieldNorm(doc=2426)
          0.11961192 = weight(abstract_txt:logical in 2426) [ClassicSimilarity], result of:
            0.11961192 = score(doc=2426,freq=1.0), product of:
              0.24668449 = queryWeight, product of:
                2.210176 = boost
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.017983425 = queryNorm
              0.48487815 = fieldWeight in 2426, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.078125 = fieldNorm(doc=2426)
          0.12273681 = weight(abstract_txt:logic in 2426) [ClassicSimilarity], result of:
            0.12273681 = score(doc=2426,freq=1.0), product of:
              0.25096247 = queryWeight, product of:
                2.2292578 = boost
                6.2600245 = idf(docFreq=217, maxDocs=41962)
                0.017983425 = queryNorm
              0.48906443 = fieldWeight in 2426, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2600245 = idf(docFreq=217, maxDocs=41962)
                0.078125 = fieldNorm(doc=2426)
        0.24 = coord(6/25)
    
  4. Hess, M.: ¬An incrementally extensible document retrieval system based on linguistic and logical principles (1992) 0.12
    0.11705261 = sum of:
      0.11705261 = product of:
        0.585263 = sum of:
          0.050920833 = weight(abstract_txt:advanced in 4414) [ClassicSimilarity], result of:
            0.050920833 = score(doc=4414,freq=1.0), product of:
              0.110801555 = queryWeight, product of:
                1.0474031 = boost
                5.882468 = idf(docFreq=317, maxDocs=41962)
                0.017983425 = queryNorm
              0.45956784 = fieldWeight in 4414, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.882468 = idf(docFreq=317, maxDocs=41962)
                0.078125 = fieldNorm(doc=4414)
          0.18724604 = weight(abstract_txt:clause in 4414) [ClassicSimilarity], result of:
            0.18724604 = score(doc=4414,freq=1.0), product of:
              0.26397166 = queryWeight, product of:
                1.6166633 = boost
                9.079571 = idf(docFreq=12, maxDocs=41962)
                0.017983425 = queryNorm
              0.70934147 = fieldWeight in 4414, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.079571 = idf(docFreq=12, maxDocs=41962)
                0.078125 = fieldNorm(doc=4414)
          0.053908173 = weight(abstract_txt:retrieval in 4414) [ClassicSimilarity], result of:
            0.053908173 = score(doc=4414,freq=3.0), product of:
              0.115093805 = queryWeight, product of:
                1.84896 = boost
                3.4614017 = idf(docFreq=3579, maxDocs=41962)
                0.017983425 = queryNorm
              0.46838465 = fieldWeight in 4414, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.4614017 = idf(docFreq=3579, maxDocs=41962)
                0.078125 = fieldNorm(doc=4414)
          0.11961192 = weight(abstract_txt:logical in 4414) [ClassicSimilarity], result of:
            0.11961192 = score(doc=4414,freq=1.0), product of:
              0.24668449 = queryWeight, product of:
                2.210176 = boost
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.017983425 = queryNorm
              0.48487815 = fieldWeight in 4414, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.078125 = fieldNorm(doc=4414)
          0.17357606 = weight(abstract_txt:logic in 4414) [ClassicSimilarity], result of:
            0.17357606 = score(doc=4414,freq=2.0), product of:
              0.25096247 = queryWeight, product of:
                2.2292578 = boost
                6.2600245 = idf(docFreq=217, maxDocs=41962)
                0.017983425 = queryNorm
              0.6916415 = fieldWeight in 4414, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.2600245 = idf(docFreq=217, maxDocs=41962)
                0.078125 = fieldNorm(doc=4414)
        0.2 = coord(5/25)
    
  5. Sebastiani, F.: On the role of logic in information retrieval (1998) 0.11
    0.11491292 = sum of:
      0.11491292 = product of:
        0.5745646 = sum of:
          0.05503249 = weight(abstract_txt:classical in 2554) [ClassicSimilarity], result of:
            0.05503249 = score(doc=2554,freq=1.0), product of:
              0.1354051 = queryWeight, product of:
                1.1578664 = boost
                6.5028563 = idf(docFreq=170, maxDocs=41962)
                0.017983425 = queryNorm
              0.40642852 = fieldWeight in 2554, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.5028563 = idf(docFreq=170, maxDocs=41962)
                0.0625 = fieldNorm(doc=2554)
          0.024899118 = weight(abstract_txt:retrieval in 2554) [ClassicSimilarity], result of:
            0.024899118 = score(doc=2554,freq=1.0), product of:
              0.115093805 = queryWeight, product of:
                1.84896 = boost
                3.4614017 = idf(docFreq=3579, maxDocs=41962)
                0.017983425 = queryNorm
              0.2163376 = fieldWeight in 2554, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4614017 = idf(docFreq=3579, maxDocs=41962)
                0.0625 = fieldNorm(doc=2554)
          0.19137907 = weight(abstract_txt:logical in 2554) [ClassicSimilarity], result of:
            0.19137907 = score(doc=2554,freq=4.0), product of:
              0.24668449 = queryWeight, product of:
                2.210176 = boost
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.017983425 = queryNorm
              0.77580506 = fieldWeight in 2554, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                6.2064404 = idf(docFreq=229, maxDocs=41962)
                0.0625 = fieldNorm(doc=2554)
          0.17006911 = weight(abstract_txt:logic in 2554) [ClassicSimilarity], result of:
            0.17006911 = score(doc=2554,freq=3.0), product of:
              0.25096247 = queryWeight, product of:
                2.2292578 = boost
                6.2600245 = idf(docFreq=217, maxDocs=41962)
                0.017983425 = queryNorm
              0.6776675 = fieldWeight in 2554, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.2600245 = idf(docFreq=217, maxDocs=41962)
                0.0625 = fieldNorm(doc=2554)
          0.13318479 = weight(abstract_txt:semantics in 2554) [ClassicSimilarity], result of:
            0.13318479 = score(doc=2554,freq=1.0), product of:
              0.3520187 = queryWeight, product of:
                3.233586 = boost
                6.0535326 = idf(docFreq=267, maxDocs=41962)
                0.017983425 = queryNorm
              0.3783458 = fieldWeight in 2554, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.0535326 = idf(docFreq=267, maxDocs=41962)
                0.0625 = fieldNorm(doc=2554)
        0.2 = coord(5/25)