Document (#40404)

Author

Bringsjord, S.
Clark, M.
Taylor, J.

Title

Sophisticated knowledge representation and reasoning requires philosophy

Source

Philosophy, computing and information science. Eds.: R. Hagengruber u. U.V. Riss

Imprint

London : Pickering & Chatto

Year

2014

Pages

S.99-119

Series

History and philosophy of technoscience; 3

Abstract

What is knowledge representation and reasoning (KR&R)? Alas, a thorough account would require a book, or at least a dedicated, full-length paper, but here we shall have to make do with something simpler. Since most readers are likely to have an intuitive grasp of the essence of KR&R, our simple account should suffice. The interesting thing is that this simple account itself makes reference to some of the foundational distinctions in the field of philosophy. These distinctions also play a central role in artificial intelligence (AI) and computer science. To begin with, the first distinction in KR&R is that we identify knowledge with knowledge that such-and-such holds (possibly to a degree), rather than knowing how. If you ask an expert tennis player how he manages to serve a ball at 130 miles per hour on his first serve, and then serve a safer, topspin serve on his second should the first be out, you may well receive a confession that, if truth be told, this athlete can't really tell you. He just does it; he does something he has been doing since his youth. Yet, there is no denying that he knows how to serve. In contrast, the knowledge in KR&R must be expressible in declarative statements. For example, our tennis player knows that if his first serve lands outside the service box, it's not in play. He thus knows a proposition, conditional in form.

Theme

Wissensrepräsentation

Similar documents (author)

1. Clark, K.: CD-ROM retrieval software : the year in review (1992) 1.96

   1.9607556 = sum of:
     1.9607556 = product of:
       3.9215112 = sum of:
         3.9215112 = weight(author_txt:clark in 2338) [ClassicSimilarity], result of:
           3.9215112 = score(doc=2338,freq=1.0), product of:
             0.76513755 = queryWeight, product of:
               1.0901135 = boost
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.085592136 = queryNorm
             5.125237 = fieldWeight in 2338, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.625 = fieldNorm(doc=2338)
       0.5 = coord(1/2)
   

2. Clark, K.: CD-ROM retrieval software : the year 1992 in review (1993) 1.96

   1.9607556 = sum of:
     1.9607556 = product of:
       3.9215112 = sum of:
         3.9215112 = weight(author_txt:clark in 2354) [ClassicSimilarity], result of:
           3.9215112 = score(doc=2354,freq=1.0), product of:
             0.76513755 = queryWeight, product of:
               1.0901135 = boost
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.085592136 = queryNorm
             5.125237 = fieldWeight in 2354, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.625 = fieldNorm(doc=2354)
       0.5 = coord(1/2)
   

3. Clark, A.J.: Education and training for librarianship and information work : annual bibliography, 1990 (1991) 1.96

   1.9607556 = sum of:
     1.9607556 = product of:
       3.9215112 = sum of:
         3.9215112 = weight(author_txt:clark in 2692) [ClassicSimilarity], result of:
           3.9215112 = score(doc=2692,freq=1.0), product of:
             0.76513755 = queryWeight, product of:
               1.0901135 = boost
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.085592136 = queryNorm
             5.125237 = fieldWeight in 2692, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.625 = fieldNorm(doc=2692)
       0.5 = coord(1/2)
   

4. Clark, D.: Mad cows, metathesauri, and meaning (1999) 1.96

   1.9607556 = sum of:
     1.9607556 = product of:
       3.9215112 = sum of:
         3.9215112 = weight(author_txt:clark in 2728) [ClassicSimilarity], result of:
           3.9215112 = score(doc=2728,freq=1.0), product of:
             0.76513755 = queryWeight, product of:
               1.0901135 = boost
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.085592136 = queryNorm
             5.125237 = fieldWeight in 2728, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.625 = fieldNorm(doc=2728)
       0.5 = coord(1/2)
   

5. Clark, K.: To cancel or not to cancel (print indexes) (1992) 1.96

   1.9607556 = sum of:
     1.9607556 = product of:
       3.9215112 = sum of:
         3.9215112 = weight(author_txt:clark in 3685) [ClassicSimilarity], result of:
           3.9215112 = score(doc=3685,freq=1.0), product of:
             0.76513755 = queryWeight, product of:
               1.0901135 = boost
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.085592136 = queryNorm
             5.125237 = fieldWeight in 3685, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.625 = fieldNorm(doc=3685)
       0.5 = coord(1/2)
   

Similar documents (content)

1. Kwasnik, B.H.: Changing perspectives on classification as a knowledge-representation process (2019) 0.11

   0.11300943 = sum of:
     0.11300943 = product of:
       0.4036051 = sum of:
         0.021378608 = weight(abstract_txt:should in 5641) [ClassicSimilarity], result of:
           0.021378608 = score(doc=5641,freq=1.0), product of:
             0.07716417 = queryWeight, product of:
               4.432857 = idf(docFreq=1427, maxDocs=44218)
               0.017407322 = queryNorm
             0.27705356 = fieldWeight in 5641, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.432857 = idf(docFreq=1427, maxDocs=44218)
               0.0625 = fieldNorm(doc=5641)
         0.029338464 = weight(abstract_txt:representation in 5641) [ClassicSimilarity], result of:
           0.029338464 = score(doc=5641,freq=1.0), product of:
             0.09529153 = queryWeight, product of:
               1.1112692 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.017407322 = queryNorm
             0.30788112 = fieldWeight in 5641, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.0625 = fieldNorm(doc=5641)
         0.03484588 = weight(abstract_txt:does in 5641) [ClassicSimilarity], result of:
           0.03484588 = score(doc=5641,freq=1.0), product of:
             0.10687194 = queryWeight, product of:
               1.1768578 = boost
               5.2168427 = idf(docFreq=651, maxDocs=44218)
               0.017407322 = queryNorm
             0.32605267 = fieldWeight in 5641, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2168427 = idf(docFreq=651, maxDocs=44218)
               0.0625 = fieldNorm(doc=5641)
         0.11933503 = weight(abstract_txt:something in 5641) [ClassicSimilarity], result of:
           0.11933503 = score(doc=5641,freq=2.0), product of:
             0.19272204 = queryWeight, product of:
               1.5803666 = boost
               7.0055394 = idf(docFreq=108, maxDocs=44218)
               0.017407322 = queryNorm
             0.61920804 = fieldWeight in 5641, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.0055394 = idf(docFreq=108, maxDocs=44218)
               0.0625 = fieldNorm(doc=5641)
         0.016965497 = weight(abstract_txt:that in 5641) [ClassicSimilarity], result of:
           0.016965497 = score(doc=5641,freq=3.0), product of:
             0.066141464 = queryWeight, product of:
               1.6035764 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017407322 = queryNorm
             0.2565032 = fieldWeight in 5641, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0625 = fieldNorm(doc=5641)
         0.038912702 = weight(abstract_txt:knowledge in 5641) [ClassicSimilarity], result of:
           0.038912702 = score(doc=5641,freq=2.0), product of:
             0.12391588 = queryWeight, product of:
               2.0036674 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017407322 = queryNorm
             0.31402513 = fieldWeight in 5641, 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=5641)
         0.1428289 = weight(abstract_txt:serve in 5641) [ClassicSimilarity], result of:
           0.1428289 = score(doc=5641,freq=1.0), product of:
             0.3947728 = queryWeight, product of:
               3.917657 = boost
               5.788804 = idf(docFreq=367, maxDocs=44218)
               0.017407322 = queryNorm
             0.36180025 = fieldWeight in 5641, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.788804 = idf(docFreq=367, maxDocs=44218)
               0.0625 = fieldNorm(doc=5641)
       0.28 = coord(7/25)
   

2. New, G.R.: Revision and stability in Dewey 21 : the life sciences catch up (1996) 0.11

   0.10653706 = sum of:
     0.10653706 = product of:
       0.44390443 = sum of:
         0.032067914 = weight(abstract_txt:should in 5196) [ClassicSimilarity], result of:
           0.032067914 = score(doc=5196,freq=1.0), product of:
             0.07716417 = queryWeight, product of:
               4.432857 = idf(docFreq=1427, maxDocs=44218)
               0.017407322 = queryNorm
             0.41558033 = fieldWeight in 5196, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.432857 = idf(docFreq=1427, maxDocs=44218)
               0.09375 = fieldNorm(doc=5196)
         0.04304885 = weight(abstract_txt:since in 5196) [ClassicSimilarity], result of:
           0.04304885 = score(doc=5196,freq=1.0), product of:
             0.09390231 = queryWeight, product of:
               1.1031392 = boost
               4.890058 = idf(docFreq=903, maxDocs=44218)
               0.017407322 = queryNorm
             0.45844293 = fieldWeight in 5196, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.890058 = idf(docFreq=903, maxDocs=44218)
               0.09375 = fieldNorm(doc=5196)
         0.020778406 = weight(abstract_txt:that in 5196) [ClassicSimilarity], result of:
           0.020778406 = score(doc=5196,freq=2.0), product of:
             0.066141464 = queryWeight, product of:
               1.6035764 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017407322 = queryNorm
             0.314151 = fieldWeight in 5196, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.09375 = fieldNorm(doc=5196)
         0.07539686 = weight(abstract_txt:first in 5196) [ClassicSimilarity], result of:
           0.07539686 = score(doc=5196,freq=2.0), product of:
             0.13643864 = queryWeight, product of:
               1.8805108 = boost
               4.168018 = idf(docFreq=1860, maxDocs=44218)
               0.017407322 = queryNorm
             0.55260634 = fieldWeight in 5196, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.168018 = idf(docFreq=1860, maxDocs=44218)
               0.09375 = fieldNorm(doc=5196)
         0.058369048 = weight(abstract_txt:knowledge in 5196) [ClassicSimilarity], result of:
           0.058369048 = score(doc=5196,freq=2.0), product of:
             0.12391588 = queryWeight, product of:
               2.0036674 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017407322 = queryNorm
             0.4710377 = fieldWeight in 5196, 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=5196)
         0.21424335 = weight(abstract_txt:serve in 5196) [ClassicSimilarity], result of:
           0.21424335 = score(doc=5196,freq=1.0), product of:
             0.3947728 = queryWeight, product of:
               3.917657 = boost
               5.788804 = idf(docFreq=367, maxDocs=44218)
               0.017407322 = queryNorm
             0.5427004 = fieldWeight in 5196, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.788804 = idf(docFreq=367, maxDocs=44218)
               0.09375 = fieldNorm(doc=5196)
       0.24 = coord(6/25)
   

3. Murphy, M.L.: Semantic relations and the lexicon : antonymy, synonymy and other paradigms (2008) 0.10

   0.1028354 = sum of:
     0.1028354 = product of:
       0.42848086 = sum of:
         0.03667308 = weight(abstract_txt:representation in 997) [ClassicSimilarity], result of:
           0.03667308 = score(doc=997,freq=1.0), product of:
             0.09529153 = queryWeight, product of:
               1.1112692 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.017407322 = queryNorm
             0.3848514 = fieldWeight in 997, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.078125 = fieldNorm(doc=997)
         0.069837295 = weight(abstract_txt:philosophy in 997) [ClassicSimilarity], result of:
           0.069837295 = score(doc=997,freq=1.0), product of:
             0.14640222 = queryWeight, product of:
               1.3774188 = boost
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.017407322 = queryNorm
             0.47702345 = fieldWeight in 997, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.078125 = fieldNorm(doc=997)
         0.02120687 = weight(abstract_txt:that in 997) [ClassicSimilarity], result of:
           0.02120687 = score(doc=997,freq=3.0), product of:
             0.066141464 = queryWeight, product of:
               1.6035764 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017407322 = queryNorm
             0.320629 = fieldWeight in 997, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.078125 = fieldNorm(doc=997)
         0.07358662 = weight(abstract_txt:account in 997) [ClassicSimilarity], result of:
           0.07358662 = score(doc=997,freq=1.0), product of:
             0.17353445 = queryWeight, product of:
               1.8366679 = boost
               5.427791 = idf(docFreq=527, maxDocs=44218)
               0.017407322 = queryNorm
             0.4240462 = fieldWeight in 997, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.427791 = idf(docFreq=527, maxDocs=44218)
               0.078125 = fieldNorm(doc=997)
         0.048640877 = weight(abstract_txt:knowledge in 997) [ClassicSimilarity], result of:
           0.048640877 = score(doc=997,freq=2.0), product of:
             0.12391588 = queryWeight, product of:
               2.0036674 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017407322 = queryNorm
             0.39253142 = fieldWeight in 997, 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=997)
         0.17853612 = weight(abstract_txt:serve in 997) [ClassicSimilarity], result of:
           0.17853612 = score(doc=997,freq=1.0), product of:
             0.3947728 = queryWeight, product of:
               3.917657 = boost
               5.788804 = idf(docFreq=367, maxDocs=44218)
               0.017407322 = queryNorm
             0.4522503 = fieldWeight in 997, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.788804 = idf(docFreq=367, maxDocs=44218)
               0.078125 = fieldNorm(doc=997)
       0.24 = coord(6/25)
   

4. Angelova, G.; Nenkova, A.; Boycheva, S.; Nikolov, T.: Conceptual graphs as a knowledge representation core in a complex language learning environment : a challenge for the conceptual graph approach (2000) 0.09

   0.088469066 = sum of:
     0.088469066 = product of:
       0.3686211 = sum of:
         0.046286047 = weight(abstract_txt:should in 5094) [ClassicSimilarity], result of:
           0.046286047 = score(doc=5094,freq=3.0), product of:
             0.07716417 = queryWeight, product of:
               4.432857 = idf(docFreq=1427, maxDocs=44218)
               0.017407322 = queryNorm
             0.59983855 = fieldWeight in 5094, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.432857 = idf(docFreq=1427, maxDocs=44218)
               0.078125 = fieldNorm(doc=5094)
         0.03667308 = weight(abstract_txt:representation in 5094) [ClassicSimilarity], result of:
           0.03667308 = score(doc=5094,freq=1.0), product of:
             0.09529153 = queryWeight, product of:
               1.1112692 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.017407322 = queryNorm
             0.3848514 = fieldWeight in 5094, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.078125 = fieldNorm(doc=5094)
         0.0462412 = weight(abstract_txt:simple in 5094) [ClassicSimilarity], result of:
           0.0462412 = score(doc=5094,freq=1.0), product of:
             0.1112181 = queryWeight, product of:
               1.200549 = boost
               5.321862 = idf(docFreq=586, maxDocs=44218)
               0.017407322 = queryNorm
             0.41577047 = fieldWeight in 5094, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.321862 = idf(docFreq=586, maxDocs=44218)
               0.078125 = fieldNorm(doc=5094)
         0.012243793 = weight(abstract_txt:that in 5094) [ClassicSimilarity], result of:
           0.012243793 = score(doc=5094,freq=1.0), product of:
             0.066141464 = queryWeight, product of:
               1.6035764 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017407322 = queryNorm
             0.18511525 = fieldWeight in 5094, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.078125 = fieldNorm(doc=5094)
         0.048640877 = weight(abstract_txt:knowledge in 5094) [ClassicSimilarity], result of:
           0.048640877 = score(doc=5094,freq=2.0), product of:
             0.12391588 = queryWeight, product of:
               2.0036674 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017407322 = queryNorm
             0.39253142 = fieldWeight in 5094, 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=5094)
         0.17853612 = weight(abstract_txt:serve in 5094) [ClassicSimilarity], result of:
           0.17853612 = score(doc=5094,freq=1.0), product of:
             0.3947728 = queryWeight, product of:
               3.917657 = boost
               5.788804 = idf(docFreq=367, maxDocs=44218)
               0.017407322 = queryNorm
             0.4522503 = fieldWeight in 5094, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.788804 = idf(docFreq=367, maxDocs=44218)
               0.078125 = fieldNorm(doc=5094)
       0.24 = coord(6/25)
   

5. Karlova-Bourbonus, N.: Automatic detection of contradictions in texts (2018) 0.09

   0.08827799 = sum of:
     0.08827799 = product of:
       0.31527853 = sum of:
         0.013361631 = weight(abstract_txt:should in 5976) [ClassicSimilarity], result of:
           0.013361631 = score(doc=5976,freq=1.0), product of:
             0.07716417 = queryWeight, product of:
               4.432857 = idf(docFreq=1427, maxDocs=44218)
               0.017407322 = queryNorm
             0.17315848 = fieldWeight in 5976, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.432857 = idf(docFreq=1427, maxDocs=44218)
               0.0390625 = fieldNorm(doc=5976)
         0.0231206 = weight(abstract_txt:simple in 5976) [ClassicSimilarity], result of:
           0.0231206 = score(doc=5976,freq=1.0), product of:
             0.1112181 = queryWeight, product of:
               1.200549 = boost
               5.321862 = idf(docFreq=586, maxDocs=44218)
               0.017407322 = queryNorm
             0.20788524 = fieldWeight in 5976, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.321862 = idf(docFreq=586, maxDocs=44218)
               0.0390625 = fieldNorm(doc=5976)
         0.018365689 = weight(abstract_txt:that in 5976) [ClassicSimilarity], result of:
           0.018365689 = score(doc=5976,freq=9.0), product of:
             0.066141464 = queryWeight, product of:
               1.6035764 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017407322 = queryNorm
             0.27767286 = fieldWeight in 5976, product of:
               3.0 = tf(freq=9.0), with freq of:
                 9.0 = termFreq=9.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0390625 = fieldNorm(doc=5976)
         0.03679331 = weight(abstract_txt:account in 5976) [ClassicSimilarity], result of:
           0.03679331 = score(doc=5976,freq=1.0), product of:
             0.17353445 = queryWeight, product of:
               1.8366679 = boost
               5.427791 = idf(docFreq=527, maxDocs=44218)
               0.017407322 = queryNorm
             0.2120231 = fieldWeight in 5976, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.427791 = idf(docFreq=527, maxDocs=44218)
               0.0390625 = fieldNorm(doc=5976)
         0.031415354 = weight(abstract_txt:first in 5976) [ClassicSimilarity], result of:
           0.031415354 = score(doc=5976,freq=2.0), product of:
             0.13643864 = queryWeight, product of:
               1.8805108 = boost
               4.168018 = idf(docFreq=1860, maxDocs=44218)
               0.017407322 = queryNorm
             0.23025262 = fieldWeight in 5976, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.168018 = idf(docFreq=1860, maxDocs=44218)
               0.0390625 = fieldNorm(doc=5976)
         0.1750248 = weight(abstract_txt:player in 5976) [ClassicSimilarity], result of:
           0.1750248 = score(doc=5976,freq=3.0), product of:
             0.29730487 = queryWeight, product of:
               1.9628774 = boost
               8.701155 = idf(docFreq=19, maxDocs=44218)
               0.017407322 = queryNorm
             0.58870476 = fieldWeight in 5976, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               8.701155 = idf(docFreq=19, maxDocs=44218)
               0.0390625 = fieldNorm(doc=5976)
         0.017197145 = weight(abstract_txt:knowledge in 5976) [ClassicSimilarity], result of:
           0.017197145 = score(doc=5976,freq=1.0), product of:
             0.12391588 = queryWeight, product of:
               2.0036674 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017407322 = queryNorm
             0.1387808 = fieldWeight in 5976, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0390625 = fieldNorm(doc=5976)
       0.28 = coord(7/25)