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)