Document (#13513)

Author

Jaenecke, P.

Title

Elementary principles for representing knowledge

Source

Knowledge organization. 23(1996) no.2, S.88-102

Year

1996

Abstract

The vast majority of publications in language theory and philosophy start with the language as the given and ask about their structures, about the meaning of their words and about the corret interpretation of texts. This paper approaches the language problem from just the opposite side: the given is here a certain content; what is sought for, is an appropriate artificial language to represent this content. To this end, 7 elementary representation principles are proposed. To illustrate the way they work, syntactic pattern recognition is introduced as a simple, but non-trivial ecxample for representing knowledge in formal language. Another central thema of the paper is Leibniz's characteristica universalis and the so-called Leibniz project. Leibniz's investigations in this field are reviewed against the backgroud of the tasks required in syntactic pattern recognition. It is demonstrated that Leibniz had, in fact, already worked with 6 of the 7 representation principles proposed, further, that his characteristica universalis is an early form of a formal language, and lastly, that, contrary to the prevailing view - the Leibniz project is not a matter of logic but rather one of knowledge representation, a field largely unexploited in today's logic-oriented epistemology and philosophy of science. It is precisely this one-sided orientation of these disciplines, which is responsible for the distorted picture of Leibniz's work found in the literature; some typical misunderstandings are finally discussed

Similar documents (author)

1. Jaenecke, P.: To what end knowledge organization? (1994) 5.62

   5.620886 = sum of:
     5.620886 = weight(author_txt:jaenecke in 6914) [ClassicSimilarity], result of:
       5.620886 = fieldWeight in 6914, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.993418 = idf(docFreq=14, maxDocs=44421)
         0.625 = fieldNorm(doc=6914)
   

2. Jaenecke, P.: Wozu Wissensorganisation? (1995) 5.62

   5.620886 = sum of:
     5.620886 = weight(author_txt:jaenecke in 1189) [ClassicSimilarity], result of:
       5.620886 = fieldWeight in 1189, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.993418 = idf(docFreq=14, maxDocs=44421)
         0.625 = fieldNorm(doc=1189)
   

3. Jaenecke, P.: Über den Ursprung von Intelligenz (1992) 5.62

   5.620886 = sum of:
     5.620886 = weight(author_txt:jaenecke in 1407) [ClassicSimilarity], result of:
       5.620886 = fieldWeight in 1407, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.993418 = idf(docFreq=14, maxDocs=44421)
         0.625 = fieldNorm(doc=1407)
   

4. Jaenecke, P.: Was ist ein neuronales Netz? (1992) 5.62

   5.620886 = sum of:
     5.620886 = weight(author_txt:jaenecke in 1412) [ClassicSimilarity], result of:
       5.620886 = fieldWeight in 1412, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.993418 = idf(docFreq=14, maxDocs=44421)
         0.625 = fieldNorm(doc=1412)
   

5. Jaenecke, J.: Neuigkeiten von der ISMN (1995) 5.62

   5.620886 = sum of:
     5.620886 = weight(author_txt:jaenecke in 1510) [ClassicSimilarity], result of:
       5.620886 = fieldWeight in 1510, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.993418 = idf(docFreq=14, maxDocs=44421)
         0.625 = fieldNorm(doc=1510)
   

Similar documents (content)

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

   0.5016096 = sum of:
     0.5016096 = product of:
       1.1400219 = sum of:
         0.038334772 = weight(abstract_txt:knowledge in 4398) [ClassicSimilarity], result of:
           0.038334772 = score(doc=4398,freq=4.0), product of:
             0.08647609 = queryWeight, product of:
               1.2600629 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.019351603 = 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.068200216 = weight(abstract_txt:formal in 4398) [ClassicSimilarity], result of:
           0.068200216 = score(doc=4398,freq=2.0), product of:
             0.1397454 = queryWeight, product of:
               1.3078784 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.019351603 = 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.05793397 = weight(abstract_txt:representing in 4398) [ClassicSimilarity], result of:
           0.05793397 = score(doc=4398,freq=1.0), product of:
             0.15792318 = queryWeight, product of:
               1.3903416 = boost
               5.869585 = idf(docFreq=340, maxDocs=44421)
               0.019351603 = queryNorm
             0.36684906 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.869585 = idf(docFreq=340, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.02580157 = weight(abstract_txt:about in 4398) [ClassicSimilarity], result of:
           0.02580157 = score(doc=4398,freq=1.0), product of:
             0.10542692 = queryWeight, product of:
               1.3912975 = boost
               3.9157467 = idf(docFreq=2405, maxDocs=44421)
               0.019351603 = queryNorm
             0.24473417 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9157467 = idf(docFreq=2405, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.06500722 = weight(abstract_txt:philosophy in 4398) [ClassicSimilarity], result of:
           0.06500722 = score(doc=4398,freq=1.0), product of:
             0.17052893 = queryWeight, product of:
               1.4447664 = boost
               6.099349 = idf(docFreq=270, maxDocs=44421)
               0.019351603 = queryNorm
             0.3812093 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.099349 = idf(docFreq=270, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.06548383 = weight(abstract_txt:recognition in 4398) [ClassicSimilarity], result of:
           0.06548383 = score(doc=4398,freq=1.0), product of:
             0.17136143 = queryWeight, product of:
               1.4482887 = boost
               6.114219 = idf(docFreq=266, maxDocs=44421)
               0.019351603 = queryNorm
             0.3821387 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.114219 = idf(docFreq=266, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.09833001 = weight(abstract_txt:logic in 4398) [ClassicSimilarity], result of:
           0.09833001 = score(doc=4398,freq=2.0), product of:
             0.17834917 = queryWeight, product of:
               1.4775226 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.019351603 = 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.10274069 = weight(abstract_txt:representation in 4398) [ClassicSimilarity], result of:
           0.10274069 = score(doc=4398,freq=4.0), product of:
             0.1668511 = queryWeight, product of:
               1.750285 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.019351603 = 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.3478393 = weight(abstract_txt:universalis in 4398) [ClassicSimilarity], result of:
           0.3478393 = score(doc=4398,freq=2.0), product of:
             0.4140627 = queryWeight, product of:
               2.251291 = boost
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.019351603 = 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.20798421 = weight(abstract_txt:leibniz in 4398) [ClassicSimilarity], result of:
           0.20798421 = score(doc=4398,freq=1.0), product of:
             0.4238456 = queryWeight, product of:
               2.7896392 = boost
               7.85132 = idf(docFreq=46, maxDocs=44421)
               0.019351603 = queryNorm
             0.4907075 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.85132 = idf(docFreq=46, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.062366165 = weight(abstract_txt:language in 4398) [ClassicSimilarity], result of:
           0.062366165 = score(doc=4398,freq=1.0), product of:
             0.23923798 = queryWeight, product of:
               2.9639733 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.019351603 = queryNorm
             0.26068673 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
       0.44 = coord(11/25)
   

2. Andreas, H.: On frames and theory-elements of structuralism (2014) 0.26

   0.25721473 = sum of:
     0.25721473 = product of:
       0.71448535 = sum of:
         0.033198886 = weight(abstract_txt:knowledge in 4402) [ClassicSimilarity], result of:
           0.033198886 = score(doc=4402,freq=3.0), product of:
             0.08647609 = queryWeight, product of:
               1.2600629 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.019351603 = queryNorm
             0.38390827 = fieldWeight in 4402, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=4402)
         0.08352786 = weight(abstract_txt:formal in 4402) [ClassicSimilarity], result of:
           0.08352786 = score(doc=4402,freq=3.0), product of:
             0.1397454 = queryWeight, product of:
               1.3078784 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.019351603 = queryNorm
             0.5977146 = fieldWeight in 4402, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.0625 = fieldNorm(doc=4402)
         0.05793397 = weight(abstract_txt:representing in 4402) [ClassicSimilarity], result of:
           0.05793397 = score(doc=4402,freq=1.0), product of:
             0.15792318 = queryWeight, product of:
               1.3903416 = boost
               5.869585 = idf(docFreq=340, maxDocs=44421)
               0.019351603 = queryNorm
             0.36684906 = fieldWeight in 4402, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.869585 = idf(docFreq=340, maxDocs=44421)
               0.0625 = fieldNorm(doc=4402)
         0.02580157 = weight(abstract_txt:about in 4402) [ClassicSimilarity], result of:
           0.02580157 = score(doc=4402,freq=1.0), product of:
             0.10542692 = queryWeight, product of:
               1.3912975 = boost
               3.9157467 = idf(docFreq=2405, maxDocs=44421)
               0.019351603 = queryNorm
             0.24473417 = fieldWeight in 4402, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9157467 = idf(docFreq=2405, maxDocs=44421)
               0.0625 = fieldNorm(doc=4402)
         0.0099784965 = weight(abstract_txt:this in 4402) [ClassicSimilarity], result of:
           0.0099784965 = score(doc=4402,freq=1.0), product of:
             0.066350944 = queryWeight, product of:
               1.4249254 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.019351603 = queryNorm
             0.15038967 = fieldWeight in 4402, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.0625 = fieldNorm(doc=4402)
         0.06500722 = weight(abstract_txt:philosophy in 4402) [ClassicSimilarity], result of:
           0.06500722 = score(doc=4402,freq=1.0), product of:
             0.17052893 = queryWeight, product of:
               1.4447664 = boost
               6.099349 = idf(docFreq=270, maxDocs=44421)
               0.019351603 = queryNorm
             0.3812093 = fieldWeight in 4402, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.099349 = idf(docFreq=270, maxDocs=44421)
               0.0625 = fieldNorm(doc=4402)
         0.12042918 = weight(abstract_txt:logic in 4402) [ClassicSimilarity], result of:
           0.12042918 = score(doc=4402,freq=3.0), product of:
             0.17834917 = queryWeight, product of:
               1.4775226 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.019351603 = queryNorm
             0.67524385 = fieldWeight in 4402, 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=4402)
         0.07264864 = weight(abstract_txt:representation in 4402) [ClassicSimilarity], result of:
           0.07264864 = score(doc=4402,freq=2.0), product of:
             0.1668511 = queryWeight, product of:
               1.750285 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.019351603 = queryNorm
             0.43541 = fieldWeight in 4402, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.0625 = fieldNorm(doc=4402)
         0.24595954 = weight(abstract_txt:universalis in 4402) [ClassicSimilarity], result of:
           0.24595954 = score(doc=4402,freq=1.0), product of:
             0.4140627 = queryWeight, product of:
               2.251291 = boost
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.019351603 = queryNorm
             0.5940152 = fieldWeight in 4402, 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=4402)
       0.36 = coord(9/25)
   

3. Herre, H.: General Formal Ontology (GFO) : a foundational ontology for conceptual modelling (2010) 0.18

   0.17602685 = sum of:
     0.17602685 = product of:
       0.4400671 = sum of:
         0.019429311 = weight(abstract_txt:field in 1771) [ClassicSimilarity], result of:
           0.019429311 = score(doc=1771,freq=1.0), product of:
             0.09234664 = queryWeight, product of:
               1.0631857 = boost
               4.4884357 = idf(docFreq=1356, maxDocs=44421)
               0.019351603 = queryNorm
             0.21039543 = fieldWeight in 1771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4884357 = idf(docFreq=1356, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.038034096 = weight(abstract_txt:knowledge in 1771) [ClassicSimilarity], result of:
           0.038034096 = score(doc=1771,freq=7.0), product of:
             0.08647609 = queryWeight, product of:
               1.2600629 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.019351603 = queryNorm
             0.43982214 = fieldWeight in 1771, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.095693186 = weight(abstract_txt:formal in 1771) [ClassicSimilarity], result of:
           0.095693186 = score(doc=1771,freq=7.0), product of:
             0.1397454 = queryWeight, product of:
               1.3078784 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.019351603 = queryNorm
             0.6847681 = fieldWeight in 1771, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.027366698 = weight(abstract_txt:about in 1771) [ClassicSimilarity], result of:
           0.027366698 = score(doc=1771,freq=2.0), product of:
             0.10542692 = queryWeight, product of:
               1.3912975 = boost
               3.9157467 = idf(docFreq=2405, maxDocs=44421)
               0.019351603 = queryNorm
             0.25957978 = fieldWeight in 1771, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.9157467 = idf(docFreq=2405, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.0074838726 = weight(abstract_txt:this in 1771) [ClassicSimilarity], result of:
           0.0074838726 = score(doc=1771,freq=1.0), product of:
             0.066350944 = queryWeight, product of:
               1.4249254 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.019351603 = queryNorm
             0.11279225 = fieldWeight in 1771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.04875541 = weight(abstract_txt:philosophy in 1771) [ClassicSimilarity], result of:
           0.04875541 = score(doc=1771,freq=1.0), product of:
             0.17052893 = queryWeight, product of:
               1.4447664 = boost
               6.099349 = idf(docFreq=270, maxDocs=44421)
               0.019351603 = queryNorm
             0.28590697 = fieldWeight in 1771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.099349 = idf(docFreq=270, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.07374751 = weight(abstract_txt:logic in 1771) [ClassicSimilarity], result of:
           0.07374751 = score(doc=1771,freq=2.0), product of:
             0.17834917 = queryWeight, product of:
               1.4775226 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.019351603 = queryNorm
             0.41350073 = fieldWeight in 1771, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.038527757 = weight(abstract_txt:representation in 1771) [ClassicSimilarity], result of:
           0.038527757 = score(doc=1771,freq=1.0), product of:
             0.1668511 = queryWeight, product of:
               1.750285 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.019351603 = queryNorm
             0.23091102 = fieldWeight in 1771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.04425467 = weight(abstract_txt:principles in 1771) [ClassicSimilarity], result of:
           0.04425467 = score(doc=1771,freq=1.0), product of:
             0.18300067 = queryWeight, product of:
               1.8330342 = boost
               5.1589956 = idf(docFreq=693, maxDocs=44421)
               0.019351603 = queryNorm
             0.24182792 = fieldWeight in 1771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.1589956 = idf(docFreq=693, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
         0.046774622 = weight(abstract_txt:language in 1771) [ClassicSimilarity], result of:
           0.046774622 = score(doc=1771,freq=1.0), product of:
             0.23923798 = queryWeight, product of:
               2.9639733 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.019351603 = queryNorm
             0.19551504 = fieldWeight in 1771, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.046875 = fieldNorm(doc=1771)
       0.4 = coord(10/25)
   

4. Marciszewski, W.: Leibniz's two legacies and their implications regarding knowledge engineering (1996) 0.15

   0.14623742 = sum of:
     0.14623742 = product of:
       0.73118705 = sum of:
         0.033883467 = weight(abstract_txt:knowledge in 4510) [ClassicSimilarity], result of:
           0.033883467 = score(doc=4510,freq=2.0), product of:
             0.08647609 = queryWeight, product of:
               1.2600629 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.019351603 = queryNorm
             0.39182472 = fieldWeight in 4510, 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=4510)
         0.012473121 = weight(abstract_txt:this in 4510) [ClassicSimilarity], result of:
           0.012473121 = score(doc=4510,freq=1.0), product of:
             0.066350944 = queryWeight, product of:
               1.4249254 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.019351603 = queryNorm
             0.18798709 = fieldWeight in 4510, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.078125 = fieldNorm(doc=4510)
         0.086912274 = weight(abstract_txt:logic in 4510) [ClassicSimilarity], result of:
           0.086912274 = score(doc=4510,freq=1.0), product of:
             0.17834917 = queryWeight, product of:
               1.4775226 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.019351603 = queryNorm
             0.4873153 = fieldWeight in 4510, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.078125 = fieldNorm(doc=4510)
         0.5199605 = weight(abstract_txt:leibniz in 4510) [ClassicSimilarity], result of:
           0.5199605 = score(doc=4510,freq=4.0), product of:
             0.4238456 = queryWeight, product of:
               2.7896392 = boost
               7.85132 = idf(docFreq=46, maxDocs=44421)
               0.019351603 = queryNorm
             1.2267687 = fieldWeight in 4510, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               7.85132 = idf(docFreq=46, maxDocs=44421)
               0.078125 = fieldNorm(doc=4510)
         0.07795771 = weight(abstract_txt:language in 4510) [ClassicSimilarity], result of:
           0.07795771 = score(doc=4510,freq=1.0), product of:
             0.23923798 = queryWeight, product of:
               2.9639733 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.019351603 = queryNorm
             0.3258584 = fieldWeight in 4510, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.078125 = fieldNorm(doc=4510)
       0.2 = coord(5/25)
   

5. Hess, M.: ¬An incrementally extensible document retrieval system based on linguistic and logical principles (1992) 0.14

   0.13776793 = sum of:
     0.13776793 = product of:
       0.574033 = sum of:
         0.012473121 = weight(abstract_txt:this in 3413) [ClassicSimilarity], result of:
           0.012473121 = score(doc=3413,freq=1.0), product of:
             0.066350944 = queryWeight, product of:
               1.4249254 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.019351603 = queryNorm
             0.18798709 = fieldWeight in 3413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.122912526 = weight(abstract_txt:logic in 3413) [ClassicSimilarity], result of:
           0.122912526 = score(doc=3413,freq=2.0), product of:
             0.17834917 = queryWeight, product of:
               1.4775226 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.019351603 = queryNorm
             0.6891679 = fieldWeight in 3413, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.0997601 = weight(abstract_txt:syntactic in 3413) [ClassicSimilarity], result of:
           0.0997601 = score(doc=3413,freq=1.0), product of:
             0.19551867 = queryWeight, product of:
               1.5470085 = boost
               6.5309834 = idf(docFreq=175, maxDocs=44421)
               0.019351603 = queryNorm
             0.5102331 = fieldWeight in 3413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5309834 = idf(docFreq=175, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.09081079 = weight(abstract_txt:representation in 3413) [ClassicSimilarity], result of:
           0.09081079 = score(doc=3413,freq=2.0), product of:
             0.1668511 = queryWeight, product of:
               1.750285 = boost
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.019351603 = queryNorm
             0.54426247 = fieldWeight in 3413, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.9261017 = idf(docFreq=875, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.07375779 = weight(abstract_txt:principles in 3413) [ClassicSimilarity], result of:
           0.07375779 = score(doc=3413,freq=1.0), product of:
             0.18300067 = queryWeight, product of:
               1.8330342 = boost
               5.1589956 = idf(docFreq=693, maxDocs=44421)
               0.019351603 = queryNorm
             0.40304655 = fieldWeight in 3413, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.1589956 = idf(docFreq=693, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
         0.17431872 = weight(abstract_txt:language in 3413) [ClassicSimilarity], result of:
           0.17431872 = score(doc=3413,freq=5.0), product of:
             0.23923798 = queryWeight, product of:
               2.9639733 = boost
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.019351603 = queryNorm
             0.7286415 = fieldWeight in 3413, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.1709876 = idf(docFreq=1863, maxDocs=44421)
               0.078125 = fieldNorm(doc=3413)
       0.24 = coord(6/25)