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.22606938 = sum of:
     0.22606938 = product of:
       1.4129336 = sum of:
         0.03711947 = weight(abstract_txt:methodology in 5411) [ClassicSimilarity], result of:
           0.03711947 = score(doc=5411,freq=1.0), product of:
             0.08652208 = queryWeight, product of:
               1.1070324 = boost
               4.5761847 = idf(docFreq=1242, maxDocs=44421)
               0.017079026 = queryNorm
             0.4290173 = fieldWeight in 5411, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5761847 = idf(docFreq=1242, maxDocs=44421)
               0.09375 = fieldNorm(doc=5411)
         0.010246579 = weight(abstract_txt:that in 5411) [ClassicSimilarity], result of:
           0.010246579 = score(doc=5411,freq=1.0), product of:
             0.046215575 = queryWeight, product of:
               1.1442108 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.017079026 = queryNorm
             0.22171268 = fieldWeight in 5411, 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=5411)
         0.04422841 = weight(abstract_txt:science in 5411) [ClassicSimilarity], result of:
           0.04422841 = score(doc=5411,freq=1.0), product of:
             0.122518964 = queryWeight, product of:
               1.8630028 = boost
               3.850585 = idf(docFreq=2567, maxDocs=44421)
               0.017079026 = queryNorm
             0.36099234 = fieldWeight in 5411, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.850585 = idf(docFreq=2567, maxDocs=44421)
               0.09375 = fieldNorm(doc=5411)
         1.3213391 = weight(abstract_txt:structuralism in 5411) [ClassicSimilarity], result of:
           1.3213391 = score(doc=5411,freq=6.0), product of:
             0.5898143 = queryWeight, product of:
               3.5399745 = boost
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.017079026 = queryNorm
             2.240263 = fieldWeight in 5411, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.09375 = fieldNorm(doc=5411)
       0.16 = coord(4/25)
   

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

   0.20682517 = sum of:
     0.20682517 = product of:
       0.5745143 = sum of:
         0.03599573 = weight(abstract_txt:computer in 4398) [ClassicSimilarity], result of:
           0.03599573 = score(doc=4398,freq=3.0), product of:
             0.07701586 = queryWeight, product of:
               1.0444483 = boost
               4.317478 = idf(docFreq=1609, maxDocs=44421)
               0.017079026 = queryNorm
             0.4673807 = fieldWeight in 4398, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.317478 = idf(docFreq=1609, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.024001595 = weight(abstract_txt:theory in 4398) [ClassicSimilarity], result of:
           0.024001595 = score(doc=4398,freq=1.0), product of:
             0.084777385 = queryWeight, product of:
               1.0958141 = boost
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.017079026 = queryNorm
             0.28311318 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.0068310522 = weight(abstract_txt:that in 4398) [ClassicSimilarity], result of:
           0.0068310522 = score(doc=4398,freq=1.0), product of:
             0.046215575 = queryWeight, product of:
               1.1442108 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.017079026 = queryNorm
             0.14780845 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.1567608 = weight(abstract_txt:universalis in 4398) [ClassicSimilarity], result of:
           0.1567608 = score(doc=4398,freq=2.0), product of:
             0.18660572 = queryWeight, product of:
               1.1495936 = boost
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.017079026 = queryNorm
             0.8400643 = fieldWeight in 4398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.061736215 = weight(abstract_txt:representation in 4398) [ClassicSimilarity], result of:
           0.061736215 = score(doc=4398,freq=4.0), product of:
             0.10025975 = queryWeight, product of:
               1.1916814 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.017079026 = queryNorm
             0.6157627 = fieldWeight in 4398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.03455267 = weight(abstract_txt:knowledge in 4398) [ClassicSimilarity], result of:
           0.03455267 = score(doc=4398,freq=4.0), product of:
             0.077944376 = queryWeight, product of:
               1.2868706 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.017079026 = queryNorm
             0.44329908 = fieldWeight in 4398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.029485606 = weight(abstract_txt:science in 4398) [ClassicSimilarity], result of:
           0.029485606 = score(doc=4398,freq=1.0), product of:
             0.122518964 = queryWeight, product of:
               1.8630028 = boost
               3.850585 = idf(docFreq=2567, maxDocs=44421)
               0.017079026 = queryNorm
             0.24066156 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.850585 = idf(docFreq=2567, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.09220742 = weight(abstract_txt:formal in 4398) [ClassicSimilarity], result of:
           0.09220742 = score(doc=4398,freq=2.0), product of:
             0.18893726 = queryWeight, product of:
               2.003555 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.017079026 = queryNorm
             0.48803192 = fieldWeight in 4398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.13294321 = weight(abstract_txt:logic in 4398) [ClassicSimilarity], result of:
           0.13294321 = score(doc=4398,freq=2.0), product of:
             0.24112993 = queryWeight, product of:
               2.2634351 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.017079026 = queryNorm
             0.5513343 = fieldWeight in 4398, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
       0.36 = coord(9/25)
   

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

   0.2036688 = sum of:
     0.2036688 = product of:
       0.636465 = sum of:
         0.12261828 = weight(abstract_txt:calculus in 785) [ClassicSimilarity], result of:
           0.12261828 = score(doc=785,freq=2.0), product of:
             0.1584176 = queryWeight, product of:
               1.0592136 = boost
               8.757029 = idf(docFreq=18, maxDocs=44421)
               0.017079026 = queryNorm
             0.7740193 = fieldWeight in 785, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.757029 = idf(docFreq=18, maxDocs=44421)
               0.0625 = fieldNorm(doc=785)
         0.024746314 = weight(abstract_txt:methodology in 785) [ClassicSimilarity], result of:
           0.024746314 = score(doc=785,freq=1.0), product of:
             0.08652208 = queryWeight, product of:
               1.1070324 = boost
               4.5761847 = idf(docFreq=1242, maxDocs=44421)
               0.017079026 = queryNorm
             0.28601155 = fieldWeight in 785, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5761847 = idf(docFreq=1242, maxDocs=44421)
               0.0625 = fieldNorm(doc=785)
         0.0068310522 = weight(abstract_txt:that in 785) [ClassicSimilarity], result of:
           0.0068310522 = score(doc=785,freq=1.0), product of:
             0.046215575 = queryWeight, product of:
               1.1442108 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.017079026 = queryNorm
             0.14780845 = fieldWeight in 785, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.0625 = fieldNorm(doc=785)
         0.030868107 = weight(abstract_txt:representation in 785) [ClassicSimilarity], result of:
           0.030868107 = score(doc=785,freq=1.0), product of:
             0.10025975 = queryWeight, product of:
               1.1916814 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.017079026 = queryNorm
             0.30788136 = fieldWeight in 785, 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=785)
         0.024432426 = weight(abstract_txt:knowledge in 785) [ClassicSimilarity], result of:
           0.024432426 = score(doc=785,freq=2.0), product of:
             0.077944376 = queryWeight, product of:
               1.2868706 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.017079026 = queryNorm
             0.31345978 = fieldWeight in 785, 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=785)
         0.09220742 = weight(abstract_txt:formal in 785) [ClassicSimilarity], result of:
           0.09220742 = score(doc=785,freq=2.0), product of:
             0.18893726 = queryWeight, product of:
               2.003555 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.017079026 = queryNorm
             0.48803192 = fieldWeight in 785, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.0625 = fieldNorm(doc=785)
         0.1628215 = weight(abstract_txt:logic in 785) [ClassicSimilarity], result of:
           0.1628215 = score(doc=785,freq=3.0), product of:
             0.24112993 = queryWeight, product of:
               2.2634351 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.017079026 = queryNorm
             0.67524385 = fieldWeight in 785, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0625 = fieldNorm(doc=785)
         0.17193994 = weight(abstract_txt:frame in 785) [ClassicSimilarity], result of:
           0.17193994 = score(doc=785,freq=1.0), product of:
             0.3969305 = queryWeight, product of:
               3.3532743 = boost
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.017079026 = queryNorm
             0.43317392 = fieldWeight in 785, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.0625 = fieldNorm(doc=785)
       0.32 = coord(8/25)
   

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

   0.19037719 = sum of:
     0.19037719 = product of:
       0.5288255 = sum of:
         0.08670422 = weight(abstract_txt:calculus in 1154) [ClassicSimilarity], result of:
           0.08670422 = score(doc=1154,freq=1.0), product of:
             0.1584176 = queryWeight, product of:
               1.0592136 = boost
               8.757029 = idf(docFreq=18, maxDocs=44421)
               0.017079026 = queryNorm
             0.5473143 = fieldWeight in 1154, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.757029 = idf(docFreq=18, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
         0.0536692 = weight(abstract_txt:theory in 1154) [ClassicSimilarity], result of:
           0.0536692 = score(doc=1154,freq=5.0), product of:
             0.084777385 = queryWeight, product of:
               1.0958141 = boost
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.017079026 = queryNorm
             0.63306034 = fieldWeight in 1154, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
         0.024746314 = weight(abstract_txt:methodology in 1154) [ClassicSimilarity], result of:
           0.024746314 = score(doc=1154,freq=1.0), product of:
             0.08652208 = queryWeight, product of:
               1.1070324 = boost
               4.5761847 = idf(docFreq=1242, maxDocs=44421)
               0.017079026 = queryNorm
             0.28601155 = fieldWeight in 1154, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5761847 = idf(docFreq=1242, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
         0.0068310522 = weight(abstract_txt:that in 1154) [ClassicSimilarity], result of:
           0.0068310522 = score(doc=1154,freq=1.0), product of:
             0.046215575 = queryWeight, product of:
               1.1442108 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.017079026 = queryNorm
             0.14780845 = fieldWeight in 1154, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
         0.11084663 = weight(abstract_txt:universalis in 1154) [ClassicSimilarity], result of:
           0.11084663 = score(doc=1154,freq=1.0), product of:
             0.18660572 = queryWeight, product of:
               1.1495936 = boost
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.017079026 = queryNorm
             0.5940152 = fieldWeight in 1154, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
         0.036312368 = weight(abstract_txt:like in 1154) [ClassicSimilarity], result of:
           0.036312368 = score(doc=1154,freq=1.0), product of:
             0.11172654 = queryWeight, product of:
               1.2579837 = boost
               5.200178 = idf(docFreq=665, maxDocs=44421)
               0.017079026 = queryNorm
             0.32501113 = fieldWeight in 1154, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.200178 = idf(docFreq=665, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
         0.017276336 = weight(abstract_txt:knowledge in 1154) [ClassicSimilarity], result of:
           0.017276336 = score(doc=1154,freq=1.0), product of:
             0.077944376 = queryWeight, product of:
               1.2868706 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.017079026 = queryNorm
             0.22164954 = fieldWeight in 1154, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
         0.020499436 = weight(abstract_txt:systems in 1154) [ClassicSimilarity], result of:
           0.020499436 = score(doc=1154,freq=1.0), product of:
             0.0961519 = queryWeight, product of:
               1.650406 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.017079026 = queryNorm
             0.21319844 = fieldWeight in 1154, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
         0.17193994 = weight(abstract_txt:frame in 1154) [ClassicSimilarity], result of:
           0.17193994 = score(doc=1154,freq=1.0), product of:
             0.3969305 = queryWeight, product of:
               3.3532743 = boost
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.017079026 = queryNorm
             0.43317392 = fieldWeight in 1154, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.930783 = idf(docFreq=117, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
       0.36 = coord(9/25)
   

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

   0.16804092 = sum of:
     0.16804092 = product of:
       0.5251279 = sum of:
         0.024001595 = weight(abstract_txt:theory in 4512) [ClassicSimilarity], result of:
           0.024001595 = score(doc=4512,freq=1.0), product of:
             0.084777385 = queryWeight, product of:
               1.0958141 = boost
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.017079026 = queryNorm
             0.28311318 = fieldWeight in 4512, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.0625 = fieldNorm(doc=4512)
         0.011831729 = weight(abstract_txt:that in 4512) [ClassicSimilarity], result of:
           0.011831729 = score(doc=4512,freq=3.0), product of:
             0.046215575 = queryWeight, product of:
               1.1442108 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.017079026 = queryNorm
             0.25601172 = fieldWeight in 4512, 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=4512)
         0.1567608 = weight(abstract_txt:universalis in 4512) [ClassicSimilarity], result of:
           0.1567608 = score(doc=4512,freq=2.0), product of:
             0.18660572 = queryWeight, product of:
               1.1495936 = boost
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.017079026 = queryNorm
             0.8400643 = fieldWeight in 4512, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.0625 = fieldNorm(doc=4512)
         0.053465128 = weight(abstract_txt:representation in 4512) [ClassicSimilarity], result of:
           0.053465128 = score(doc=4512,freq=3.0), product of:
             0.10025975 = queryWeight, product of:
               1.1916814 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.017079026 = queryNorm
             0.5332661 = fieldWeight in 4512, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.0625 = fieldNorm(doc=4512)
         0.024432426 = weight(abstract_txt:knowledge in 4512) [ClassicSimilarity], result of:
           0.024432426 = score(doc=4512,freq=2.0), product of:
             0.077944376 = queryWeight, product of:
               1.2868706 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.017079026 = queryNorm
             0.31345978 = fieldWeight in 4512, 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=4512)
         0.029485606 = weight(abstract_txt:science in 4512) [ClassicSimilarity], result of:
           0.029485606 = score(doc=4512,freq=1.0), product of:
             0.122518964 = queryWeight, product of:
               1.8630028 = boost
               3.850585 = idf(docFreq=2567, maxDocs=44421)
               0.017079026 = queryNorm
             0.24066156 = fieldWeight in 4512, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.850585 = idf(docFreq=2567, maxDocs=44421)
               0.0625 = fieldNorm(doc=4512)
         0.09220742 = weight(abstract_txt:formal in 4512) [ClassicSimilarity], result of:
           0.09220742 = score(doc=4512,freq=2.0), product of:
             0.18893726 = queryWeight, product of:
               2.003555 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.017079026 = queryNorm
             0.48803192 = fieldWeight in 4512, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.0625 = fieldNorm(doc=4512)
         0.13294321 = weight(abstract_txt:logic in 4512) [ClassicSimilarity], result of:
           0.13294321 = score(doc=4512,freq=2.0), product of:
             0.24112993 = queryWeight, product of:
               2.2634351 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.017079026 = queryNorm
             0.5513343 = fieldWeight in 4512, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.0625 = fieldNorm(doc=4512)
       0.32 = coord(8/25)