Document (#40403)

Author

Andreas, H.

Title

On frames and theory-elements of structuralism

Source

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

Imprint

London : Pickering & Chatto

Year

2014

Pages

S.121-129

Series

History and philosophy of technoscience; 3

Abstract

There are quite a few success stories illustrating philosophy's relevance to information science. One can cite, for example, Leibniz's work on a characteristica universalis and a corresponding calculus ratiocinator through which he aspired to reduce reasoning to calculating. It goes without saying that formal logic initiated research on decidability and computational complexity. But even beyond the realm of formal logic, philosophy has served as a source of inspiration for developments in information and computer science. At the end of the twentieth century, formal ontology emerged from a quest for a semantic foundation of information systems having a higher reusability than systems being available at the time. A success story that is less well documented is the advent of frame systems in computer science. Minsky is credited with having laid out the foundational ideas of such systems. There, the logic programming approach to knowledge representation is criticized by arguing that one should be more careful about the way human beings recognize objects and situations. Notably, the paper draws heavily on the writings of Kuhn and the Gestalt-theorists. It is not our intent, however, to document the traces of the frame idea in the works of philosophers. What follows is, rather, an exposition of a methodology for representing scientific knowledge that is essentially frame-like. This methodology is labelled as structuralist theory of science or, in short, as structuralism. The frame-like character of its basic meta-theoretical concepts makes structuralism likely to be useful in knowledge representation.

Theme

Wissensrepräsentation

Similar documents (content)

1. Radford, G.P.; Radford, M.L.: Structuralism, post-structuralism, and the library : de Saussure and Foucault (2005) 0.23

   0.22589701 = sum of:
     0.22589701 = product of:
       1.4118564 = sum of:
         0.037135232 = weight(abstract_txt:methodology in 4411) [ClassicSimilarity], result of:
           0.037135232 = score(doc=4411,freq=1.0), product of:
             0.08655394 = queryWeight, product of:
               1.1077086 = boost
               4.5764427 = idf(docFreq=1236, maxDocs=44218)
               0.017073922 = queryNorm
             0.4290415 = fieldWeight in 4411, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5764427 = idf(docFreq=1236, maxDocs=44218)
               0.09375 = fieldNorm(doc=4411)
         0.010308335 = weight(abstract_txt:that in 4411) [ClassicSimilarity], result of:
           0.010308335 = score(doc=4411,freq=1.0), product of:
             0.046405032 = queryWeight, product of:
               1.1470429 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017073922 = queryNorm
             0.22213829 = fieldWeight in 4411, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.09375 = fieldNorm(doc=4411)
         0.04459662 = weight(abstract_txt:science in 4411) [ClassicSimilarity], result of:
           0.04459662 = score(doc=4411,freq=1.0), product of:
             0.12320851 = queryWeight, product of:
               1.869035 = boost
               3.8609126 = idf(docFreq=2529, maxDocs=44218)
               0.017073922 = queryNorm
             0.36196056 = fieldWeight in 4411, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.8609126 = idf(docFreq=2529, maxDocs=44218)
               0.09375 = fieldNorm(doc=4411)
         1.3198162 = weight(abstract_txt:structuralism in 4411) [ClassicSimilarity], result of:
           1.3198162 = score(doc=4411,freq=6.0), product of:
             0.5894112 = queryWeight, product of:
               3.5402744 = boost
               9.7509775 = idf(docFreq=6, maxDocs=44218)
               0.017073922 = queryNorm
             2.2392113 = fieldWeight in 4411, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               9.7509775 = idf(docFreq=6, maxDocs=44218)
               0.09375 = fieldNorm(doc=4411)
       0.16 = coord(4/25)
   

2. Mainzer, K.: ¬The emergence of self-conscious systems : from symbolic AI to embodied robotics (2014) 0.21

   0.20695002 = sum of:
     0.20695002 = product of:
       0.57486117 = sum of:
         0.036014955 = weight(abstract_txt:computer in 3398) [ClassicSimilarity], result of:
           0.036014955 = score(doc=3398,freq=3.0), product of:
             0.077049844 = queryWeight, product of:
               1.0451244 = boost
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.017073922 = queryNorm
             0.46742412 = fieldWeight in 3398, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.024106925 = weight(abstract_txt:theory in 3398) [ClassicSimilarity], result of:
           0.024106925 = score(doc=3398,freq=1.0), product of:
             0.08503247 = queryWeight, product of:
               1.0979296 = boost
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.017073922 = queryNorm
             0.28350258 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.006872223 = weight(abstract_txt:that in 3398) [ClassicSimilarity], result of:
           0.006872223 = score(doc=3398,freq=1.0), product of:
             0.046405032 = queryWeight, product of:
               1.1470429 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017073922 = queryNorm
             0.1480922 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.15657423 = weight(abstract_txt:universalis in 3398) [ClassicSimilarity], result of:
           0.15657423 = score(doc=3398,freq=2.0), product of:
             0.1864735 = queryWeight, product of:
               1.1496766 = boost
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.017073922 = queryNorm
             0.83965945 = fieldWeight in 3398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.06175184 = weight(abstract_txt:representation in 3398) [ClassicSimilarity], result of:
           0.06175184 = score(doc=3398,freq=4.0), product of:
             0.1002852 = queryWeight, product of:
               1.1923411 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.017073922 = queryNorm
             0.61576223 = fieldWeight in 3398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.03474883 = weight(abstract_txt:knowledge in 3398) [ClassicSimilarity], result of:
           0.03474883 = score(doc=3398,freq=4.0), product of:
             0.07824576 = queryWeight, product of:
               1.2899061 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017073922 = queryNorm
             0.4440986 = fieldWeight in 3398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.02973108 = weight(abstract_txt:science in 3398) [ClassicSimilarity], result of:
           0.02973108 = score(doc=3398,freq=1.0), product of:
             0.12320851 = queryWeight, product of:
               1.869035 = boost
               3.8609126 = idf(docFreq=2529, maxDocs=44218)
               0.017073922 = queryNorm
             0.24130704 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.8609126 = idf(docFreq=2529, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.092105344 = weight(abstract_txt:formal in 3398) [ClassicSimilarity], result of:
           0.092105344 = score(doc=3398,freq=2.0), product of:
             0.18881387 = queryWeight, product of:
               2.003755 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.017073922 = queryNorm
             0.48781028 = fieldWeight in 3398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.13295582 = weight(abstract_txt:logic in 3398) [ClassicSimilarity], result of:
           0.13295582 = score(doc=3398,freq=2.0), product of:
             0.24116571 = queryWeight, product of:
               2.2645688 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.017073922 = queryNorm
             0.5513048 = fieldWeight in 3398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
       0.36 = coord(9/25)
   

3. Miller, R.: Three problems in logic-based knowledge representation (2006) 0.20

   0.20376071 = sum of:
     0.20376071 = product of:
       0.63675225 = sum of:
         0.12245721 = weight(abstract_txt:calculus in 660) [ClassicSimilarity], result of:
           0.12245721 = score(doc=660,freq=2.0), product of:
             0.15829231 = queryWeight, product of:
               1.0592464 = boost
               8.752448 = idf(docFreq=18, maxDocs=44218)
               0.017073922 = queryNorm
             0.7736144 = fieldWeight in 660, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.752448 = idf(docFreq=18, maxDocs=44218)
               0.0625 = fieldNorm(doc=660)
         0.02475682 = weight(abstract_txt:methodology in 660) [ClassicSimilarity], result of:
           0.02475682 = score(doc=660,freq=1.0), product of:
             0.08655394 = queryWeight, product of:
               1.1077086 = boost
               4.5764427 = idf(docFreq=1236, maxDocs=44218)
               0.017073922 = queryNorm
             0.28602767 = fieldWeight in 660, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5764427 = idf(docFreq=1236, maxDocs=44218)
               0.0625 = fieldNorm(doc=660)
         0.006872223 = weight(abstract_txt:that in 660) [ClassicSimilarity], result of:
           0.006872223 = score(doc=660,freq=1.0), product of:
             0.046405032 = queryWeight, product of:
               1.1470429 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017073922 = queryNorm
             0.1480922 = fieldWeight in 660, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0625 = fieldNorm(doc=660)
         0.03087592 = weight(abstract_txt:representation in 660) [ClassicSimilarity], result of:
           0.03087592 = score(doc=660,freq=1.0), product of:
             0.1002852 = queryWeight, product of:
               1.1923411 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.017073922 = queryNorm
             0.30788112 = fieldWeight in 660, 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=660)
         0.024571136 = weight(abstract_txt:knowledge in 660) [ClassicSimilarity], result of:
           0.024571136 = score(doc=660,freq=2.0), product of:
             0.07824576 = queryWeight, product of:
               1.2899061 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017073922 = queryNorm
             0.31402513 = fieldWeight in 660, 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=660)
         0.092105344 = weight(abstract_txt:formal in 660) [ClassicSimilarity], result of:
           0.092105344 = score(doc=660,freq=2.0), product of:
             0.18881387 = queryWeight, product of:
               2.003755 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.017073922 = queryNorm
             0.48781028 = fieldWeight in 660, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.0625 = fieldNorm(doc=660)
         0.16283695 = weight(abstract_txt:logic in 660) [ClassicSimilarity], result of:
           0.16283695 = score(doc=660,freq=3.0), product of:
             0.24116571 = queryWeight, product of:
               2.2645688 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.017073922 = queryNorm
             0.67520773 = fieldWeight in 660, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=660)
         0.1722766 = weight(abstract_txt:frame in 660) [ClassicSimilarity], result of:
           0.1722766 = score(doc=660,freq=1.0), product of:
             0.39748228 = queryWeight, product of:
               3.3570359 = boost
               6.9347134 = idf(docFreq=116, maxDocs=44218)
               0.017073922 = queryNorm
             0.4334196 = fieldWeight in 660, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9347134 = idf(docFreq=116, maxDocs=44218)
               0.0625 = fieldNorm(doc=660)
       0.32 = coord(8/25)
   

4. Huth, M.: Symbolic and sub-symbolic knowledge organization in the Computational Theory of Mind (1995) 0.19

   0.19064966 = sum of:
     0.19064966 = product of:
       0.5295824 = sum of:
         0.08659033 = weight(abstract_txt:calculus in 1086) [ClassicSimilarity], result of:
           0.08659033 = score(doc=1086,freq=1.0), product of:
             0.15829231 = queryWeight, product of:
               1.0592464 = boost
               8.752448 = idf(docFreq=18, maxDocs=44218)
               0.017073922 = queryNorm
             0.547028 = fieldWeight in 1086, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.752448 = idf(docFreq=18, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
         0.053904723 = weight(abstract_txt:theory in 1086) [ClassicSimilarity], result of:
           0.053904723 = score(doc=1086,freq=5.0), product of:
             0.08503247 = queryWeight, product of:
               1.0979296 = boost
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.017073922 = queryNorm
             0.63393104 = fieldWeight in 1086, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
         0.02475682 = weight(abstract_txt:methodology in 1086) [ClassicSimilarity], result of:
           0.02475682 = score(doc=1086,freq=1.0), product of:
             0.08655394 = queryWeight, product of:
               1.1077086 = boost
               4.5764427 = idf(docFreq=1236, maxDocs=44218)
               0.017073922 = queryNorm
             0.28602767 = fieldWeight in 1086, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5764427 = idf(docFreq=1236, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
         0.006872223 = weight(abstract_txt:that in 1086) [ClassicSimilarity], result of:
           0.006872223 = score(doc=1086,freq=1.0), product of:
             0.046405032 = queryWeight, product of:
               1.1470429 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017073922 = queryNorm
             0.1480922 = fieldWeight in 1086, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
         0.11071471 = weight(abstract_txt:universalis in 1086) [ClassicSimilarity], result of:
           0.11071471 = score(doc=1086,freq=1.0), product of:
             0.1864735 = queryWeight, product of:
               1.1496766 = boost
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.017073922 = queryNorm
             0.5937289 = fieldWeight in 1086, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
         0.036575224 = weight(abstract_txt:like in 1086) [ClassicSimilarity], result of:
           0.036575224 = score(doc=1086,freq=1.0), product of:
             0.11227461 = queryWeight, product of:
               1.2616035 = boost
               5.212252 = idf(docFreq=654, maxDocs=44218)
               0.017073922 = queryNorm
             0.32576576 = fieldWeight in 1086, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.212252 = idf(docFreq=654, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
         0.017374415 = weight(abstract_txt:knowledge in 1086) [ClassicSimilarity], result of:
           0.017374415 = score(doc=1086,freq=1.0), product of:
             0.07824576 = queryWeight, product of:
               1.2899061 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017073922 = queryNorm
             0.2220493 = fieldWeight in 1086, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
         0.020517357 = weight(abstract_txt:systems in 1086) [ClassicSimilarity], result of:
           0.020517357 = score(doc=1086,freq=1.0), product of:
             0.09621612 = queryWeight, product of:
               1.6516614 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.017073922 = queryNorm
             0.2132424 = fieldWeight in 1086, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
         0.1722766 = weight(abstract_txt:frame in 1086) [ClassicSimilarity], result of:
           0.1722766 = score(doc=1086,freq=1.0), product of:
             0.39748228 = queryWeight, product of:
               3.3570359 = boost
               6.9347134 = idf(docFreq=116, maxDocs=44218)
               0.017073922 = queryNorm
             0.4334196 = fieldWeight in 1086, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9347134 = idf(docFreq=116, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
       0.36 = coord(9/25)
   

5. Jaenecke, P.: Elementary principles for representing knowledge (1996) 0.17

   0.1681364 = sum of:
     0.1681364 = product of:
       0.52542627 = sum of:
         0.024106925 = weight(abstract_txt:theory in 4444) [ClassicSimilarity], result of:
           0.024106925 = score(doc=4444,freq=1.0), product of:
             0.08503247 = queryWeight, product of:
               1.0979296 = boost
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.017073922 = queryNorm
             0.28350258 = fieldWeight in 4444, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.0625 = fieldNorm(doc=4444)
         0.011903039 = weight(abstract_txt:that in 4444) [ClassicSimilarity], result of:
           0.011903039 = score(doc=4444,freq=3.0), product of:
             0.046405032 = queryWeight, product of:
               1.1470429 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017073922 = queryNorm
             0.2565032 = fieldWeight in 4444, 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=4444)
         0.15657423 = weight(abstract_txt:universalis in 4444) [ClassicSimilarity], result of:
           0.15657423 = score(doc=4444,freq=2.0), product of:
             0.1864735 = queryWeight, product of:
               1.1496766 = boost
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.017073922 = queryNorm
             0.83965945 = fieldWeight in 4444, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.0625 = fieldNorm(doc=4444)
         0.05347866 = weight(abstract_txt:representation in 4444) [ClassicSimilarity], result of:
           0.05347866 = score(doc=4444,freq=3.0), product of:
             0.1002852 = queryWeight, product of:
               1.1923411 = boost
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.017073922 = queryNorm
             0.5332657 = fieldWeight in 4444, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.926098 = idf(docFreq=871, maxDocs=44218)
               0.0625 = fieldNorm(doc=4444)
         0.024571136 = weight(abstract_txt:knowledge in 4444) [ClassicSimilarity], result of:
           0.024571136 = score(doc=4444,freq=2.0), product of:
             0.07824576 = queryWeight, product of:
               1.2899061 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.017073922 = queryNorm
             0.31402513 = fieldWeight in 4444, 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=4444)
         0.02973108 = weight(abstract_txt:science in 4444) [ClassicSimilarity], result of:
           0.02973108 = score(doc=4444,freq=1.0), product of:
             0.12320851 = queryWeight, product of:
               1.869035 = boost
               3.8609126 = idf(docFreq=2529, maxDocs=44218)
               0.017073922 = queryNorm
             0.24130704 = fieldWeight in 4444, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.8609126 = idf(docFreq=2529, maxDocs=44218)
               0.0625 = fieldNorm(doc=4444)
         0.092105344 = weight(abstract_txt:formal in 4444) [ClassicSimilarity], result of:
           0.092105344 = score(doc=4444,freq=2.0), product of:
             0.18881387 = queryWeight, product of:
               2.003755 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.017073922 = queryNorm
             0.48781028 = fieldWeight in 4444, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.0625 = fieldNorm(doc=4444)
         0.13295582 = weight(abstract_txt:logic in 4444) [ClassicSimilarity], result of:
           0.13295582 = score(doc=4444,freq=2.0), product of:
             0.24116571 = queryWeight, product of:
               2.2645688 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.017073922 = queryNorm
             0.5513048 = fieldWeight in 4444, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.0625 = fieldNorm(doc=4444)
       0.32 = coord(8/25)