Document (#22379)

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

Similar documents (content)

  1. Wong, S.K.M.: On modelling information retrieval with probabilistic inference (1995) 0.25
    0.24866167 = sum of:
      0.24866167 = product of:
        0.8880774 = sum of:
          0.054134957 = weight(abstract_txt:underlying in 2004) [ClassicSimilarity], result of:
            0.054134957 = score(doc=2004,freq=1.0), product of:
              0.1024841 = queryWeight, product of:
                1.0045772 = boost
                5.6344304 = idf(docFreq=422, maxDocs=43556)
                0.018106027 = queryNorm
              0.52822787 = fieldWeight in 2004, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.6344304 = idf(docFreq=422, maxDocs=43556)
                0.09375 = fieldNorm(doc=2004)
          0.09953614 = weight(abstract_txt:probability in 2004) [ClassicSimilarity], result of:
            0.09953614 = score(doc=2004,freq=1.0), product of:
              0.15381257 = queryWeight, product of:
                1.2306966 = boost
                6.9026794 = idf(docFreq=118, maxDocs=43556)
                0.018106027 = queryNorm
              0.6471262 = fieldWeight in 2004, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.9026794 = idf(docFreq=118, maxDocs=43556)
                0.09375 = fieldNorm(doc=2004)
          0.102181844 = weight(abstract_txt:inference in 2004) [ClassicSimilarity], result of:
            0.102181844 = score(doc=2004,freq=1.0), product of:
              0.15652622 = queryWeight, product of:
                1.2415054 = boost
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.018106027 = queryNorm
              0.65280974 = fieldWeight in 2004, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.09375 = fieldNorm(doc=2004)
          0.15500018 = weight(abstract_txt:extends in 2004) [ClassicSimilarity], result of:
            0.15500018 = score(doc=2004,freq=2.0), product of:
              0.1640147 = queryWeight, product of:
                1.2708563 = boost
                7.127926 = idf(docFreq=94, maxDocs=43556)
                0.018106027 = queryNorm
              0.9450383 = fieldWeight in 2004, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.127926 = idf(docFreq=94, maxDocs=43556)
                0.09375 = fieldNorm(doc=2004)
          0.0659242 = weight(abstract_txt:retrieval in 2004) [ClassicSimilarity], result of:
            0.0659242 = score(doc=2004,freq=3.0), product of:
              0.1168695 = queryWeight, product of:
                1.858088 = boost
                3.4738557 = idf(docFreq=3669, maxDocs=43556)
                0.018106027 = queryNorm
              0.5640838 = fieldWeight in 2004, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.4738557 = idf(docFreq=3669, maxDocs=43556)
                0.09375 = fieldNorm(doc=2004)
          0.14404671 = weight(abstract_txt:logical in 2004) [ClassicSimilarity], result of:
            0.14404671 = score(doc=2004,freq=1.0), product of:
              0.24794205 = queryWeight, product of:
                2.2097602 = boost
                6.1970057 = idf(docFreq=240, maxDocs=43556)
                0.018106027 = queryNorm
              0.5809693 = fieldWeight in 2004, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1970057 = idf(docFreq=240, maxDocs=43556)
                0.09375 = fieldNorm(doc=2004)
          0.2672533 = weight(abstract_txt:probabilistic in 2004) [ClassicSimilarity], result of:
            0.2672533 = score(doc=2004,freq=2.0), product of:
              0.29713467 = queryWeight, product of:
                2.4190605 = boost
                6.7839627 = idf(docFreq=133, maxDocs=43556)
                0.018106027 = queryNorm
              0.8994349 = fieldWeight in 2004, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.7839627 = idf(docFreq=133, maxDocs=43556)
                0.09375 = fieldNorm(doc=2004)
        0.28 = coord(7/25)
    
  2. Crestani, F.; Rijsbergen, C.J. van: Information retrieval by logical imaging (1995) 0.13
    0.13180567 = sum of:
      0.13180567 = product of:
        0.65902835 = sum of:
          0.11739449 = weight(abstract_txt:worlds in 1825) [ClassicSimilarity], result of:
            0.11739449 = score(doc=1825,freq=1.0), product of:
              0.19389082 = queryWeight, product of:
                1.3817633 = boost
                7.749977 = idf(docFreq=50, maxDocs=43556)
                0.018106027 = queryNorm
              0.60546696 = fieldWeight in 1825, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.749977 = idf(docFreq=50, maxDocs=43556)
                0.078125 = fieldNorm(doc=1825)
          0.044855732 = weight(abstract_txt:retrieval in 1825) [ClassicSimilarity], result of:
            0.044855732 = score(doc=1825,freq=2.0), product of:
              0.1168695 = queryWeight, product of:
                1.858088 = boost
                3.4738557 = idf(docFreq=3669, maxDocs=43556)
                0.018106027 = queryNorm
              0.38381043 = fieldWeight in 1825, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.4738557 = idf(docFreq=3669, maxDocs=43556)
                0.078125 = fieldNorm(doc=1825)
          0.20791352 = weight(abstract_txt:logical in 1825) [ClassicSimilarity], result of:
            0.20791352 = score(doc=1825,freq=3.0), product of:
              0.24794205 = queryWeight, product of:
                2.2097602 = boost
                6.1970057 = idf(docFreq=240, maxDocs=43556)
                0.018106027 = queryNorm
              0.83855695 = fieldWeight in 1825, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.1970057 = idf(docFreq=240, maxDocs=43556)
                0.078125 = fieldNorm(doc=1825)
          0.1230315 = weight(abstract_txt:logic in 1825) [ClassicSimilarity], result of:
            0.1230315 = score(doc=1825,freq=1.0), product of:
              0.2520459 = queryWeight, product of:
                2.2279727 = boost
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.018106027 = queryNorm
              0.4881313 = fieldWeight in 1825, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.078125 = fieldNorm(doc=1825)
          0.16583313 = weight(abstract_txt:semantics in 1825) [ClassicSimilarity], result of:
            0.16583313 = score(doc=1825,freq=1.0), product of:
              0.35205734 = queryWeight, product of:
                3.2249455 = boost
                6.0293136 = idf(docFreq=284, maxDocs=43556)
                0.018106027 = queryNorm
              0.47104013 = fieldWeight in 1825, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.0293136 = idf(docFreq=284, maxDocs=43556)
                0.078125 = fieldNorm(doc=1825)
        0.2 = coord(5/25)
    
  3. Nie, J.-Y.: Query expansion and query translation as logical inference (2003) 0.13
    0.12708004 = sum of:
      0.12708004 = product of:
        0.5295002 = sum of:
          0.051342703 = weight(abstract_txt:advanced in 2423) [ClassicSimilarity], result of:
            0.051342703 = score(doc=2423,freq=1.0), product of:
              0.111714944 = queryWeight, product of:
                1.0488435 = boost
                5.88271 = idf(docFreq=329, maxDocs=43556)
                0.018106027 = queryNorm
              0.4595867 = fieldWeight in 2423, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.88271 = idf(docFreq=329, maxDocs=43556)
                0.078125 = fieldNorm(doc=2423)
          0.082946785 = weight(abstract_txt:probability in 2423) [ClassicSimilarity], result of:
            0.082946785 = score(doc=2423,freq=1.0), product of:
              0.15381257 = queryWeight, product of:
                1.2306966 = boost
                6.9026794 = idf(docFreq=118, maxDocs=43556)
                0.018106027 = queryNorm
              0.53927183 = fieldWeight in 2423, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.9026794 = idf(docFreq=118, maxDocs=43556)
                0.078125 = fieldNorm(doc=2423)
          0.12042246 = weight(abstract_txt:inference in 2423) [ClassicSimilarity], result of:
            0.12042246 = score(doc=2423,freq=2.0), product of:
              0.15652622 = queryWeight, product of:
                1.2415054 = boost
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.018106027 = queryNorm
              0.7693437 = fieldWeight in 2423, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.963304 = idf(docFreq=111, maxDocs=43556)
                0.078125 = fieldNorm(doc=2423)
          0.031717796 = weight(abstract_txt:retrieval in 2423) [ClassicSimilarity], result of:
            0.031717796 = score(doc=2423,freq=1.0), product of:
              0.1168695 = queryWeight, product of:
                1.858088 = boost
                3.4738557 = idf(docFreq=3669, maxDocs=43556)
                0.018106027 = queryNorm
              0.27139497 = fieldWeight in 2423, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4738557 = idf(docFreq=3669, maxDocs=43556)
                0.078125 = fieldNorm(doc=2423)
          0.12003893 = weight(abstract_txt:logical in 2423) [ClassicSimilarity], result of:
            0.12003893 = score(doc=2423,freq=1.0), product of:
              0.24794205 = queryWeight, product of:
                2.2097602 = boost
                6.1970057 = idf(docFreq=240, maxDocs=43556)
                0.018106027 = queryNorm
              0.48414108 = fieldWeight in 2423, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1970057 = idf(docFreq=240, maxDocs=43556)
                0.078125 = fieldNorm(doc=2423)
          0.1230315 = weight(abstract_txt:logic in 2423) [ClassicSimilarity], result of:
            0.1230315 = score(doc=2423,freq=1.0), product of:
              0.2520459 = queryWeight, product of:
                2.2279727 = boost
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.018106027 = queryNorm
              0.4881313 = fieldWeight in 2423, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.078125 = fieldNorm(doc=2423)
        0.24 = coord(6/25)
    
  4. Hess, M.: ¬An incrementally extensible document retrieval system based on linguistic and logical principles (1992) 0.12
    0.11651236 = sum of:
      0.11651236 = product of:
        0.5825618 = sum of:
          0.051342703 = weight(abstract_txt:advanced in 4411) [ClassicSimilarity], result of:
            0.051342703 = score(doc=4411,freq=1.0), product of:
              0.111714944 = queryWeight, product of:
                1.0488435 = boost
                5.88271 = idf(docFreq=329, maxDocs=43556)
                0.018106027 = queryNorm
              0.4595867 = fieldWeight in 4411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.88271 = idf(docFreq=329, maxDocs=43556)
                0.078125 = fieldNorm(doc=4411)
          0.18225053 = weight(abstract_txt:clause in 4411) [ClassicSimilarity], result of:
            0.18225053 = score(doc=4411,freq=1.0), product of:
              0.25995886 = queryWeight, product of:
                1.5999535 = boost
                8.973753 = idf(docFreq=14, maxDocs=43556)
                0.018106027 = queryNorm
              0.7010745 = fieldWeight in 4411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.973753 = idf(docFreq=14, maxDocs=43556)
                0.078125 = fieldNorm(doc=4411)
          0.054936834 = weight(abstract_txt:retrieval in 4411) [ClassicSimilarity], result of:
            0.054936834 = score(doc=4411,freq=3.0), product of:
              0.1168695 = queryWeight, product of:
                1.858088 = boost
                3.4738557 = idf(docFreq=3669, maxDocs=43556)
                0.018106027 = queryNorm
              0.4700699 = fieldWeight in 4411, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.4738557 = idf(docFreq=3669, maxDocs=43556)
                0.078125 = fieldNorm(doc=4411)
          0.12003893 = weight(abstract_txt:logical in 4411) [ClassicSimilarity], result of:
            0.12003893 = score(doc=4411,freq=1.0), product of:
              0.24794205 = queryWeight, product of:
                2.2097602 = boost
                6.1970057 = idf(docFreq=240, maxDocs=43556)
                0.018106027 = queryNorm
              0.48414108 = fieldWeight in 4411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1970057 = idf(docFreq=240, maxDocs=43556)
                0.078125 = fieldNorm(doc=4411)
          0.17399281 = weight(abstract_txt:logic in 4411) [ClassicSimilarity], result of:
            0.17399281 = score(doc=4411,freq=2.0), product of:
              0.2520459 = queryWeight, product of:
                2.2279727 = boost
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.018106027 = queryNorm
              0.6903219 = fieldWeight in 4411, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.078125 = fieldNorm(doc=4411)
        0.2 = coord(5/25)
    
  5. Sebastiani, F.: On the role of logic in information retrieval (1998) 0.12
    0.11525579 = sum of:
      0.11525579 = product of:
        0.5762789 = sum of:
          0.055698473 = weight(abstract_txt:classical in 2138) [ClassicSimilarity], result of:
            0.055698473 = score(doc=2138,freq=1.0), product of:
              0.1368656 = queryWeight, product of:
                1.1609198 = boost
                6.5113187 = idf(docFreq=175, maxDocs=43556)
                0.018106027 = queryNorm
              0.40695742 = fieldWeight in 2138, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.5113187 = idf(docFreq=175, maxDocs=43556)
                0.0625 = fieldNorm(doc=2138)
          0.025374237 = weight(abstract_txt:retrieval in 2138) [ClassicSimilarity], result of:
            0.025374237 = score(doc=2138,freq=1.0), product of:
              0.1168695 = queryWeight, product of:
                1.858088 = boost
                3.4738557 = idf(docFreq=3669, maxDocs=43556)
                0.018106027 = queryNorm
              0.21711598 = fieldWeight in 2138, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4738557 = idf(docFreq=3669, maxDocs=43556)
                0.0625 = fieldNorm(doc=2138)
          0.19206229 = weight(abstract_txt:logical in 2138) [ClassicSimilarity], result of:
            0.19206229 = score(doc=2138,freq=4.0), product of:
              0.24794205 = queryWeight, product of:
                2.2097602 = boost
                6.1970057 = idf(docFreq=240, maxDocs=43556)
                0.018106027 = queryNorm
              0.7746257 = fieldWeight in 2138, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                6.1970057 = idf(docFreq=240, maxDocs=43556)
                0.0625 = fieldNorm(doc=2138)
          0.17047743 = weight(abstract_txt:logic in 2138) [ClassicSimilarity], result of:
            0.17047743 = score(doc=2138,freq=3.0), product of:
              0.2520459 = queryWeight, product of:
                2.2279727 = boost
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.018106027 = queryNorm
              0.67637455 = fieldWeight in 2138, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.2480807 = idf(docFreq=228, maxDocs=43556)
                0.0625 = fieldNorm(doc=2138)
          0.1326665 = weight(abstract_txt:semantics in 2138) [ClassicSimilarity], result of:
            0.1326665 = score(doc=2138,freq=1.0), product of:
              0.35205734 = queryWeight, product of:
                3.2249455 = boost
                6.0293136 = idf(docFreq=284, maxDocs=43556)
                0.018106027 = queryNorm
              0.3768321 = fieldWeight in 2138, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.0293136 = idf(docFreq=284, maxDocs=43556)
                0.0625 = fieldNorm(doc=2138)
        0.2 = coord(5/25)