Document (#40405)

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.9610816 = sum of:
      1.9610816 = product of:
        3.9221632 = sum of:
          3.9221632 = weight(author_txt:clark in 2338) [ClassicSimilarity], result of:
            3.9221632 = score(doc=2338,freq=1.0), product of:
              0.76652026 = queryWeight, product of:
                1.092496 = boost
                8.186948 = idf(docFreq=31, maxDocs=42306)
                0.085700184 = queryNorm
              5.1168423 = fieldWeight in 2338, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.186948 = idf(docFreq=31, maxDocs=42306)
                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.9610816 = sum of:
      1.9610816 = product of:
        3.9221632 = sum of:
          3.9221632 = weight(author_txt:clark in 2354) [ClassicSimilarity], result of:
            3.9221632 = score(doc=2354,freq=1.0), product of:
              0.76652026 = queryWeight, product of:
                1.092496 = boost
                8.186948 = idf(docFreq=31, maxDocs=42306)
                0.085700184 = queryNorm
              5.1168423 = fieldWeight in 2354, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.186948 = idf(docFreq=31, maxDocs=42306)
                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.9610816 = sum of:
      1.9610816 = product of:
        3.9221632 = sum of:
          3.9221632 = weight(author_txt:clark in 2692) [ClassicSimilarity], result of:
            3.9221632 = score(doc=2692,freq=1.0), product of:
              0.76652026 = queryWeight, product of:
                1.092496 = boost
                8.186948 = idf(docFreq=31, maxDocs=42306)
                0.085700184 = queryNorm
              5.1168423 = fieldWeight in 2692, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.186948 = idf(docFreq=31, maxDocs=42306)
                0.625 = fieldNorm(doc=2692)
        0.5 = coord(1/2)
    
  4. Clark, D.: Mad cows, metathesauri, and meaning (1999) 1.96
    1.9610816 = sum of:
      1.9610816 = product of:
        3.9221632 = sum of:
          3.9221632 = weight(author_txt:clark in 2728) [ClassicSimilarity], result of:
            3.9221632 = score(doc=2728,freq=1.0), product of:
              0.76652026 = queryWeight, product of:
                1.092496 = boost
                8.186948 = idf(docFreq=31, maxDocs=42306)
                0.085700184 = queryNorm
              5.1168423 = fieldWeight in 2728, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.186948 = idf(docFreq=31, maxDocs=42306)
                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.9610816 = sum of:
      1.9610816 = product of:
        3.9221632 = sum of:
          3.9221632 = weight(author_txt:clark in 3685) [ClassicSimilarity], result of:
            3.9221632 = score(doc=3685,freq=1.0), product of:
              0.76652026 = queryWeight, product of:
                1.092496 = boost
                8.186948 = idf(docFreq=31, maxDocs=42306)
                0.085700184 = queryNorm
              5.1168423 = fieldWeight in 3685, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.186948 = idf(docFreq=31, maxDocs=42306)
                0.625 = fieldNorm(doc=3685)
        0.5 = coord(1/2)
    

Similar documents (content)

  1. New, G.R.: Revision and stability in Dewey 21 : the life sciences catch up (1996) 0.11
    0.10864461 = sum of:
      0.10864461 = product of:
        0.4526859 = sum of:
          0.032513883 = weight(abstract_txt:should in 5265) [ClassicSimilarity], result of:
            0.032513883 = score(doc=5265,freq=1.0), product of:
              0.0776999 = queryWeight, product of:
                4.463516 = idf(docFreq=1324, maxDocs=42306)
                0.017407779 = queryNorm
              0.41845465 = fieldWeight in 5265, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.463516 = idf(docFreq=1324, maxDocs=42306)
                0.09375 = fieldNorm(doc=5265)
          0.043212026 = weight(abstract_txt:since in 5265) [ClassicSimilarity], result of:
            0.043212026 = score(doc=5265,freq=1.0), product of:
              0.09392423 = queryWeight, product of:
                1.0994579 = boost
                4.907448 = idf(docFreq=849, maxDocs=42306)
                0.017407779 = queryNorm
              0.46007323 = fieldWeight in 5265, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.907448 = idf(docFreq=849, maxDocs=42306)
                0.09375 = fieldNorm(doc=5265)
          0.0215745 = weight(abstract_txt:that in 5265) [ClassicSimilarity], result of:
            0.0215745 = score(doc=5265,freq=2.0), product of:
              0.06766521 = queryWeight, product of:
                1.6163415 = boost
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.017407779 = queryNorm
              0.31884181 = fieldWeight in 5265, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.09375 = fieldNorm(doc=5265)
          0.07759821 = weight(abstract_txt:first in 5265) [ClassicSimilarity], result of:
            0.07759821 = score(doc=5265,freq=2.0), product of:
              0.13876364 = queryWeight, product of:
                1.8899164 = boost
                4.2178364 = idf(docFreq=1693, maxDocs=42306)
                0.017407779 = queryNorm
              0.5592114 = fieldWeight in 5265, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.2178364 = idf(docFreq=1693, maxDocs=42306)
                0.09375 = fieldNorm(doc=5265)
          0.06047533 = weight(abstract_txt:knowledge in 5265) [ClassicSimilarity], result of:
            0.06047533 = score(doc=5265,freq=2.0), product of:
              0.12658922 = queryWeight, product of:
                2.0181718 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.017407779 = queryNorm
              0.4777289 = fieldWeight in 5265, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.09375 = fieldNorm(doc=5265)
          0.21731195 = weight(abstract_txt:serve in 5265) [ClassicSimilarity], result of:
            0.21731195 = score(doc=5265,freq=1.0), product of:
              0.3976223 = queryWeight, product of:
                3.9181921 = boost
                5.8296385 = idf(docFreq=337, maxDocs=42306)
                0.017407779 = queryNorm
              0.5465286 = fieldWeight in 5265, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8296385 = idf(docFreq=337, maxDocs=42306)
                0.09375 = fieldNorm(doc=5265)
        0.24 = coord(6/25)
    
  2. Murphy, M.L.: Semantic relations and the lexicon : antonymy, synonymy and other paradigms (2008) 0.11
    0.10507396 = sum of:
      0.10507396 = product of:
        0.43780816 = sum of:
          0.037417643 = weight(abstract_txt:representation in 2998) [ClassicSimilarity], result of:
            0.037417643 = score(doc=2998,freq=1.0), product of:
              0.096356206 = queryWeight, product of:
                1.113601 = boost
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.017407779 = queryNorm
              0.38832623 = fieldWeight in 2998, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.078125 = fieldNorm(doc=2998)
          0.07222485 = weight(abstract_txt:philosophy in 2998) [ClassicSimilarity], result of:
            0.07222485 = score(doc=2998,freq=1.0), product of:
              0.14937794 = queryWeight, product of:
                1.386542 = boost
                6.1888523 = idf(docFreq=235, maxDocs=42306)
                0.017407779 = queryNorm
              0.4835041 = fieldWeight in 2998, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1888523 = idf(docFreq=235, maxDocs=42306)
                0.078125 = fieldNorm(doc=2998)
          0.02201938 = weight(abstract_txt:that in 2998) [ClassicSimilarity], result of:
            0.02201938 = score(doc=2998,freq=3.0), product of:
              0.06766521 = queryWeight, product of:
                1.6163415 = boost
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.017407779 = queryNorm
              0.32541656 = fieldWeight in 2998, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.078125 = fieldNorm(doc=2998)
          0.07465687 = weight(abstract_txt:account in 2998) [ClassicSimilarity], result of:
            0.07465687 = score(doc=2998,freq=1.0), product of:
              0.17481244 = queryWeight, product of:
                1.8370523 = boost
                5.4664755 = idf(docFreq=485, maxDocs=42306)
                0.017407779 = queryNorm
              0.4270684 = fieldWeight in 2998, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.4664755 = idf(docFreq=485, maxDocs=42306)
                0.078125 = fieldNorm(doc=2998)
          0.05039611 = weight(abstract_txt:knowledge in 2998) [ClassicSimilarity], result of:
            0.05039611 = score(doc=2998,freq=2.0), product of:
              0.12658922 = queryWeight, product of:
                2.0181718 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.017407779 = queryNorm
              0.39810744 = fieldWeight in 2998, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.078125 = fieldNorm(doc=2998)
          0.1810933 = weight(abstract_txt:serve in 2998) [ClassicSimilarity], result of:
            0.1810933 = score(doc=2998,freq=1.0), product of:
              0.3976223 = queryWeight, product of:
                3.9181921 = boost
                5.8296385 = idf(docFreq=337, maxDocs=42306)
                0.017407779 = queryNorm
              0.45544052 = fieldWeight in 2998, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8296385 = idf(docFreq=337, maxDocs=42306)
                0.078125 = fieldNorm(doc=2998)
        0.24 = coord(6/25)
    
  3. 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.08995895 = sum of:
      0.08995895 = product of:
        0.37482896 = sum of:
          0.046929747 = weight(abstract_txt:should in 95) [ClassicSimilarity], result of:
            0.046929747 = score(doc=95,freq=3.0), product of:
              0.0776999 = queryWeight, product of:
                4.463516 = idf(docFreq=1324, maxDocs=42306)
                0.017407779 = queryNorm
              0.6039872 = fieldWeight in 95, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.463516 = idf(docFreq=1324, maxDocs=42306)
                0.078125 = fieldNorm(doc=95)
          0.037417643 = weight(abstract_txt:representation in 95) [ClassicSimilarity], result of:
            0.037417643 = score(doc=95,freq=1.0), product of:
              0.096356206 = queryWeight, product of:
                1.113601 = boost
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.017407779 = queryNorm
              0.38832623 = fieldWeight in 95, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.078125 = fieldNorm(doc=95)
          0.04627925 = weight(abstract_txt:simple in 95) [ClassicSimilarity], result of:
            0.04627925 = score(doc=95,freq=1.0), product of:
              0.1110247 = queryWeight, product of:
                1.1953623 = boost
                5.3355193 = idf(docFreq=553, maxDocs=42306)
                0.017407779 = queryNorm
              0.41683745 = fieldWeight in 95, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.3355193 = idf(docFreq=553, maxDocs=42306)
                0.078125 = fieldNorm(doc=95)
          0.012712895 = weight(abstract_txt:that in 95) [ClassicSimilarity], result of:
            0.012712895 = score(doc=95,freq=1.0), product of:
              0.06766521 = queryWeight, product of:
                1.6163415 = boost
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.017407779 = queryNorm
              0.18787934 = fieldWeight in 95, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.078125 = fieldNorm(doc=95)
          0.05039611 = weight(abstract_txt:knowledge in 95) [ClassicSimilarity], result of:
            0.05039611 = score(doc=95,freq=2.0), product of:
              0.12658922 = queryWeight, product of:
                2.0181718 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.017407779 = queryNorm
              0.39810744 = fieldWeight in 95, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.078125 = fieldNorm(doc=95)
          0.1810933 = weight(abstract_txt:serve in 95) [ClassicSimilarity], result of:
            0.1810933 = score(doc=95,freq=1.0), product of:
              0.3976223 = queryWeight, product of:
                3.9181921 = boost
                5.8296385 = idf(docFreq=337, maxDocs=42306)
                0.017407779 = queryNorm
              0.45544052 = fieldWeight in 95, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8296385 = idf(docFreq=337, maxDocs=42306)
                0.078125 = fieldNorm(doc=95)
        0.24 = coord(6/25)
    
  4. Paulos, J.A.: I think, therefore I laugh (1985) 0.08
    0.08445899 = sum of:
      0.08445899 = product of:
        0.35191247 = sum of:
          0.08217063 = weight(abstract_txt:told in 747) [ClassicSimilarity], result of:
            0.08217063 = score(doc=747,freq=1.0), product of:
              0.16389452 = queryWeight, product of:
                1.0269681 = boost
                9.167778 = idf(docFreq=11, maxDocs=42306)
                0.017407779 = queryNorm
              0.50136286 = fieldWeight in 747, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.167778 = idf(docFreq=11, maxDocs=42306)
                0.0546875 = fieldNorm(doc=747)
          0.087171204 = weight(abstract_txt:miles in 747) [ClassicSimilarity], result of:
            0.087171204 = score(doc=747,freq=1.0), product of:
              0.17047815 = queryWeight, product of:
                1.0473917 = boost
                9.3501 = idf(docFreq=9, maxDocs=42306)
                0.017407779 = queryNorm
              0.5113336 = fieldWeight in 747, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.3501 = idf(docFreq=9, maxDocs=42306)
                0.0546875 = fieldNorm(doc=747)
          0.08756797 = weight(abstract_txt:philosophy in 747) [ClassicSimilarity], result of:
            0.08756797 = score(doc=747,freq=3.0), product of:
              0.14937794 = queryWeight, product of:
                1.386542 = boost
                6.1888523 = idf(docFreq=235, maxDocs=42306)
                0.017407779 = queryNorm
              0.5862175 = fieldWeight in 747, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.1888523 = idf(docFreq=235, maxDocs=42306)
                0.0546875 = fieldNorm(doc=747)
          0.017798053 = weight(abstract_txt:that in 747) [ClassicSimilarity], result of:
            0.017798053 = score(doc=747,freq=4.0), product of:
              0.06766521 = queryWeight, product of:
                1.6163415 = boost
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.017407779 = queryNorm
              0.26303107 = fieldWeight in 747, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.0546875 = fieldNorm(doc=747)
          0.052259807 = weight(abstract_txt:account in 747) [ClassicSimilarity], result of:
            0.052259807 = score(doc=747,freq=1.0), product of:
              0.17481244 = queryWeight, product of:
                1.8370523 = boost
                5.4664755 = idf(docFreq=485, maxDocs=42306)
                0.017407779 = queryNorm
              0.29894787 = fieldWeight in 747, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.4664755 = idf(docFreq=485, maxDocs=42306)
                0.0546875 = fieldNorm(doc=747)
          0.024944803 = weight(abstract_txt:knowledge in 747) [ClassicSimilarity], result of:
            0.024944803 = score(doc=747,freq=1.0), product of:
              0.12658922 = queryWeight, product of:
                2.0181718 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.017407779 = queryNorm
              0.19705313 = fieldWeight in 747, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.0546875 = fieldNorm(doc=747)
        0.24 = coord(6/25)
    
  5. Hjoerland, B.; Hartel, J.: Introduction to a Special Issue of Knowledge Organization (2003) 0.08
    0.08376717 = sum of:
      0.08376717 = product of:
        0.29916847 = sum of:
          0.009483216 = weight(abstract_txt:should in 4014) [ClassicSimilarity], result of:
            0.009483216 = score(doc=4014,freq=1.0), product of:
              0.0776999 = queryWeight, product of:
                4.463516 = idf(docFreq=1324, maxDocs=42306)
                0.017407779 = queryNorm
              0.12204927 = fieldWeight in 4014, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.463516 = idf(docFreq=1324, maxDocs=42306)
                0.02734375 = fieldNorm(doc=4014)
          0.02268324 = weight(abstract_txt:representation in 4014) [ClassicSimilarity], result of:
            0.02268324 = score(doc=4014,freq=3.0), product of:
              0.096356206 = queryWeight, product of:
                1.113601 = boost
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.017407779 = queryNorm
              0.23541027 = fieldWeight in 4014, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.970576 = idf(docFreq=797, maxDocs=42306)
                0.02734375 = fieldNorm(doc=4014)
          0.016042948 = weight(abstract_txt:that in 4014) [ClassicSimilarity], result of:
            0.016042948 = score(doc=4014,freq=13.0), product of:
              0.06766521 = queryWeight, product of:
                1.6163415 = boost
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.017407779 = queryNorm
              0.237093 = fieldWeight in 4014, product of:
                3.6055512 = tf(freq=13.0), with freq of:
                  13.0 = termFreq=13.0
                2.4048555 = idf(docFreq=10381, maxDocs=42306)
                0.02734375 = fieldNorm(doc=4014)
          0.027719416 = weight(abstract_txt:first in 4014) [ClassicSimilarity], result of:
            0.027719416 = score(doc=4014,freq=3.0), product of:
              0.13876364 = queryWeight, product of:
                1.8899164 = boost
                4.2178364 = idf(docFreq=1693, maxDocs=42306)
                0.017407779 = queryNorm
              0.19975995 = fieldWeight in 4014, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.2178364 = idf(docFreq=1693, maxDocs=42306)
                0.02734375 = fieldNorm(doc=4014)
          0.046667453 = weight(abstract_txt:knowledge in 4014) [ClassicSimilarity], result of:
            0.046667453 = score(doc=4014,freq=14.0), product of:
              0.12658922 = queryWeight, product of:
                2.0181718 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.017407779 = queryNorm
              0.36865264 = fieldWeight in 4014, product of:
                3.7416575 = tf(freq=14.0), with freq of:
                  14.0 = termFreq=14.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.02734375 = fieldNorm(doc=4014)
          0.11318953 = weight(abstract_txt:tennis in 4014) [ClassicSimilarity], result of:
            0.11318953 = score(doc=4014,freq=2.0), product of:
              0.3220902 = queryWeight, product of:
                2.0360036 = boost
                9.087735 = idf(docFreq=12, maxDocs=42306)
                0.017407779 = queryNorm
              0.35142183 = fieldWeight in 4014, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                9.087735 = idf(docFreq=12, maxDocs=42306)
                0.02734375 = fieldNorm(doc=4014)
          0.063382655 = weight(abstract_txt:serve in 4014) [ClassicSimilarity], result of:
            0.063382655 = score(doc=4014,freq=1.0), product of:
              0.3976223 = queryWeight, product of:
                3.9181921 = boost
                5.8296385 = idf(docFreq=337, maxDocs=42306)
                0.017407779 = queryNorm
              0.15940417 = fieldWeight in 4014, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8296385 = idf(docFreq=337, maxDocs=42306)
                0.02734375 = fieldNorm(doc=4014)
        0.28 = coord(7/25)