Document (#654)

Author

Leigh, W.
Paz, N.

Title

Conventional and knowledge-based information retrieval with Prolog

Source

Information technology and libraries. 7(1988), S.67-72

Year

1988

Abstract

Prolog is a programming language especially suited to information retrieval applications. Boolean and deductive retrieval are easily implemented; the exciting opportunity, however, is knowledge-based retrieval, which implies the translation into machine-processable logic of the actual knowledge contained in a document. Queries could then be directed against the substance of the documents rather than against keywords

Object

Prolog

Similar documents (content)

1. Prasad, A.R.D.; Kar, B.B.: Parsing Boolean search expression using definite clause grammars (1994) 0.25

   0.25108725 = sum of:
     0.25108725 = product of:
       1.0461969 = sum of:
         0.0967926 = weight(abstract_txt:easily in 8187) [ClassicSimilarity], result of:
           0.0967926 = score(doc=8187,freq=1.0), product of:
             0.12793748 = queryWeight, product of:
               1.162217 = boost
               6.0524936 = idf(docFreq=283, maxDocs=44421)
               0.018187635 = queryNorm
             0.7565617 = fieldWeight in 8187, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0524936 = idf(docFreq=283, maxDocs=44421)
               0.125 = fieldNorm(doc=8187)
         0.10594956 = weight(abstract_txt:logic in 8187) [ClassicSimilarity], result of:
           0.10594956 = score(doc=8187,freq=1.0), product of:
             0.13588426 = queryWeight, product of:
               1.1977686 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.018187635 = queryNorm
             0.77970445 = fieldWeight in 8187, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.125 = fieldNorm(doc=8187)
         0.106823035 = weight(abstract_txt:boolean in 8187) [ClassicSimilarity], result of:
           0.106823035 = score(doc=8187,freq=1.0), product of:
             0.13663007 = queryWeight, product of:
               1.2010511 = boost
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.018187635 = queryNorm
             0.7818413 = fieldWeight in 8187, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.125 = fieldNorm(doc=8187)
         0.02815852 = weight(abstract_txt:based in 8187) [ClassicSimilarity], result of:
           0.02815852 = score(doc=8187,freq=1.0), product of:
             0.07077061 = queryWeight, product of:
               1.2224463 = boost
               3.1830752 = idf(docFreq=5005, maxDocs=44421)
               0.018187635 = queryNorm
             0.3978844 = fieldWeight in 8187, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1830752 = idf(docFreq=5005, maxDocs=44421)
               0.125 = fieldNorm(doc=8187)
         0.07337124 = weight(abstract_txt:retrieval in 8187) [ClassicSimilarity], result of:
           0.07337124 = score(doc=8187,freq=1.0), product of:
             0.16883932 = queryWeight, product of:
               2.6702697 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.018187635 = queryNorm
             0.4345625 = fieldWeight in 8187, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.125 = fieldNorm(doc=8187)
         0.635102 = weight(abstract_txt:prolog in 8187) [ClassicSimilarity], result of:
           0.635102 = score(doc=8187,freq=1.0), product of:
             0.56494826 = queryWeight, product of:
               3.4538834 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.018187635 = queryNorm
             1.1241772 = fieldWeight in 8187, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.125 = fieldNorm(doc=8187)
       0.24 = coord(6/25)
   

2. Tomasselli, G.: Erfahrungen beim Einsatz eines PROLOG-Programms auf Mikrorechnern : zur Erfassung und Prüfung bibliographischer Daten; PROLOG als Mittel zur Beschreibung bibliographischen Wissens (1989) 0.16

   0.15757011 = sum of:
     0.15757011 = product of:
       0.78785056 = sum of:
         0.048057668 = weight(abstract_txt:machine in 2561) [ClassicSimilarity], result of:
           0.048057668 = score(doc=2561,freq=1.0), product of:
             0.0971786 = queryWeight, product of:
               1.0129166 = boost
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.018187635 = queryNorm
             0.4945293 = fieldWeight in 2561, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.09375 = fieldNorm(doc=2561)
         0.02111889 = weight(abstract_txt:based in 2561) [ClassicSimilarity], result of:
           0.02111889 = score(doc=2561,freq=1.0), product of:
             0.07077061 = queryWeight, product of:
               1.2224463 = boost
               3.1830752 = idf(docFreq=5005, maxDocs=44421)
               0.018187635 = queryNorm
             0.2984133 = fieldWeight in 2561, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1830752 = idf(docFreq=5005, maxDocs=44421)
               0.09375 = fieldNorm(doc=2561)
         0.18038957 = weight(abstract_txt:programming in 2561) [ClassicSimilarity], result of:
           0.18038957 = score(doc=2561,freq=3.0), product of:
             0.16274066 = queryWeight, product of:
               1.3107998 = boost
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.018187635 = queryNorm
             1.108448 = fieldWeight in 2561, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.09375 = fieldNorm(doc=2561)
         0.061957967 = weight(abstract_txt:knowledge in 2561) [ClassicSimilarity], result of:
           0.061957967 = score(doc=2561,freq=2.0), product of:
             0.13177228 = queryWeight, product of:
               2.0429654 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.018187635 = queryNorm
             0.4701897 = fieldWeight in 2561, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.09375 = fieldNorm(doc=2561)
         0.47632647 = weight(abstract_txt:prolog in 2561) [ClassicSimilarity], result of:
           0.47632647 = score(doc=2561,freq=1.0), product of:
             0.56494826 = queryWeight, product of:
               3.4538834 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.018187635 = queryNorm
             0.8431329 = fieldWeight in 2561, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.09375 = fieldNorm(doc=2561)
       0.2 = coord(5/25)
   

3. Karisiddappa, C.R.; Prasad, A.R.D.: Declarative programming and thesaurus construction (1993) 0.14

   0.14061521 = sum of:
     0.14061521 = product of:
       1.1717935 = sum of:
         0.13243695 = weight(abstract_txt:logic in 3285) [ClassicSimilarity], result of:
           0.13243695 = score(doc=3285,freq=1.0), product of:
             0.13588426 = queryWeight, product of:
               1.1977686 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.018187635 = queryNorm
             0.9746306 = fieldWeight in 3285, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.15625 = fieldNorm(doc=3285)
         0.24547914 = weight(abstract_txt:programming in 3285) [ClassicSimilarity], result of:
           0.24547914 = score(doc=3285,freq=2.0), product of:
             0.16274066 = queryWeight, product of:
               1.3107998 = boost
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.018187635 = queryNorm
             1.5084069 = fieldWeight in 3285, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.82627 = idf(docFreq=130, maxDocs=44421)
               0.15625 = fieldNorm(doc=3285)
         0.7938774 = weight(abstract_txt:prolog in 3285) [ClassicSimilarity], result of:
           0.7938774 = score(doc=3285,freq=1.0), product of:
             0.56494826 = queryWeight, product of:
               3.4538834 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.018187635 = queryNorm
             1.4052215 = fieldWeight in 3285, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.15625 = fieldNorm(doc=3285)
       0.12 = coord(3/25)
   

4. Bhatia, S.K.; Deogun, J.S.; Raghavan, V.V.: Conceptual query formulation and retrieval (1995) 0.12

   0.11608084 = sum of:
     0.11608084 = product of:
       0.36275265 = sum of:
         0.032038443 = weight(abstract_txt:machine in 3607) [ClassicSimilarity], result of:
           0.032038443 = score(doc=3607,freq=1.0), product of:
             0.0971786 = queryWeight, product of:
               1.0129166 = boost
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.018187635 = queryNorm
             0.3296862 = fieldWeight in 3607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.0625 = fieldNorm(doc=3607)
         0.047251146 = weight(abstract_txt:keywords in 3607) [ClassicSimilarity], result of:
           0.047251146 = score(doc=3607,freq=1.0), product of:
             0.12591127 = queryWeight, product of:
               1.152977 = boost
               6.004374 = idf(docFreq=297, maxDocs=44421)
               0.018187635 = queryNorm
             0.37527338 = fieldWeight in 3607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.004374 = idf(docFreq=297, maxDocs=44421)
               0.0625 = fieldNorm(doc=3607)
         0.05142025 = weight(abstract_txt:translation in 3607) [ClassicSimilarity], result of:
           0.05142025 = score(doc=3607,freq=1.0), product of:
             0.13321276 = queryWeight, product of:
               1.185936 = boost
               6.176015 = idf(docFreq=250, maxDocs=44421)
               0.018187635 = queryNorm
             0.38600093 = fieldWeight in 3607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.176015 = idf(docFreq=250, maxDocs=44421)
               0.0625 = fieldNorm(doc=3607)
         0.053745635 = weight(abstract_txt:conventional in 3607) [ClassicSimilarity], result of:
           0.053745635 = score(doc=3607,freq=1.0), product of:
             0.13719928 = queryWeight, product of:
               1.2035503 = boost
               6.2677455 = idf(docFreq=228, maxDocs=44421)
               0.018187635 = queryNorm
             0.3917341 = fieldWeight in 3607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2677455 = idf(docFreq=228, maxDocs=44421)
               0.0625 = fieldNorm(doc=3607)
         0.01407926 = weight(abstract_txt:based in 3607) [ClassicSimilarity], result of:
           0.01407926 = score(doc=3607,freq=1.0), product of:
             0.07077061 = queryWeight, product of:
               1.2224463 = boost
               3.1830752 = idf(docFreq=5005, maxDocs=44421)
               0.018187635 = queryNorm
             0.1989422 = fieldWeight in 3607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1830752 = idf(docFreq=5005, maxDocs=44421)
               0.0625 = fieldNorm(doc=3607)
         0.04130531 = weight(abstract_txt:knowledge in 3607) [ClassicSimilarity], result of:
           0.04130531 = score(doc=3607,freq=2.0), product of:
             0.13177228 = queryWeight, product of:
               2.0429654 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.018187635 = queryNorm
             0.31345978 = fieldWeight in 3607, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=3607)
         0.086227 = weight(abstract_txt:against in 3607) [ClassicSimilarity], result of:
           0.086227 = score(doc=3607,freq=1.0), product of:
             0.23689826 = queryWeight, product of:
               2.2365792 = boost
               5.823732 = idf(docFreq=356, maxDocs=44421)
               0.018187635 = queryNorm
             0.36398324 = fieldWeight in 3607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.823732 = idf(docFreq=356, maxDocs=44421)
               0.0625 = fieldNorm(doc=3607)
         0.03668562 = weight(abstract_txt:retrieval in 3607) [ClassicSimilarity], result of:
           0.03668562 = score(doc=3607,freq=1.0), product of:
             0.16883932 = queryWeight, product of:
               2.6702697 = boost
               3.4765 = idf(docFreq=3732, maxDocs=44421)
               0.018187635 = queryNorm
             0.21728125 = fieldWeight in 3607, 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=3607)
       0.32 = coord(8/25)
   

5. Kokkoras, F.A.; Vlahavas, I.P.: COMFRESH : a common framework for expert systems and hypertext (1995) 0.11

   0.1136302 = sum of:
     0.1136302 = product of:
       0.94691837 = sum of:
         0.0497777 = weight(abstract_txt:based in 3015) [ClassicSimilarity], result of:
           0.0497777 = score(doc=3015,freq=2.0), product of:
             0.07077061 = queryWeight, product of:
               1.2224463 = boost
               3.1830752 = idf(docFreq=5005, maxDocs=44421)
               0.018187635 = queryNorm
             0.7033669 = fieldWeight in 3015, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.1830752 = idf(docFreq=5005, maxDocs=44421)
               0.15625 = fieldNorm(doc=3015)
         0.103263274 = weight(abstract_txt:knowledge in 3015) [ClassicSimilarity], result of:
           0.103263274 = score(doc=3015,freq=2.0), product of:
             0.13177228 = queryWeight, product of:
               2.0429654 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.018187635 = queryNorm
             0.78364944 = fieldWeight in 3015, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.15625 = fieldNorm(doc=3015)
         0.7938774 = weight(abstract_txt:prolog in 3015) [ClassicSimilarity], result of:
           0.7938774 = score(doc=3015,freq=1.0), product of:
             0.56494826 = queryWeight, product of:
               3.4538834 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.018187635 = queryNorm
             1.4052215 = fieldWeight in 3015, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.15625 = fieldNorm(doc=3015)
       0.12 = coord(3/25)