Document (#655)

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.25062323 = sum of:
     0.25062323 = product of:
       1.0442635 = sum of:
         0.096676864 = weight(abstract_txt:easily in 8188) [ClassicSimilarity], result of:
           0.096676864 = score(doc=8188,freq=1.0), product of:
             0.12780675 = queryWeight, product of:
               1.1603222 = boost
               6.0514402 = idf(docFreq=282, maxDocs=44218)
               0.01820189 = queryNorm
             0.75643003 = fieldWeight in 8188, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0514402 = idf(docFreq=282, maxDocs=44218)
               0.125 = fieldNorm(doc=8188)
         0.10586116 = weight(abstract_txt:logic in 8188) [ClassicSimilarity], result of:
           0.10586116 = score(doc=8188,freq=1.0), product of:
             0.13577814 = queryWeight, product of:
               1.1959599 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.01820189 = queryNorm
             0.7796627 = fieldWeight in 8188, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.125 = fieldNorm(doc=8188)
         0.10651667 = weight(abstract_txt:boolean in 8188) [ClassicSimilarity], result of:
           0.10651667 = score(doc=8188,freq=1.0), product of:
             0.13633807 = queryWeight, product of:
               1.1984234 = boost
               6.2501497 = idf(docFreq=231, maxDocs=44218)
               0.01820189 = queryNorm
             0.7812687 = fieldWeight in 8188, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2501497 = idf(docFreq=231, maxDocs=44218)
               0.125 = fieldNorm(doc=8188)
         0.028268434 = weight(abstract_txt:based in 8188) [ClassicSimilarity], result of:
           0.028268434 = score(doc=8188,freq=1.0), product of:
             0.07093871 = queryWeight, product of:
               1.2225267 = boost
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.01820189 = queryNorm
             0.39849097 = fieldWeight in 8188, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.125 = fieldNorm(doc=8188)
         0.07323573 = weight(abstract_txt:retrieval in 8188) [ClassicSimilarity], result of:
           0.07323573 = score(doc=8188,freq=1.0), product of:
             0.16859347 = queryWeight, product of:
               2.6653366 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.01820189 = queryNorm
             0.43439242 = fieldWeight in 8188, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.125 = fieldNorm(doc=8188)
         0.63370466 = weight(abstract_txt:prolog in 8188) [ClassicSimilarity], result of:
           0.63370466 = score(doc=8188,freq=1.0), product of:
             0.56399256 = queryWeight, product of:
               3.4470959 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.01820189 = queryNorm
             1.1236047 = fieldWeight in 8188, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.125 = fieldNorm(doc=8188)
       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.15747322 = sum of:
     0.15747322 = product of:
       0.7873661 = sum of:
         0.048122115 = weight(abstract_txt:machine in 2493) [ClassicSimilarity], result of:
           0.048122115 = score(doc=2493,freq=1.0), product of:
             0.09724361 = queryWeight, product of:
               1.0121205 = boost
               5.2785225 = idf(docFreq=612, maxDocs=44218)
               0.01820189 = queryNorm
             0.49486148 = fieldWeight in 2493, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2785225 = idf(docFreq=612, maxDocs=44218)
               0.09375 = fieldNorm(doc=2493)
         0.021201326 = weight(abstract_txt:based in 2493) [ClassicSimilarity], result of:
           0.021201326 = score(doc=2493,freq=1.0), product of:
             0.07093871 = queryWeight, product of:
               1.2225267 = boost
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.01820189 = queryNorm
             0.29886824 = fieldWeight in 2493, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.09375 = fieldNorm(doc=2493)
         0.18051234 = weight(abstract_txt:programming in 2493) [ClassicSimilarity], result of:
           0.18051234 = score(doc=2493,freq=3.0), product of:
             0.1627779 = queryWeight, product of:
               1.3094816 = boost
               6.829353 = idf(docFreq=129, maxDocs=44218)
               0.01820189 = queryNorm
             1.1089487 = fieldWeight in 2493, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.829353 = idf(docFreq=129, maxDocs=44218)
               0.09375 = fieldNorm(doc=2493)
         0.06225181 = weight(abstract_txt:knowledge in 2493) [ClassicSimilarity], result of:
           0.06225181 = score(doc=2493,freq=2.0), product of:
             0.13215888 = queryWeight, product of:
               2.0436687 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.01820189 = queryNorm
             0.4710377 = fieldWeight in 2493, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.09375 = fieldNorm(doc=2493)
         0.4752785 = weight(abstract_txt:prolog in 2493) [ClassicSimilarity], result of:
           0.4752785 = score(doc=2493,freq=1.0), product of:
             0.56399256 = queryWeight, product of:
               3.4470959 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.01820189 = queryNorm
             0.84270346 = fieldWeight in 2493, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.09375 = fieldNorm(doc=2493)
       0.2 = coord(5/25)
   

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

   0.1404124 = sum of:
     0.1404124 = product of:
       1.1701034 = sum of:
         0.13232644 = weight(abstract_txt:logic in 3217) [ClassicSimilarity], result of:
           0.13232644 = score(doc=3217,freq=1.0), product of:
             0.13577814 = queryWeight, product of:
               1.1959599 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.01820189 = queryNorm
             0.9745784 = fieldWeight in 3217, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.15625 = fieldNorm(doc=3217)
         0.24564618 = weight(abstract_txt:programming in 3217) [ClassicSimilarity], result of:
           0.24564618 = score(doc=3217,freq=2.0), product of:
             0.1627779 = queryWeight, product of:
               1.3094816 = boost
               6.829353 = idf(docFreq=129, maxDocs=44218)
               0.01820189 = queryNorm
             1.509088 = fieldWeight in 3217, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.829353 = idf(docFreq=129, maxDocs=44218)
               0.15625 = fieldNorm(doc=3217)
         0.7921308 = weight(abstract_txt:prolog in 3217) [ClassicSimilarity], result of:
           0.7921308 = score(doc=3217,freq=1.0), product of:
             0.56399256 = queryWeight, product of:
               3.4470959 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.01820189 = queryNorm
             1.4045058 = fieldWeight in 3217, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.15625 = fieldNorm(doc=3217)
       0.12 = coord(3/25)
   

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

   0.11621773 = sum of:
     0.11621773 = product of:
       0.36318043 = sum of:
         0.03208141 = weight(abstract_txt:machine in 2607) [ClassicSimilarity], result of:
           0.03208141 = score(doc=2607,freq=1.0), product of:
             0.09724361 = queryWeight, product of:
               1.0121205 = boost
               5.2785225 = idf(docFreq=612, maxDocs=44218)
               0.01820189 = queryNorm
             0.32990766 = fieldWeight in 2607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2785225 = idf(docFreq=612, maxDocs=44218)
               0.0625 = fieldNorm(doc=2607)
         0.04743038 = weight(abstract_txt:keywords in 2607) [ClassicSimilarity], result of:
           0.04743038 = score(doc=2607,freq=1.0), product of:
             0.12620111 = queryWeight, product of:
               1.1530106 = boost
               6.0133076 = idf(docFreq=293, maxDocs=44218)
               0.01820189 = queryNorm
             0.37583172 = fieldWeight in 2607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0133076 = idf(docFreq=293, maxDocs=44218)
               0.0625 = fieldNorm(doc=2607)
         0.051370904 = weight(abstract_txt:translation in 2607) [ClassicSimilarity], result of:
           0.051370904 = score(doc=2607,freq=1.0), product of:
             0.1330976 = queryWeight, product of:
               1.1840957 = boost
               6.1754265 = idf(docFreq=249, maxDocs=44218)
               0.01820189 = queryNorm
             0.38596416 = fieldWeight in 2607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1754265 = idf(docFreq=249, maxDocs=44218)
               0.0625 = fieldNorm(doc=2607)
         0.053704165 = weight(abstract_txt:conventional in 2607) [ClassicSimilarity], result of:
           0.053704165 = score(doc=2607,freq=1.0), product of:
             0.13709788 = queryWeight, product of:
               1.2017581 = boost
               6.2675414 = idf(docFreq=227, maxDocs=44218)
               0.01820189 = queryNorm
             0.39172134 = fieldWeight in 2607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2675414 = idf(docFreq=227, maxDocs=44218)
               0.0625 = fieldNorm(doc=2607)
         0.014134217 = weight(abstract_txt:based in 2607) [ClassicSimilarity], result of:
           0.014134217 = score(doc=2607,freq=1.0), product of:
             0.07093871 = queryWeight, product of:
               1.2225267 = boost
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.01820189 = queryNorm
             0.19924548 = fieldWeight in 2607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.0625 = fieldNorm(doc=2607)
         0.04150121 = weight(abstract_txt:knowledge in 2607) [ClassicSimilarity], result of:
           0.04150121 = score(doc=2607,freq=2.0), product of:
             0.13215888 = queryWeight, product of:
               2.0436687 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.01820189 = queryNorm
             0.31402513 = fieldWeight in 2607, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=2607)
         0.08634027 = weight(abstract_txt:against in 2607) [ClassicSimilarity], result of:
           0.08634027 = score(doc=2607,freq=1.0), product of:
             0.2370524 = queryWeight, product of:
               2.234801 = boost
               5.8275905 = idf(docFreq=353, maxDocs=44218)
               0.01820189 = queryNorm
             0.3642244 = fieldWeight in 2607, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8275905 = idf(docFreq=353, maxDocs=44218)
               0.0625 = fieldNorm(doc=2607)
         0.036617864 = weight(abstract_txt:retrieval in 2607) [ClassicSimilarity], result of:
           0.036617864 = score(doc=2607,freq=1.0), product of:
             0.16859347 = queryWeight, product of:
               2.6653366 = boost
               3.4751394 = idf(docFreq=3720, maxDocs=44218)
               0.01820189 = queryNorm
             0.21719621 = fieldWeight in 2607, 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=2607)
       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.1135027 = sum of:
     0.1135027 = product of:
       0.94585586 = sum of:
         0.049972 = weight(abstract_txt:based in 2947) [ClassicSimilarity], result of:
           0.049972 = score(doc=2947,freq=2.0), product of:
             0.07093871 = queryWeight, product of:
               1.2225267 = boost
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.01820189 = queryNorm
             0.70443916 = fieldWeight in 2947, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.1879277 = idf(docFreq=4958, maxDocs=44218)
               0.15625 = fieldNorm(doc=2947)
         0.10375302 = weight(abstract_txt:knowledge in 2947) [ClassicSimilarity], result of:
           0.10375302 = score(doc=2947,freq=2.0), product of:
             0.13215888 = queryWeight, product of:
               2.0436687 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.01820189 = queryNorm
             0.78506285 = fieldWeight in 2947, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.15625 = fieldNorm(doc=2947)
         0.7921308 = weight(abstract_txt:prolog in 2947) [ClassicSimilarity], result of:
           0.7921308 = score(doc=2947,freq=1.0), product of:
             0.56399256 = queryWeight, product of:
               3.4470959 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.01820189 = queryNorm
             1.4045058 = fieldWeight in 2947, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.15625 = fieldNorm(doc=2947)
       0.12 = coord(3/25)