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.9617691 = sum of:
  1.9617691 = product of:
    3.9235382 = sum of:
      3.9235382 = weight(author_txt:clark in 2337) [ClassicSimilarity], result of:
        3.9235382 = score(doc=2337,freq=1.0), product of:
          0.76510566 = queryWeight, product of:
            1.0900587 = boost
            8.20496 = idf(docFreq=32, maxDocs=44421)
            0.085545085 = queryNorm
          5.1281 = fieldWeight in 2337, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.20496 = idf(docFreq=32, maxDocs=44421)
            0.625 = fieldNorm(doc=2337)
    0.5 = coord(1/2)
  2. Clark, K.: CD-ROM retrieval software : the year 1992 in review (1993) 1.96 
    1.9617691 = sum of:
  1.9617691 = product of:
    3.9235382 = sum of:
      3.9235382 = weight(author_txt:clark in 2353) [ClassicSimilarity], result of:
        3.9235382 = score(doc=2353,freq=1.0), product of:
          0.76510566 = queryWeight, product of:
            1.0900587 = boost
            8.20496 = idf(docFreq=32, maxDocs=44421)
            0.085545085 = queryNorm
          5.1281 = fieldWeight in 2353, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.20496 = idf(docFreq=32, maxDocs=44421)
            0.625 = fieldNorm(doc=2353)
    0.5 = coord(1/2)
  3. Clark, A.J.: Education and training for librarianship and information work : annual bibliography, 1990 (1991) 1.96 
    1.9617691 = sum of:
  1.9617691 = product of:
    3.9235382 = sum of:
      3.9235382 = weight(author_txt:clark in 2691) [ClassicSimilarity], result of:
        3.9235382 = score(doc=2691,freq=1.0), product of:
          0.76510566 = queryWeight, product of:
            1.0900587 = boost
            8.20496 = idf(docFreq=32, maxDocs=44421)
            0.085545085 = queryNorm
          5.1281 = fieldWeight in 2691, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.20496 = idf(docFreq=32, maxDocs=44421)
            0.625 = fieldNorm(doc=2691)
    0.5 = coord(1/2)
  4. Clark, D.: Mad cows, metathesauri, and meaning (1999) 1.96 
    1.9617691 = sum of:
  1.9617691 = product of:
    3.9235382 = sum of:
      3.9235382 = weight(author_txt:clark in 2727) [ClassicSimilarity], result of:
        3.9235382 = score(doc=2727,freq=1.0), product of:
          0.76510566 = queryWeight, product of:
            1.0900587 = boost
            8.20496 = idf(docFreq=32, maxDocs=44421)
            0.085545085 = queryNorm
          5.1281 = fieldWeight in 2727, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.20496 = idf(docFreq=32, maxDocs=44421)
            0.625 = fieldNorm(doc=2727)
    0.5 = coord(1/2)
  5. Clark, K.: To cancel or not to cancel (print indexes) (1992) 1.96 
    1.9617691 = sum of:
  1.9617691 = product of:
    3.9235382 = sum of:
      3.9235382 = weight(author_txt:clark in 3684) [ClassicSimilarity], result of:
        3.9235382 = score(doc=3684,freq=1.0), product of:
          0.76510566 = queryWeight, product of:
            1.0900587 = boost
            8.20496 = idf(docFreq=32, maxDocs=44421)
            0.085545085 = queryNorm
          5.1281 = fieldWeight in 3684, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.20496 = idf(docFreq=32, maxDocs=44421)
            0.625 = fieldNorm(doc=3684)
    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.11292403 = sum of:
  0.11292403 = product of:
    0.4033001 = sum of:
      0.021353621 = weight(abstract_txt:should in 641) [ClassicSimilarity], result of:
        0.021353621 = score(doc=641,freq=1.0), product of:
          0.07710359 = queryWeight, product of:
            4.4311547 = idf(docFreq=1436, maxDocs=44421)
            0.01740034 = queryNorm
          0.27694717 = fieldWeight in 641, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.4311547 = idf(docFreq=1436, maxDocs=44421)
            0.0625 = fieldNorm(doc=641)
      0.029338028 = weight(abstract_txt:representation in 641) [ClassicSimilarity], result of:
        0.029338028 = score(doc=641,freq=1.0), product of:
          0.09529004 = queryWeight, product of:
            1.1116971 = boost
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.01740034 = queryNorm
          0.30788136 = fieldWeight in 641, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.0625 = fieldNorm(doc=641)
      0.0349064 = weight(abstract_txt:does in 641) [ClassicSimilarity], result of:
        0.0349064 = score(doc=641,freq=1.0), product of:
          0.10699503 = queryWeight, product of:
            1.1779978 = boost
            5.2198906 = idf(docFreq=652, maxDocs=44421)
            0.01740034 = queryNorm
          0.32624316 = fieldWeight in 641, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.2198906 = idf(docFreq=652, maxDocs=44421)
            0.0625 = fieldNorm(doc=641)
      0.11956723 = weight(abstract_txt:something in 641) [ClassicSimilarity], result of:
        0.11956723 = score(doc=641,freq=2.0), product of:
          0.19297084 = queryWeight, product of:
            1.5820075 = boost
            7.01012 = idf(docFreq=108, maxDocs=44421)
            0.01740034 = queryNorm
          0.61961293 = fieldWeight in 641, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            7.01012 = idf(docFreq=108, maxDocs=44421)
            0.0625 = fieldNorm(doc=641)
      0.016867876 = weight(abstract_txt:that in 641) [ClassicSimilarity], result of:
        0.016867876 = score(doc=641,freq=3.0), product of:
          0.06588712 = queryWeight, product of:
            1.6011189 = boost
            2.3649352 = idf(docFreq=11344, maxDocs=44421)
            0.01740034 = queryNorm
          0.25601172 = fieldWeight in 641, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            2.3649352 = idf(docFreq=11344, maxDocs=44421)
            0.0625 = fieldNorm(doc=641)
      0.038702257 = weight(abstract_txt:knowledge in 641) [ClassicSimilarity], result of:
        0.038702257 = score(doc=641,freq=2.0), product of:
          0.12346801 = queryWeight, product of:
            2.0008287 = boost
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.01740034 = queryNorm
          0.31345978 = fieldWeight in 641, 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=641)
      0.1425647 = weight(abstract_txt:serve in 641) [ClassicSimilarity], result of:
        0.1425647 = score(doc=641,freq=1.0), product of:
          0.39428356 = queryWeight, product of:
            3.9167662 = boost
            5.7852654 = idf(docFreq=370, maxDocs=44421)
            0.01740034 = queryNorm
          0.3615791 = fieldWeight in 641, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.7852654 = idf(docFreq=370, maxDocs=44421)
            0.0625 = fieldNorm(doc=641)
    0.28 = coord(7/25)
  2. New, G.R.: Revision and stability in Dewey 21 : the life sciences catch up (1996) 0.11 
    0.106221765 = sum of:
  0.106221765 = product of:
    0.4425907 = sum of:
      0.032030433 = weight(abstract_txt:should in 5264) [ClassicSimilarity], result of:
        0.032030433 = score(doc=5264,freq=1.0), product of:
          0.07710359 = queryWeight, product of:
            4.4311547 = idf(docFreq=1436, maxDocs=44421)
            0.01740034 = queryNorm
          0.41542077 = fieldWeight in 5264, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.4311547 = idf(docFreq=1436, maxDocs=44421)
            0.09375 = fieldNorm(doc=5264)
      0.042936485 = weight(abstract_txt:since in 5264) [ClassicSimilarity], result of:
        0.042936485 = score(doc=5264,freq=1.0), product of:
          0.0937383 = queryWeight, product of:
            1.1026082 = boost
            4.8858275 = idf(docFreq=911, maxDocs=44421)
            0.01740034 = queryNorm
          0.45804632 = fieldWeight in 5264, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.8858275 = idf(docFreq=911, maxDocs=44421)
            0.09375 = fieldNorm(doc=5264)
      0.020658847 = weight(abstract_txt:that in 5264) [ClassicSimilarity], result of:
        0.020658847 = score(doc=5264,freq=2.0), product of:
          0.06588712 = queryWeight, product of:
            1.6011189 = boost
            2.3649352 = idf(docFreq=11344, maxDocs=44421)
            0.01740034 = queryNorm
          0.31354907 = fieldWeight in 5264, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            2.3649352 = idf(docFreq=11344, maxDocs=44421)
            0.09375 = fieldNorm(doc=5264)
      0.07506452 = weight(abstract_txt:first in 5264) [ClassicSimilarity], result of:
        0.07506452 = score(doc=5264,freq=2.0), product of:
          0.13603663 = queryWeight, product of:
            1.8784759 = boost
            4.1619086 = idf(docFreq=1880, maxDocs=44421)
            0.01740034 = queryNorm
          0.5517963 = fieldWeight in 5264, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.1619086 = idf(docFreq=1880, maxDocs=44421)
            0.09375 = fieldNorm(doc=5264)
      0.058053385 = weight(abstract_txt:knowledge in 5264) [ClassicSimilarity], result of:
        0.058053385 = score(doc=5264,freq=2.0), product of:
          0.12346801 = queryWeight, product of:
            2.0008287 = boost
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.01740034 = queryNorm
          0.4701897 = fieldWeight in 5264, 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=5264)
      0.21384704 = weight(abstract_txt:serve in 5264) [ClassicSimilarity], result of:
        0.21384704 = score(doc=5264,freq=1.0), product of:
          0.39428356 = queryWeight, product of:
            3.9167662 = boost
            5.7852654 = idf(docFreq=370, maxDocs=44421)
            0.01740034 = queryNorm
          0.54236865 = fieldWeight in 5264, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.7852654 = idf(docFreq=370, maxDocs=44421)
            0.09375 = fieldNorm(doc=5264)
    0.24 = coord(6/25)
  3. Murphy, M.L.: Semantic relations and the lexicon : antonymy, synonymy and other paradigms (2008) 0.10 
    0.10265386 = sum of:
  0.10265386 = product of:
    0.42772442 = sum of:
      0.036672533 = weight(abstract_txt:representation in 1997) [ClassicSimilarity], result of:
        0.036672533 = score(doc=1997,freq=1.0), product of:
          0.09529004 = queryWeight, product of:
            1.1116971 = boost
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.01740034 = queryNorm
          0.3848517 = fieldWeight in 1997, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.078125 = fieldNorm(doc=1997)
      0.06961154 = weight(abstract_txt:philosophy in 1997) [ClassicSimilarity], result of:
        0.06961154 = score(doc=1997,freq=1.0), product of:
          0.14608571 = queryWeight, product of:
            1.3764694 = boost
            6.099349 = idf(docFreq=270, maxDocs=44421)
            0.01740034 = queryNorm
          0.47651166 = fieldWeight in 1997, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.099349 = idf(docFreq=270, maxDocs=44421)
            0.078125 = fieldNorm(doc=1997)
      0.021084845 = weight(abstract_txt:that in 1997) [ClassicSimilarity], result of:
        0.021084845 = score(doc=1997,freq=3.0), product of:
          0.06588712 = queryWeight, product of:
            1.6011189 = boost
            2.3649352 = idf(docFreq=11344, maxDocs=44421)
            0.01740034 = queryNorm
          0.32001466 = fieldWeight in 1997, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            2.3649352 = idf(docFreq=11344, maxDocs=44421)
            0.078125 = fieldNorm(doc=1997)
      0.073771805 = weight(abstract_txt:account in 1997) [ClassicSimilarity], result of:
        0.073771805 = score(doc=1997,freq=1.0), product of:
          0.17382447 = queryWeight, product of:
            1.8389239 = boost
            5.432371 = idf(docFreq=527, maxDocs=44421)
            0.01740034 = queryNorm
          0.424404 = fieldWeight in 1997, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.432371 = idf(docFreq=527, maxDocs=44421)
            0.078125 = fieldNorm(doc=1997)
      0.04837782 = weight(abstract_txt:knowledge in 1997) [ClassicSimilarity], result of:
        0.04837782 = score(doc=1997,freq=2.0), product of:
          0.12346801 = queryWeight, product of:
            2.0008287 = boost
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.01740034 = queryNorm
          0.39182472 = fieldWeight in 1997, 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=1997)
      0.17820586 = weight(abstract_txt:serve in 1997) [ClassicSimilarity], result of:
        0.17820586 = score(doc=1997,freq=1.0), product of:
          0.39428356 = queryWeight, product of:
            3.9167662 = boost
            5.7852654 = idf(docFreq=370, maxDocs=44421)
            0.01740034 = queryNorm
          0.45197386 = fieldWeight in 1997, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.7852654 = idf(docFreq=370, maxDocs=44421)
            0.078125 = fieldNorm(doc=1997)
    0.24 = coord(6/25)
  4. Libal, T.: Legal linguistic templates and the tension between legal knowledge representation and reasoning (2023) 0.10 
    0.0988684 = sum of:
  0.0988684 = product of:
    0.41195166 = sum of:
      0.045297872 = weight(abstract_txt:should in 2402) [ClassicSimilarity], result of:
        0.045297872 = score(doc=2402,freq=2.0), product of:
          0.07710359 = queryWeight, product of:
            4.4311547 = idf(docFreq=1436, maxDocs=44421)
            0.01740034 = queryNorm
          0.58749366 = fieldWeight in 2402, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.4311547 = idf(docFreq=1436, maxDocs=44421)
            0.09375 = fieldNorm(doc=2402)
      0.07622243 = weight(abstract_txt:representation in 2402) [ClassicSimilarity], result of:
        0.07622243 = score(doc=2402,freq=3.0), product of:
          0.09529004 = queryWeight, product of:
            1.1116971 = boost
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.01740034 = queryNorm
          0.7998992 = fieldWeight in 2402, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            4.9261017 = idf(docFreq=875, maxDocs=44421)
            0.09375 = fieldNorm(doc=2402)
      0.05526127 = weight(abstract_txt:simple in 2402) [ClassicSimilarity], result of:
        0.05526127 = score(doc=2402,freq=1.0), product of:
          0.11091237 = queryWeight, product of:
            1.1993686 = boost
            5.314588 = idf(docFreq=593, maxDocs=44421)
            0.01740034 = queryNorm
          0.49824262 = fieldWeight in 2402, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.314588 = idf(docFreq=593, maxDocs=44421)
            0.09375 = fieldNorm(doc=2402)
      0.16250868 = weight(abstract_txt:reasoning in 2402) [ClassicSimilarity], result of:
        0.16250868 = score(doc=2402,freq=3.0), product of:
          0.15784957 = queryWeight, product of:
            1.430818 = boost
            6.3401756 = idf(docFreq=212, maxDocs=44421)
            0.01740034 = queryNorm
          1.0295162 = fieldWeight in 2402, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.3401756 = idf(docFreq=212, maxDocs=44421)
            0.09375 = fieldNorm(doc=2402)
      0.014608011 = weight(abstract_txt:that in 2402) [ClassicSimilarity], result of:
        0.014608011 = score(doc=2402,freq=1.0), product of:
          0.06588712 = queryWeight, product of:
            1.6011189 = boost
            2.3649352 = idf(docFreq=11344, maxDocs=44421)
            0.01740034 = queryNorm
          0.22171268 = fieldWeight in 2402, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            2.3649352 = idf(docFreq=11344, maxDocs=44421)
            0.09375 = fieldNorm(doc=2402)
      0.058053385 = weight(abstract_txt:knowledge in 2402) [ClassicSimilarity], result of:
        0.058053385 = score(doc=2402,freq=2.0), product of:
          0.12346801 = queryWeight, product of:
            2.0008287 = boost
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.01740034 = queryNorm
          0.4701897 = fieldWeight in 2402, 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=2402)
    0.24 = coord(6/25)
  5. Karlova-Bourbonus, N.: Automatic detection of contradictions in texts (2018) 0.09 
    0.088255115 = sum of:
  0.088255115 = product of:
    0.31519684 = sum of:
      0.013346014 = weight(abstract_txt:should in 976) [ClassicSimilarity], result of:
        0.013346014 = score(doc=976,freq=1.0), product of:
          0.07710359 = queryWeight, product of:
            4.4311547 = idf(docFreq=1436, maxDocs=44421)
            0.01740034 = queryNorm
          0.17309198 = fieldWeight in 976, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.4311547 = idf(docFreq=1436, maxDocs=44421)
            0.0390625 = fieldNorm(doc=976)
      0.02302553 = weight(abstract_txt:simple in 976) [ClassicSimilarity], result of:
        0.02302553 = score(doc=976,freq=1.0), product of:
          0.11091237 = queryWeight, product of:
            1.1993686 = boost
            5.314588 = idf(docFreq=593, maxDocs=44421)
            0.01740034 = queryNorm
          0.2076011 = fieldWeight in 976, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.314588 = idf(docFreq=593, maxDocs=44421)
            0.0390625 = fieldNorm(doc=976)
      0.018260013 = weight(abstract_txt:that in 976) [ClassicSimilarity], result of:
        0.018260013 = score(doc=976,freq=9.0), product of:
          0.06588712 = queryWeight, product of:
            1.6011189 = boost
            2.3649352 = idf(docFreq=11344, maxDocs=44421)
            0.01740034 = queryNorm
          0.27714086 = fieldWeight in 976, product of:
            3.0 = tf(freq=9.0), with freq of:
              9.0 = termFreq=9.0
            2.3649352 = idf(docFreq=11344, maxDocs=44421)
            0.0390625 = fieldNorm(doc=976)
      0.036885902 = weight(abstract_txt:account in 976) [ClassicSimilarity], result of:
        0.036885902 = score(doc=976,freq=1.0), product of:
          0.17382447 = queryWeight, product of:
            1.8389239 = boost
            5.432371 = idf(docFreq=527, maxDocs=44421)
            0.01740034 = queryNorm
          0.212202 = fieldWeight in 976, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.432371 = idf(docFreq=527, maxDocs=44421)
            0.0390625 = fieldNorm(doc=976)
      0.03127688 = weight(abstract_txt:first in 976) [ClassicSimilarity], result of:
        0.03127688 = score(doc=976,freq=2.0), product of:
          0.13603663 = queryWeight, product of:
            1.8784759 = boost
            4.1619086 = idf(docFreq=1880, maxDocs=44421)
            0.01740034 = queryNorm
          0.22991514 = fieldWeight in 976, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.1619086 = idf(docFreq=1880, maxDocs=44421)
            0.0390625 = fieldNorm(doc=976)
      0.17529835 = weight(abstract_txt:player in 976) [ClassicSimilarity], result of:
        0.17529835 = score(doc=976,freq=3.0), product of:
          0.29761288 = queryWeight, product of:
            1.9646652 = boost
            8.705735 = idf(docFreq=19, maxDocs=44421)
            0.01740034 = queryNorm
          0.58901465 = fieldWeight in 976, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            8.705735 = idf(docFreq=19, maxDocs=44421)
            0.0390625 = fieldNorm(doc=976)
      0.017104143 = weight(abstract_txt:knowledge in 976) [ClassicSimilarity], result of:
        0.017104143 = score(doc=976,freq=1.0), product of:
          0.12346801 = queryWeight, product of:
            2.0008287 = boost
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.01740034 = queryNorm
          0.13853097 = fieldWeight in 976, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.5463927 = idf(docFreq=3480, maxDocs=44421)
            0.0390625 = fieldNorm(doc=976)
    0.28 = coord(7/25)