Document (#42805)

Author

Frisch, A.M.
Allen, J.F.

Title

Knowledge retrieval as limited inference

Source

6th Conference on Automated Deduction. CADE 1982. New York, USA, June 7-9, 1982. Ed.: D.W. Loveland

Imprint

Berlin : Springer

Year

1982

Pages

S.274-291

Series

Lecture notes in computer science; vol 138

Abstract

Artificial intelligence reasoning systems commonly employ a knowledge base module that stores a set of facts expressed in a representation language and provides facilities to retrieve these facts. A retriever could range from a simple pattern matcher to a complete logical inference system. In practice, most fall in between these extremes, providing some forms of inference but not others. Unfortunately, most of these retrievers are not precisely defined. We view knowledge retrieval as a limited form of inference operating on the stored facts. This paper is concerned with our method of using first-order predicate calculus to formally specify a limited inference mechanism and to a lesser extent with the techniques for producing an efficient program that meets the specification. Our ideas are illustrated by developing a simplified version of a retriever used in the knowledge base of the Rochester Dialog System. The interesting property of this retriever is that it perlorms typical semantic network inferences such as inheritance but not arbitrary logical inferences such as modus ponens.

Content

Vgl.: DOI:10.1007/BFb0000065.

Theme

Wissensrepräsentation

Field

Informatik

Similar documents (author)

1. Allen, B.; Allen, G.: Cognitive abilities of academic librarians and their patrons (1993) 5.36

   5.3641214 = sum of:
     5.3641214 = weight(author_txt:allen in 6046) [ClassicSimilarity], result of:
       5.3641214 = fieldWeight in 6046, product of:
         1.4142135 = tf(freq=2.0), with freq of:
           2.0 = termFreq=2.0
         7.5860133 = idf(docFreq=60, maxDocs=44218)
         0.5 = fieldNorm(doc=6046)
   

2. Allen, M.M.: Bluetooth bytes information retrieval (2001) 4.74

   4.741258 = sum of:
     4.741258 = weight(author_txt:allen in 747) [ClassicSimilarity], result of:
       4.741258 = fieldWeight in 747, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.5860133 = idf(docFreq=60, maxDocs=44218)
         0.625 = fieldNorm(doc=747)
   

3. Allen, B.: Topic knowledge and online catalog search formulation (1991) 4.74

   4.741258 = sum of:
     4.741258 = weight(author_txt:allen in 1071) [ClassicSimilarity], result of:
       4.741258 = fieldWeight in 1071, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.5860133 = idf(docFreq=60, maxDocs=44218)
         0.625 = fieldNorm(doc=1071)
   

4. Allen, L.: Alphabetical subject access, LCSH and a non-traditional approach (1981) 4.74

   4.741258 = sum of:
     4.741258 = weight(author_txt:allen in 1571) [ClassicSimilarity], result of:
       4.741258 = fieldWeight in 1571, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.5860133 = idf(docFreq=60, maxDocs=44218)
         0.625 = fieldNorm(doc=1571)
   

5. Allen, G.G.: Change in the catalogue in the context of library management (1976) 4.74

   4.741258 = sum of:
     4.741258 = weight(author_txt:allen in 1575) [ClassicSimilarity], result of:
       4.741258 = fieldWeight in 1575, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.5860133 = idf(docFreq=60, maxDocs=44218)
         0.625 = fieldNorm(doc=1575)
   

Similar documents (content)

1. Siebers, Q.H.J.F.: Implementing inference rules in the Topic maps model (2006) 0.21

   0.20911516 = sum of:
     0.20911516 = product of:
       0.8713132 = sum of:
         0.06329197 = weight(abstract_txt:specify in 4730) [ClassicSimilarity], result of:
           0.06329197 = score(doc=4730,freq=1.0), product of:
             0.1074737 = queryWeight, product of:
               1.0505785 = boost
               7.538004 = idf(docFreq=63, maxDocs=44218)
               0.013571172 = queryNorm
             0.5889065 = fieldWeight in 4730, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.538004 = idf(docFreq=63, maxDocs=44218)
               0.078125 = fieldNorm(doc=4730)
         0.025635026 = weight(abstract_txt:most in 4730) [ClassicSimilarity], result of:
           0.025635026 = score(doc=4730,freq=2.0), product of:
             0.058833633 = queryWeight, product of:
               1.0992721 = boost
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.013571172 = queryNorm
             0.43572062 = fieldWeight in 4730, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.078125 = fieldNorm(doc=4730)
         0.014365098 = weight(abstract_txt:these in 4730) [ClassicSimilarity], result of:
           0.014365098 = score(doc=4730,freq=1.0), product of:
             0.05767434 = queryWeight, product of:
               1.3329976 = boost
               3.1881294 = idf(docFreq=4957, maxDocs=44218)
               0.013571172 = queryNorm
             0.24907261 = fieldWeight in 4730, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1881294 = idf(docFreq=4957, maxDocs=44218)
               0.078125 = fieldNorm(doc=4730)
         0.037485443 = weight(abstract_txt:knowledge in 4730) [ClassicSimilarity], result of:
           0.037485443 = score(doc=4730,freq=2.0), product of:
             0.09549667 = queryWeight, product of:
               1.9806216 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.013571172 = queryNorm
             0.39253142 = fieldWeight in 4730, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.078125 = fieldNorm(doc=4730)
         0.23590995 = weight(abstract_txt:facts in 4730) [ClassicSimilarity], result of:
           0.23590995 = score(doc=4730,freq=2.0), product of:
             0.29575428 = queryWeight, product of:
               3.018586 = boost
               7.2195506 = idf(docFreq=87, maxDocs=44218)
               0.013571172 = queryNorm
             0.7976552 = fieldWeight in 4730, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.2195506 = idf(docFreq=87, maxDocs=44218)
               0.078125 = fieldNorm(doc=4730)
         0.49462578 = weight(abstract_txt:inference in 4730) [ClassicSimilarity], result of:
           0.49462578 = score(doc=4730,freq=4.0), product of:
             0.45592245 = queryWeight, product of:
               4.838468 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.013571172 = queryNorm
             1.0848901 = fieldWeight in 4730, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.078125 = fieldNorm(doc=4730)
       0.24 = coord(6/25)
   

2. Fuhr, N.: Probabilistic datalog : implementing logical information retrieval for advanced applications (2000) 0.15

   0.15068644 = sum of:
     0.15068644 = product of:
       0.9417903 = sum of:
         0.1680435 = weight(abstract_txt:predicate in 4380) [ClassicSimilarity], result of:
           0.1680435 = score(doc=4380,freq=1.0), product of:
             0.15063907 = queryWeight, product of:
               1.2437875 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.013571172 = queryNorm
             1.1155373 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.111144476 = weight(abstract_txt:logical in 4380) [ClassicSimilarity], result of:
           0.111144476 = score(doc=4380,freq=1.0), product of:
             0.14407603 = queryWeight, product of:
               1.7202369 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.013571172 = queryNorm
             0.7714293 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.26690164 = weight(abstract_txt:facts in 4380) [ClassicSimilarity], result of:
           0.26690164 = score(doc=4380,freq=1.0), product of:
             0.29575428 = queryWeight, product of:
               3.018586 = boost
               7.2195506 = idf(docFreq=87, maxDocs=44218)
               0.013571172 = queryNorm
             0.9024438 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.2195506 = idf(docFreq=87, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.39570063 = weight(abstract_txt:inference in 4380) [ClassicSimilarity], result of:
           0.39570063 = score(doc=4380,freq=1.0), product of:
             0.45592245 = queryWeight, product of:
               4.838468 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.013571172 = queryNorm
             0.8679121 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
       0.16 = coord(4/25)
   

3. Dubey, Y.P.: Expert systems and their application in library and information science (1996) 0.08

   0.083752 = sum of:
     0.083752 = product of:
       0.41875997 = sum of:
         0.054583717 = weight(abstract_txt:module in 675) [ClassicSimilarity], result of:
           0.054583717 = score(doc=675,freq=1.0), product of:
             0.09737449 = queryWeight, product of:
               7.1750984 = idf(docFreq=91, maxDocs=44218)
               0.013571172 = queryNorm
             0.56055456 = fieldWeight in 675, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.1750984 = idf(docFreq=91, maxDocs=44218)
               0.078125 = fieldNorm(doc=675)
         0.0181267 = weight(abstract_txt:most in 675) [ClassicSimilarity], result of:
           0.0181267 = score(doc=675,freq=1.0), product of:
             0.058833633 = queryWeight, product of:
               1.0992721 = boost
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.013571172 = queryNorm
             0.308101 = fieldWeight in 675, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.078125 = fieldNorm(doc=675)
         0.05282657 = weight(abstract_txt:base in 675) [ClassicSimilarity], result of:
           0.05282657 = score(doc=675,freq=1.0), product of:
             0.12003689 = queryWeight, product of:
               1.5701811 = boost
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.013571172 = queryNorm
             0.4400861 = fieldWeight in 675, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.078125 = fieldNorm(doc=675)
         0.0459101 = weight(abstract_txt:knowledge in 675) [ClassicSimilarity], result of:
           0.0459101 = score(doc=675,freq=3.0), product of:
             0.09549667 = queryWeight, product of:
               1.9806216 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.013571172 = queryNorm
             0.48075083 = fieldWeight in 675, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.078125 = fieldNorm(doc=675)
         0.24731289 = weight(abstract_txt:inference in 675) [ClassicSimilarity], result of:
           0.24731289 = score(doc=675,freq=1.0), product of:
             0.45592245 = queryWeight, product of:
               4.838468 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.013571172 = queryNorm
             0.54244506 = fieldWeight in 675, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.078125 = fieldNorm(doc=675)
       0.2 = coord(5/25)
   

4. Bergman, M.K..: Hierarchy in knowledge systems (2022) 0.08

   0.07951808 = sum of:
     0.07951808 = product of:
       0.3975904 = sum of:
         0.076572694 = weight(abstract_txt:inheritance in 1099) [ClassicSimilarity], result of:
           0.076572694 = score(doc=1099,freq=1.0), product of:
             0.14159864 = queryWeight, product of:
               1.2058879 = boost
               8.652365 = idf(docFreq=20, maxDocs=44218)
               0.013571172 = queryNorm
             0.5407728 = fieldWeight in 1099, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.652365 = idf(docFreq=20, maxDocs=44218)
               0.0625 = fieldNorm(doc=1099)
         0.011492079 = weight(abstract_txt:these in 1099) [ClassicSimilarity], result of:
           0.011492079 = score(doc=1099,freq=1.0), product of:
             0.05767434 = queryWeight, product of:
               1.3329976 = boost
               3.1881294 = idf(docFreq=4957, maxDocs=44218)
               0.013571172 = queryNorm
             0.19925809 = fieldWeight in 1099, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1881294 = idf(docFreq=4957, maxDocs=44218)
               0.0625 = fieldNorm(doc=1099)
         0.055572238 = weight(abstract_txt:logical in 1099) [ClassicSimilarity], result of:
           0.055572238 = score(doc=1099,freq=1.0), product of:
             0.14407603 = queryWeight, product of:
               1.7202369 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.013571172 = queryNorm
             0.38571465 = fieldWeight in 1099, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.0625 = fieldNorm(doc=1099)
         0.056103073 = weight(abstract_txt:knowledge in 1099) [ClassicSimilarity], result of:
           0.056103073 = score(doc=1099,freq=7.0), product of:
             0.09549667 = queryWeight, product of:
               1.9806216 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.013571172 = queryNorm
             0.5874872 = fieldWeight in 1099, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=1099)
         0.19785032 = weight(abstract_txt:inference in 1099) [ClassicSimilarity], result of:
           0.19785032 = score(doc=1099,freq=1.0), product of:
             0.45592245 = queryWeight, product of:
               4.838468 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.013571172 = queryNorm
             0.43395606 = fieldWeight in 1099, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.0625 = fieldNorm(doc=1099)
       0.2 = coord(5/25)
   

5. Nie, J.-Y.; Brisebois, M.: ¬An inferential approach to information retrieval and its implementation using a manual thesaurus (1996) 0.07

   0.074881755 = sum of:
     0.074881755 = product of:
       0.6240146 = sum of:
         0.09725142 = weight(abstract_txt:logical in 7706) [ClassicSimilarity], result of:
           0.09725142 = score(doc=7706,freq=1.0), product of:
             0.14407603 = queryWeight, product of:
               1.7202369 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.013571172 = queryNorm
             0.67500067 = fieldWeight in 7706, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.109375 = fieldNorm(doc=7706)
         0.037108697 = weight(abstract_txt:knowledge in 7706) [ClassicSimilarity], result of:
           0.037108697 = score(doc=7706,freq=1.0), product of:
             0.09549667 = queryWeight, product of:
               1.9806216 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.013571172 = queryNorm
             0.38858628 = fieldWeight in 7706, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.109375 = fieldNorm(doc=7706)
         0.4896545 = weight(abstract_txt:inference in 7706) [ClassicSimilarity], result of:
           0.4896545 = score(doc=7706,freq=2.0), product of:
             0.45592245 = queryWeight, product of:
               4.838468 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.013571172 = queryNorm
             1.0739864 = fieldWeight in 7706, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.109375 = fieldNorm(doc=7706)
       0.12 = coord(3/25)