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

Similar documents (content)

  1. Wong, S.K.M.: On modelling information retrieval with probabilistic inference (1995) 0.25
    0.24865706 = sum of:
      0.24865706 = product of:
        0.8880609 = sum of:
          0.054018993 = weight(abstract_txt:underlying in 3007) [ClassicSimilarity], result of:
            0.054018993 = score(doc=3007,freq=1.0), product of:
              0.10230484 = queryWeight, product of:
                1.0046005 = boost
                5.632212 = idf(docFreq=420, maxDocs=43254)
                0.018081054 = queryNorm
              0.5280199 = fieldWeight in 3007, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.632212 = idf(docFreq=420, maxDocs=43254)
                0.09375 = fieldNorm(doc=3007)
          0.099872775 = weight(abstract_txt:probability in 3007) [ClassicSimilarity], result of:
            0.099872775 = score(doc=3007,freq=1.0), product of:
              0.15410969 = queryWeight, product of:
                1.232992 = boost
                6.912671 = idf(docFreq=116, maxDocs=43254)
                0.018081054 = queryNorm
              0.64806294 = fieldWeight in 3007, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.912671 = idf(docFreq=116, maxDocs=43254)
                0.09375 = fieldNorm(doc=3007)
          0.10297416 = weight(abstract_txt:inference in 3007) [ClassicSimilarity], result of:
            0.10297416 = score(doc=3007,freq=1.0), product of:
              0.15728381 = queryWeight, product of:
                1.2456251 = boost
                6.983497 = idf(docFreq=108, maxDocs=43254)
                0.018081054 = queryNorm
              0.65470284 = fieldWeight in 3007, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.983497 = idf(docFreq=108, maxDocs=43254)
                0.09375 = fieldNorm(doc=3007)
          0.15508732 = weight(abstract_txt:extends in 3007) [ClassicSimilarity], result of:
            0.15508732 = score(doc=3007,freq=2.0), product of:
              0.1640235 = queryWeight, product of:
                1.272033 = boost
                7.1315503 = idf(docFreq=93, maxDocs=43254)
                0.018081054 = queryNorm
              0.9455189 = fieldWeight in 3007, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.1315503 = idf(docFreq=93, maxDocs=43254)
                0.09375 = fieldNorm(doc=3007)
          0.065636 = weight(abstract_txt:retrieval in 3007) [ClassicSimilarity], result of:
            0.065636 = score(doc=3007,freq=3.0), product of:
              0.11649124 = queryWeight, product of:
                1.8567464 = boost
                3.4699 = idf(docFreq=3658, maxDocs=43254)
                0.018081054 = queryNorm
              0.5634415 = fieldWeight in 3007, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.4699 = idf(docFreq=3658, maxDocs=43254)
                0.09375 = fieldNorm(doc=3007)
          0.14429635 = weight(abstract_txt:logical in 3007) [ClassicSimilarity], result of:
            0.14429635 = score(doc=3007,freq=1.0), product of:
              0.24814875 = queryWeight, product of:
                2.2126687 = boost
                6.2025743 = idf(docFreq=237, maxDocs=43254)
                0.018081054 = queryNorm
              0.58149135 = fieldWeight in 3007, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2025743 = idf(docFreq=237, maxDocs=43254)
                0.09375 = fieldNorm(doc=3007)
          0.26617533 = weight(abstract_txt:probabilistic in 3007) [ClassicSimilarity], result of:
            0.26617533 = score(doc=3007,freq=2.0), product of:
              0.29624003 = queryWeight, product of:
                2.4175875 = boost
                6.777005 = idf(docFreq=133, maxDocs=43254)
                0.018081054 = queryNorm
              0.89851236 = fieldWeight in 3007, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.777005 = idf(docFreq=133, maxDocs=43254)
                0.09375 = fieldNorm(doc=3007)
        0.28 = coord(7/25)
    
  2. Crestani, F.; Rijsbergen, C.J. van: Information retrieval by logical imaging (1995) 0.13
    0.13189994 = sum of:
      0.13189994 = product of:
        0.6594997 = sum of:
          0.11786561 = weight(abstract_txt:worlds in 2828) [ClassicSimilarity], result of:
            0.11786561 = score(doc=2828,freq=1.0), product of:
              0.19434682 = queryWeight, product of:
                1.3846309 = boost
                7.762822 = idf(docFreq=49, maxDocs=43254)
                0.018081054 = queryNorm
              0.60647047 = fieldWeight in 2828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.762822 = idf(docFreq=49, maxDocs=43254)
                0.078125 = fieldNorm(doc=2828)
          0.04465964 = weight(abstract_txt:retrieval in 2828) [ClassicSimilarity], result of:
            0.04465964 = score(doc=2828,freq=2.0), product of:
              0.11649124 = queryWeight, product of:
                1.8567464 = boost
                3.4699 = idf(docFreq=3658, maxDocs=43254)
                0.018081054 = queryNorm
              0.38337338 = fieldWeight in 2828, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.4699 = idf(docFreq=3658, maxDocs=43254)
                0.078125 = fieldNorm(doc=2828)
          0.20827383 = weight(abstract_txt:logical in 2828) [ClassicSimilarity], result of:
            0.20827383 = score(doc=2828,freq=3.0), product of:
              0.24814875 = queryWeight, product of:
                2.2126687 = boost
                6.2025743 = idf(docFreq=237, maxDocs=43254)
                0.018081054 = queryNorm
              0.8393104 = fieldWeight in 2828, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.2025743 = idf(docFreq=237, maxDocs=43254)
                0.078125 = fieldNorm(doc=2828)
          0.12302019 = weight(abstract_txt:logic in 2828) [ClassicSimilarity], result of:
            0.12302019 = score(doc=2828,freq=1.0), product of:
              0.25194958 = queryWeight, product of:
                2.2295496 = boost
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.018081054 = queryNorm
              0.48827305 = fieldWeight in 2828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.078125 = fieldNorm(doc=2828)
          0.16568045 = weight(abstract_txt:semantics in 2828) [ClassicSimilarity], result of:
            0.16568045 = score(doc=2828,freq=1.0), product of:
              0.3517283 = queryWeight, product of:
                3.226336 = boost
                6.029398 = idf(docFreq=282, maxDocs=43254)
                0.018081054 = queryNorm
              0.47104672 = fieldWeight in 2828, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.029398 = idf(docFreq=282, maxDocs=43254)
                0.078125 = fieldNorm(doc=2828)
        0.2 = coord(5/25)
    
  3. Nie, J.-Y.: Query expansion and query translation as logical inference (2003) 0.13
    0.12736802 = sum of:
      0.12736802 = product of:
        0.5307001 = sum of:
          0.051270302 = weight(abstract_txt:advanced in 3426) [ClassicSimilarity], result of:
            0.051270302 = score(doc=3426,freq=1.0), product of:
              0.11157407 = queryWeight, product of:
                1.0491244 = boost
                5.881831 = idf(docFreq=327, maxDocs=43254)
                0.018081054 = queryNorm
              0.45951807 = fieldWeight in 3426, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.881831 = idf(docFreq=327, maxDocs=43254)
                0.078125 = fieldNorm(doc=3426)
          0.08322731 = weight(abstract_txt:probability in 3426) [ClassicSimilarity], result of:
            0.08322731 = score(doc=3426,freq=1.0), product of:
              0.15410969 = queryWeight, product of:
                1.232992 = boost
                6.912671 = idf(docFreq=116, maxDocs=43254)
                0.018081054 = queryNorm
              0.5400524 = fieldWeight in 3426, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.912671 = idf(docFreq=116, maxDocs=43254)
                0.078125 = fieldNorm(doc=3426)
          0.121356204 = weight(abstract_txt:inference in 3426) [ClassicSimilarity], result of:
            0.121356204 = score(doc=3426,freq=2.0), product of:
              0.15728381 = queryWeight, product of:
                1.2456251 = boost
                6.983497 = idf(docFreq=108, maxDocs=43254)
                0.018081054 = queryNorm
              0.7715747 = fieldWeight in 3426, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.983497 = idf(docFreq=108, maxDocs=43254)
                0.078125 = fieldNorm(doc=3426)
          0.031579137 = weight(abstract_txt:retrieval in 3426) [ClassicSimilarity], result of:
            0.031579137 = score(doc=3426,freq=1.0), product of:
              0.11649124 = queryWeight, product of:
                1.8567464 = boost
                3.4699 = idf(docFreq=3658, maxDocs=43254)
                0.018081054 = queryNorm
              0.27108592 = fieldWeight in 3426, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4699 = idf(docFreq=3658, maxDocs=43254)
                0.078125 = fieldNorm(doc=3426)
          0.120246954 = weight(abstract_txt:logical in 3426) [ClassicSimilarity], result of:
            0.120246954 = score(doc=3426,freq=1.0), product of:
              0.24814875 = queryWeight, product of:
                2.2126687 = boost
                6.2025743 = idf(docFreq=237, maxDocs=43254)
                0.018081054 = queryNorm
              0.4845761 = fieldWeight in 3426, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2025743 = idf(docFreq=237, maxDocs=43254)
                0.078125 = fieldNorm(doc=3426)
          0.12302019 = weight(abstract_txt:logic in 3426) [ClassicSimilarity], result of:
            0.12302019 = score(doc=3426,freq=1.0), product of:
              0.25194958 = queryWeight, product of:
                2.2295496 = boost
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.018081054 = queryNorm
              0.48827305 = fieldWeight in 3426, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.078125 = fieldNorm(doc=3426)
        0.24 = coord(6/25)
    
  4. Hess, M.: ¬An incrementally extensible document retrieval system based on linguistic and logical principles (1992) 0.12
    0.116368525 = sum of:
      0.116368525 = product of:
        0.5818426 = sum of:
          0.051270302 = weight(abstract_txt:advanced in 3878) [ClassicSimilarity], result of:
            0.051270302 = score(doc=3878,freq=1.0), product of:
              0.11157407 = queryWeight, product of:
                1.0491244 = boost
                5.881831 = idf(docFreq=327, maxDocs=43254)
                0.018081054 = queryNorm
              0.45951807 = fieldWeight in 3878, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.881831 = idf(docFreq=327, maxDocs=43254)
                0.078125 = fieldNorm(doc=3878)
          0.18165188 = weight(abstract_txt:clause in 3878) [ClassicSimilarity], result of:
            0.18165188 = score(doc=3878,freq=1.0), product of:
              0.259306 = queryWeight, product of:
                1.5993799 = boost
                8.966795 = idf(docFreq=14, maxDocs=43254)
                0.018081054 = queryNorm
              0.7005309 = fieldWeight in 3878, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.966795 = idf(docFreq=14, maxDocs=43254)
                0.078125 = fieldNorm(doc=3878)
          0.054696668 = weight(abstract_txt:retrieval in 3878) [ClassicSimilarity], result of:
            0.054696668 = score(doc=3878,freq=3.0), product of:
              0.11649124 = queryWeight, product of:
                1.8567464 = boost
                3.4699 = idf(docFreq=3658, maxDocs=43254)
                0.018081054 = queryNorm
              0.46953458 = fieldWeight in 3878, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.4699 = idf(docFreq=3658, maxDocs=43254)
                0.078125 = fieldNorm(doc=3878)
          0.120246954 = weight(abstract_txt:logical in 3878) [ClassicSimilarity], result of:
            0.120246954 = score(doc=3878,freq=1.0), product of:
              0.24814875 = queryWeight, product of:
                2.2126687 = boost
                6.2025743 = idf(docFreq=237, maxDocs=43254)
                0.018081054 = queryNorm
              0.4845761 = fieldWeight in 3878, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2025743 = idf(docFreq=237, maxDocs=43254)
                0.078125 = fieldNorm(doc=3878)
          0.17397681 = weight(abstract_txt:logic in 3878) [ClassicSimilarity], result of:
            0.17397681 = score(doc=3878,freq=2.0), product of:
              0.25194958 = queryWeight, product of:
                2.2295496 = boost
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.018081054 = queryNorm
              0.6905223 = fieldWeight in 3878, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.078125 = fieldNorm(doc=3878)
        0.2 = coord(5/25)
    
  5. Sebastiani, F.: On the role of logic in information retrieval (1998) 0.12
    0.11528482 = sum of:
      0.11528482 = product of:
        0.5764241 = sum of:
          0.055759557 = weight(abstract_txt:classical in 3141) [ClassicSimilarity], result of:
            0.055759557 = score(doc=3141,freq=1.0), product of:
              0.13692169 = queryWeight, product of:
                1.1622015 = boost
                6.5157895 = idf(docFreq=173, maxDocs=43254)
                0.018081054 = queryNorm
              0.40723684 = fieldWeight in 3141, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.5157895 = idf(docFreq=173, maxDocs=43254)
                0.0625 = fieldNorm(doc=3141)
          0.02526331 = weight(abstract_txt:retrieval in 3141) [ClassicSimilarity], result of:
            0.02526331 = score(doc=3141,freq=1.0), product of:
              0.11649124 = queryWeight, product of:
                1.8567464 = boost
                3.4699 = idf(docFreq=3658, maxDocs=43254)
                0.018081054 = queryNorm
              0.21686874 = fieldWeight in 3141, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4699 = idf(docFreq=3658, maxDocs=43254)
                0.0625 = fieldNorm(doc=3141)
          0.19239514 = weight(abstract_txt:logical in 3141) [ClassicSimilarity], result of:
            0.19239514 = score(doc=3141,freq=4.0), product of:
              0.24814875 = queryWeight, product of:
                2.2126687 = boost
                6.2025743 = idf(docFreq=237, maxDocs=43254)
                0.018081054 = queryNorm
              0.7753218 = fieldWeight in 3141, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                6.2025743 = idf(docFreq=237, maxDocs=43254)
                0.0625 = fieldNorm(doc=3141)
          0.17046176 = weight(abstract_txt:logic in 3141) [ClassicSimilarity], result of:
            0.17046176 = score(doc=3141,freq=3.0), product of:
              0.25194958 = queryWeight, product of:
                2.2295496 = boost
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.018081054 = queryNorm
              0.67657095 = fieldWeight in 3141, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.0625 = fieldNorm(doc=3141)
          0.13254437 = weight(abstract_txt:semantics in 3141) [ClassicSimilarity], result of:
            0.13254437 = score(doc=3141,freq=1.0), product of:
              0.3517283 = queryWeight, product of:
                3.226336 = boost
                6.029398 = idf(docFreq=282, maxDocs=43254)
                0.018081054 = queryNorm
              0.37683737 = fieldWeight in 3141, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.029398 = idf(docFreq=282, maxDocs=43254)
                0.0625 = fieldNorm(doc=3141)
        0.2 = coord(5/25)