Document (#18464)

Author

Ledesma, L.D.

Title

¬A computational approach to George Boole's discovery of mathematical logic

Source

Artificial intelligence. 91(1997) no.2, S.281-307

Year

1997

Abstract

Reports a computational model of George Boole's discovery of logic as part of mathematics. Studies the different historical factors that influences this theory, and produces a computational representation of Boole's logic before it was mathematized, and a production system, BOOLE2, that rediscovers logic as a science that behaves exactly as a branch of mathematics, and that thus validates to some extent the historical explanation. The system's discovery methods are found to be general enough to handle 3 other cases: 2 version of a geometry due to a contemporary of Boole, and a small subset of the differential calculus

Footnote

Contribution to an issue devoted to recent research on computer systems that can doscover scientific laws or concepts

Similar documents (content)

1. Bednarek, A.R.: Boolean algebras (2009) 0.12

   0.121061794 = sum of:
     0.121061794 = product of:
       1.0088483 = sum of:
         0.3078174 = weight(abstract_txt:boole in 744) [ClassicSimilarity], result of:
           0.3078174 = score(doc=744,freq=1.0), product of:
             0.25242424 = queryWeight, product of:
               1.7151867 = boost
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.015085774 = queryNorm
             1.2194446 = fieldWeight in 744, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.125 = fieldNorm(doc=744)
         0.3791784 = weight(abstract_txt:george in 744) [ClassicSimilarity], result of:
           0.3791784 = score(doc=744,freq=1.0), product of:
             0.36546126 = queryWeight, product of:
               2.9186468 = boost
               8.30027 = idf(docFreq=29, maxDocs=44421)
               0.015085774 = queryNorm
             1.0375338 = fieldWeight in 744, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.30027 = idf(docFreq=29, maxDocs=44421)
               0.125 = fieldNorm(doc=744)
         0.32185254 = weight(abstract_txt:logic in 744) [ClassicSimilarity], result of:
           0.32185254 = score(doc=744,freq=1.0), product of:
             0.41278785 = queryWeight, product of:
               4.386714 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.015085774 = queryNorm
             0.77970445 = fieldWeight in 744, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.125 = fieldNorm(doc=744)
       0.12 = coord(3/25)
   

2. Martínez-Ávila, D.: Classification & authority control : expanding resource discovery (2016) 0.11

   0.1139133 = sum of:
     0.1139133 = product of:
       0.5695665 = sum of:
         0.0750193 = weight(abstract_txt:mathematical in 3827) [ClassicSimilarity], result of:
           0.0750193 = score(doc=3827,freq=2.0), product of:
             0.10693526 = queryWeight, product of:
               1.1163653 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.015085774 = queryNorm
             0.7015394 = fieldWeight in 3827, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.078125 = fieldNorm(doc=3827)
         0.010963133 = weight(abstract_txt:that in 3827) [ClassicSimilarity], result of:
           0.010963133 = score(doc=3827,freq=1.0), product of:
             0.059336975 = queryWeight, product of:
               1.6631774 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.015085774 = queryNorm
             0.18476056 = fieldWeight in 3827, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.078125 = fieldNorm(doc=3827)
         0.07204813 = weight(abstract_txt:historical in 3827) [ClassicSimilarity], result of:
           0.07204813 = score(doc=3827,freq=1.0), product of:
             0.16523705 = queryWeight, product of:
               1.9625223 = boost
               5.58117 = idf(docFreq=454, maxDocs=44421)
               0.015085774 = queryNorm
             0.4360289 = fieldWeight in 3827, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.58117 = idf(docFreq=454, maxDocs=44421)
               0.078125 = fieldNorm(doc=3827)
         0.30137083 = weight(abstract_txt:mathematics in 3827) [ClassicSimilarity], result of:
           0.30137083 = score(doc=3827,freq=6.0), product of:
             0.236071 = queryWeight, product of:
               2.3457525 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.015085774 = queryNorm
             1.276611 = fieldWeight in 3827, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.078125 = fieldNorm(doc=3827)
         0.11016512 = weight(abstract_txt:discovery in 3827) [ClassicSimilarity], result of:
           0.11016512 = score(doc=3827,freq=1.0), product of:
             0.25104532 = queryWeight, product of:
               2.962665 = boost
               5.616968 = idf(docFreq=438, maxDocs=44421)
               0.015085774 = queryNorm
             0.43882564 = fieldWeight in 3827, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.616968 = idf(docFreq=438, maxDocs=44421)
               0.078125 = fieldNorm(doc=3827)
       0.2 = coord(5/25)
   

3. Cooksey, E.B.: George Boole : the man behind 'and/or/not' (1997) 0.11

   0.10792471 = sum of:
     0.10792471 = product of:
       0.8993726 = sum of:
         0.084874645 = weight(abstract_txt:mathematical in 158) [ClassicSimilarity], result of:
           0.084874645 = score(doc=158,freq=1.0), product of:
             0.10693526 = queryWeight, product of:
               1.1163653 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.015085774 = queryNorm
             0.7937012 = fieldWeight in 158, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.125 = fieldNorm(doc=158)
         0.4353195 = weight(abstract_txt:boole in 158) [ClassicSimilarity], result of:
           0.4353195 = score(doc=158,freq=2.0), product of:
             0.25242424 = queryWeight, product of:
               1.7151867 = boost
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.015085774 = queryNorm
             1.7245551 = fieldWeight in 158, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.125 = fieldNorm(doc=158)
         0.3791784 = weight(abstract_txt:george in 158) [ClassicSimilarity], result of:
           0.3791784 = score(doc=158,freq=1.0), product of:
             0.36546126 = queryWeight, product of:
               2.9186468 = boost
               8.30027 = idf(docFreq=29, maxDocs=44421)
               0.015085774 = queryNorm
             1.0375338 = fieldWeight in 158, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.30027 = idf(docFreq=29, maxDocs=44421)
               0.125 = fieldNorm(doc=158)
       0.12 = coord(3/25)
   

4. Smith, S.E.: On the shoulders of giants : from Boole to Shannon to Taube: the origins and development of computerized information from the mid-19th century to the present (1993) 0.11

   0.10700452 = sum of:
     0.10700452 = product of:
       0.8917044 = sum of:
         0.2720747 = weight(abstract_txt:boole in 5242) [ClassicSimilarity], result of:
           0.2720747 = score(doc=5242,freq=2.0), product of:
             0.25242424 = queryWeight, product of:
               1.7151867 = boost
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.015085774 = queryNorm
             1.077847 = fieldWeight in 5242, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.078125 = fieldNorm(doc=5242)
         0.33514953 = weight(abstract_txt:george in 5242) [ClassicSimilarity], result of:
           0.33514953 = score(doc=5242,freq=2.0), product of:
             0.36546126 = queryWeight, product of:
               2.9186468 = boost
               8.30027 = idf(docFreq=29, maxDocs=44421)
               0.015085774 = queryNorm
             0.91705894 = fieldWeight in 5242, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.30027 = idf(docFreq=29, maxDocs=44421)
               0.078125 = fieldNorm(doc=5242)
         0.28448015 = weight(abstract_txt:logic in 5242) [ClassicSimilarity], result of:
           0.28448015 = score(doc=5242,freq=2.0), product of:
             0.41278785 = queryWeight, product of:
               4.386714 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.015085774 = queryNorm
             0.6891679 = fieldWeight in 5242, 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=5242)
       0.12 = coord(3/25)
   

5. Hisdal, E.: Logical structures for representation of knowledge and uncertainty (1998) 0.10

   0.104959786 = sum of:
     0.104959786 = product of:
       0.8746649 = sum of:
         0.22264208 = weight(abstract_txt:calculus in 971) [ClassicSimilarity], result of:
           0.22264208 = score(doc=971,freq=1.0), product of:
             0.2033951 = queryWeight, product of:
               1.5396291 = boost
               8.757029 = idf(docFreq=18, maxDocs=44421)
               0.015085774 = queryNorm
             1.0946286 = fieldWeight in 971, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.757029 = idf(docFreq=18, maxDocs=44421)
               0.125 = fieldNorm(doc=971)
         0.19685458 = weight(abstract_txt:mathematics in 971) [ClassicSimilarity], result of:
           0.19685458 = score(doc=971,freq=1.0), product of:
             0.236071 = queryWeight, product of:
               2.3457525 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.015085774 = queryNorm
             0.8338787 = fieldWeight in 971, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.125 = fieldNorm(doc=971)
         0.45516822 = weight(abstract_txt:logic in 971) [ClassicSimilarity], result of:
           0.45516822 = score(doc=971,freq=2.0), product of:
             0.41278785 = queryWeight, product of:
               4.386714 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.015085774 = queryNorm
             1.1026686 = fieldWeight in 971, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.125 = fieldNorm(doc=971)
       0.12 = coord(3/25)