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.37

   5.36736 = sum of:
     5.36736 = weight(author_txt:allen in 6045) [ClassicSimilarity], result of:
       5.36736 = fieldWeight in 6045, product of:
         1.4142135 = tf(freq=2.0), with freq of:
           2.0 = termFreq=2.0
         7.590594 = idf(docFreq=60, maxDocs=44421)
         0.5 = fieldNorm(doc=6045)
   

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

   4.744121 = sum of:
     4.744121 = weight(author_txt:allen in 746) [ClassicSimilarity], result of:
       4.744121 = fieldWeight in 746, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.590594 = idf(docFreq=60, maxDocs=44421)
         0.625 = fieldNorm(doc=746)
   

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

   4.744121 = sum of:
     4.744121 = weight(author_txt:allen in 1070) [ClassicSimilarity], result of:
       4.744121 = fieldWeight in 1070, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.590594 = idf(docFreq=60, maxDocs=44421)
         0.625 = fieldNorm(doc=1070)
   

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

   4.744121 = sum of:
     4.744121 = weight(author_txt:allen in 1570) [ClassicSimilarity], result of:
       4.744121 = fieldWeight in 1570, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.590594 = idf(docFreq=60, maxDocs=44421)
         0.625 = fieldNorm(doc=1570)
   

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

   4.744121 = sum of:
     4.744121 = weight(author_txt:allen in 1574) [ClassicSimilarity], result of:
       4.744121 = fieldWeight in 1574, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         7.590594 = idf(docFreq=60, maxDocs=44421)
         0.625 = fieldNorm(doc=1574)
   

Similar documents (content)

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

   0.20744482 = sum of:
     0.20744482 = product of:
       0.8643534 = sum of:
         0.06357593 = weight(abstract_txt:specify in 730) [ClassicSimilarity], result of:
           0.06357593 = score(doc=730,freq=1.0), product of:
             0.10789033 = queryWeight, product of:
               1.0505462 = boost
               7.5425844 = idf(docFreq=63, maxDocs=44421)
               0.013615926 = queryNorm
             0.5892644 = fieldWeight in 730, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.5425844 = idf(docFreq=63, maxDocs=44421)
               0.078125 = fieldNorm(doc=730)
         0.02567554 = weight(abstract_txt:most in 730) [ClassicSimilarity], result of:
           0.02567554 = score(doc=730,freq=2.0), product of:
             0.05894773 = queryWeight, product of:
               1.0981773 = boost
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.013615926 = queryNorm
             0.43556452 = fieldWeight in 730, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.078125 = fieldNorm(doc=730)
         0.014332184 = weight(abstract_txt:these in 730) [ClassicSimilarity], result of:
           0.014332184 = score(doc=730,freq=1.0), product of:
             0.057637174 = queryWeight, product of:
               1.3299516 = boost
               3.1828754 = idf(docFreq=5006, maxDocs=44421)
               0.013615926 = queryNorm
             0.24866214 = fieldWeight in 730, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1828754 = idf(docFreq=5006, maxDocs=44421)
               0.078125 = fieldNorm(doc=730)
         0.037382435 = weight(abstract_txt:knowledge in 730) [ClassicSimilarity], result of:
           0.037382435 = score(doc=730,freq=2.0), product of:
             0.09540602 = queryWeight, product of:
               1.9757946 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.013615926 = queryNorm
             0.39182472 = fieldWeight in 730, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.078125 = fieldNorm(doc=730)
         0.23370352 = weight(abstract_txt:facts in 730) [ClassicSimilarity], result of:
           0.23370352 = score(doc=730,freq=2.0), product of:
             0.29416746 = queryWeight, product of:
               3.0045667 = boost
               7.190608 = idf(docFreq=90, maxDocs=44421)
               0.013615926 = queryNorm
             0.79445744 = fieldWeight in 730, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.190608 = idf(docFreq=90, maxDocs=44421)
               0.078125 = fieldNorm(doc=730)
         0.48968378 = weight(abstract_txt:inference in 730) [ClassicSimilarity], result of:
           0.48968378 = score(doc=730,freq=4.0), product of:
             0.45328134 = queryWeight, product of:
               4.8149614 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.013615926 = queryNorm
             1.0803087 = fieldWeight in 730, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.078125 = fieldNorm(doc=730)
       0.24 = coord(6/25)
   

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

   0.14975151 = sum of:
     0.14975151 = product of:
       0.93594694 = sum of:
         0.16874969 = weight(abstract_txt:predicate in 5380) [ClassicSimilarity], result of:
           0.16874969 = score(doc=5380,freq=1.0), product of:
             0.15119451 = queryWeight, product of:
               1.2436321 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.013615926 = queryNorm
             1.1161098 = fieldWeight in 5380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
         0.11104482 = weight(abstract_txt:logical in 5380) [ClassicSimilarity], result of:
           0.11104482 = score(doc=5380,freq=1.0), product of:
             0.14411734 = queryWeight, product of:
               1.7171056 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.013615926 = queryNorm
             0.7705167 = fieldWeight in 5380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
         0.26440537 = weight(abstract_txt:facts in 5380) [ClassicSimilarity], result of:
           0.26440537 = score(doc=5380,freq=1.0), product of:
             0.29416746 = queryWeight, product of:
               3.0045667 = boost
               7.190608 = idf(docFreq=90, maxDocs=44421)
               0.013615926 = queryNorm
             0.898826 = fieldWeight in 5380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.190608 = idf(docFreq=90, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
         0.39174703 = weight(abstract_txt:inference in 5380) [ClassicSimilarity], result of:
           0.39174703 = score(doc=5380,freq=1.0), product of:
             0.45328134 = queryWeight, product of:
               4.8149614 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.013615926 = queryNorm
             0.86424696 = fieldWeight in 5380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.125 = fieldNorm(doc=5380)
       0.16 = coord(4/25)
   

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

   0.08331602 = sum of:
     0.08331602 = product of:
       0.4165801 = sum of:
         0.05483366 = weight(abstract_txt:module in 1675) [ClassicSimilarity], result of:
           0.05483366 = score(doc=1675,freq=1.0), product of:
             0.09775797 = queryWeight, product of:
               7.179679 = idf(docFreq=91, maxDocs=44421)
               0.013615926 = queryNorm
             0.56091243 = fieldWeight in 1675, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.179679 = idf(docFreq=91, maxDocs=44421)
               0.078125 = fieldNorm(doc=1675)
         0.01815535 = weight(abstract_txt:most in 1675) [ClassicSimilarity], result of:
           0.01815535 = score(doc=1675,freq=1.0), product of:
             0.05894773 = queryWeight, product of:
               1.0981773 = boost
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.013615926 = queryNorm
             0.30799064 = fieldWeight in 1675, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.94228 = idf(docFreq=2342, maxDocs=44421)
               0.078125 = fieldNorm(doc=1675)
         0.05296526 = weight(abstract_txt:base in 1675) [ClassicSimilarity], result of:
           0.05296526 = score(doc=1675,freq=1.0), product of:
             0.12035333 = queryWeight, product of:
               1.5691626 = boost
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.013615926 = queryNorm
             0.4400814 = fieldWeight in 1675, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.078125 = fieldNorm(doc=1675)
         0.04578395 = weight(abstract_txt:knowledge in 1675) [ClassicSimilarity], result of:
           0.04578395 = score(doc=1675,freq=3.0), product of:
             0.09540602 = queryWeight, product of:
               1.9757946 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.013615926 = queryNorm
             0.47988534 = fieldWeight in 1675, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.078125 = fieldNorm(doc=1675)
         0.24484189 = weight(abstract_txt:inference in 1675) [ClassicSimilarity], result of:
           0.24484189 = score(doc=1675,freq=1.0), product of:
             0.45328134 = queryWeight, product of:
               4.8149614 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.013615926 = queryNorm
             0.54015434 = fieldWeight in 1675, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.078125 = fieldNorm(doc=1675)
       0.2 = coord(5/25)
   

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

   0.07889515 = sum of:
     0.07889515 = product of:
       0.39447576 = sum of:
         0.07566516 = weight(abstract_txt:inheritance in 2101) [ClassicSimilarity], result of:
           0.07566516 = score(doc=2101,freq=1.0), product of:
             0.14060195 = queryWeight, product of:
               1.1992772 = boost
               8.610425 = idf(docFreq=21, maxDocs=44421)
               0.013615926 = queryNorm
             0.53815156 = fieldWeight in 2101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.610425 = idf(docFreq=21, maxDocs=44421)
               0.0625 = fieldNorm(doc=2101)
         0.011465746 = weight(abstract_txt:these in 2101) [ClassicSimilarity], result of:
           0.011465746 = score(doc=2101,freq=1.0), product of:
             0.057637174 = queryWeight, product of:
               1.3299516 = boost
               3.1828754 = idf(docFreq=5006, maxDocs=44421)
               0.013615926 = queryNorm
             0.19892971 = fieldWeight in 2101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.1828754 = idf(docFreq=5006, maxDocs=44421)
               0.0625 = fieldNorm(doc=2101)
         0.05552241 = weight(abstract_txt:logical in 2101) [ClassicSimilarity], result of:
           0.05552241 = score(doc=2101,freq=1.0), product of:
             0.14411734 = queryWeight, product of:
               1.7171056 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.013615926 = queryNorm
             0.38525835 = fieldWeight in 2101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.0625 = fieldNorm(doc=2101)
         0.055948906 = weight(abstract_txt:knowledge in 2101) [ClassicSimilarity], result of:
           0.055948906 = score(doc=2101,freq=7.0), product of:
             0.09540602 = queryWeight, product of:
               1.9757946 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.013615926 = queryNorm
             0.58642954 = fieldWeight in 2101, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=2101)
         0.19587351 = weight(abstract_txt:inference in 2101) [ClassicSimilarity], result of:
           0.19587351 = score(doc=2101,freq=1.0), product of:
             0.45328134 = queryWeight, product of:
               4.8149614 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.013615926 = queryNorm
             0.43212348 = fieldWeight in 2101, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.0625 = fieldNorm(doc=2101)
       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.07427197 = sum of:
     0.07427197 = product of:
       0.6189331 = sum of:
         0.09716421 = weight(abstract_txt:logical in 775) [ClassicSimilarity], result of:
           0.09716421 = score(doc=775,freq=1.0), product of:
             0.14411734 = queryWeight, product of:
               1.7171056 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.013615926 = queryNorm
             0.6742021 = fieldWeight in 775, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.109375 = fieldNorm(doc=775)
         0.037006725 = weight(abstract_txt:knowledge in 775) [ClassicSimilarity], result of:
           0.037006725 = score(doc=775,freq=1.0), product of:
             0.09540602 = queryWeight, product of:
               1.9757946 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.013615926 = queryNorm
             0.3878867 = fieldWeight in 775, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.109375 = fieldNorm(doc=775)
         0.48476216 = weight(abstract_txt:inference in 775) [ClassicSimilarity], result of:
           0.48476216 = score(doc=775,freq=2.0), product of:
             0.45328134 = queryWeight, product of:
               4.8149614 = boost
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.013615926 = queryNorm
             1.069451 = fieldWeight in 775, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.9139757 = idf(docFreq=119, maxDocs=44421)
               0.109375 = fieldNorm(doc=775)
       0.12 = coord(3/25)