Document (#18465)

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.11994869 = sum of:
      0.11994869 = product of:
        0.99957246 = sum of:
          0.30377644 = weight(abstract_txt:boole in 222) [ClassicSimilarity], result of:
            0.30377644 = score(doc=222,freq=1.0), product of:
              0.24979214 = queryWeight, product of:
                1.6988403 = boost
                9.728935 = idf(docFreq=6, maxDocs=43254)
                0.0151133565 = queryNorm
              1.2161169 = fieldWeight in 222, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.728935 = idf(docFreq=6, maxDocs=43254)
                0.125 = fieldNorm(doc=222)
          0.3736622 = weight(abstract_txt:george in 222) [ClassicSimilarity], result of:
            0.3736622 = score(doc=222,freq=1.0), product of:
              0.36130348 = queryWeight, product of:
                2.8894436 = boost
                8.273647 = idf(docFreq=29, maxDocs=43254)
                0.0151133565 = queryNorm
              1.0342059 = fieldWeight in 222, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.273647 = idf(docFreq=29, maxDocs=43254)
                0.125 = fieldNorm(doc=222)
          0.32213384 = weight(abstract_txt:logic in 222) [ClassicSimilarity], result of:
            0.32213384 = score(doc=222,freq=1.0), product of:
              0.41233823 = queryWeight, product of:
                4.365359 = boost
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.0151133565 = queryNorm
              0.7812369 = fieldWeight in 222, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.125 = fieldNorm(doc=222)
        0.12 = coord(3/25)
    
  2. Martínez-Ávila, D.: Classification & authority control : expanding resource discovery (2016) 0.11
    0.114741825 = sum of:
      0.114741825 = product of:
        0.57370913 = sum of:
          0.074380286 = weight(abstract_txt:mathematical in 4292) [ClassicSimilarity], result of:
            0.074380286 = score(doc=4292,freq=2.0), product of:
              0.106149495 = queryWeight, product of:
                1.1074449 = boost
                6.3421264 = idf(docFreq=206, maxDocs=43254)
                0.0151133565 = queryNorm
              0.70071256 = fieldWeight in 4292, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.3421264 = idf(docFreq=206, maxDocs=43254)
                0.078125 = fieldNorm(doc=4292)
          0.011194139 = weight(abstract_txt:that in 4292) [ClassicSimilarity], result of:
            0.011194139 = score(doc=4292,freq=1.0), product of:
              0.060067076 = queryWeight, product of:
                1.6661396 = boost
                2.3854163 = idf(docFreq=10822, maxDocs=43254)
                0.0151133565 = queryNorm
              0.18636064 = fieldWeight in 4292, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.3854163 = idf(docFreq=10822, maxDocs=43254)
                0.078125 = fieldNorm(doc=4292)
          0.073027246 = weight(abstract_txt:historical in 4292) [ClassicSimilarity], result of:
            0.073027246 = score(doc=4292,freq=1.0), product of:
              0.16645211 = queryWeight, product of:
                1.9612042 = boost
                5.6157217 = idf(docFreq=427, maxDocs=43254)
                0.0151133565 = queryNorm
              0.43872827 = fieldWeight in 4292, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.6157217 = idf(docFreq=427, maxDocs=43254)
                0.078125 = fieldNorm(doc=4292)
          0.3025961 = weight(abstract_txt:mathematics in 4292) [ClassicSimilarity], result of:
            0.3025961 = score(doc=4292,freq=6.0), product of:
              0.23631494 = queryWeight, product of:
                2.3368118 = boost
                6.6912384 = idf(docFreq=145, maxDocs=43254)
                0.0151133565 = queryNorm
              1.2804781 = fieldWeight in 4292, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                6.6912384 = idf(docFreq=145, maxDocs=43254)
                0.078125 = fieldNorm(doc=4292)
          0.11251139 = weight(abstract_txt:discovery in 4292) [ClassicSimilarity], result of:
            0.11251139 = score(doc=4292,freq=1.0), product of:
              0.25417185 = queryWeight, product of:
                2.9681613 = boost
                5.666032 = idf(docFreq=406, maxDocs=43254)
                0.0151133565 = queryNorm
              0.44265872 = fieldWeight in 4292, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.666032 = idf(docFreq=406, maxDocs=43254)
                0.078125 = fieldNorm(doc=4292)
        0.2 = coord(5/25)
    
  3. Cooksey, E.B.: George Boole : the man behind 'and/or/not' (1997) 0.11
    0.10649023 = sum of:
      0.10649023 = product of:
        0.8874186 = sum of:
          0.084151685 = weight(abstract_txt:mathematical in 1159) [ClassicSimilarity], result of:
            0.084151685 = score(doc=1159,freq=1.0), product of:
              0.106149495 = queryWeight, product of:
                1.1074449 = boost
                6.3421264 = idf(docFreq=206, maxDocs=43254)
                0.0151133565 = queryNorm
              0.7927658 = fieldWeight in 1159, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3421264 = idf(docFreq=206, maxDocs=43254)
                0.125 = fieldNorm(doc=1159)
          0.42960477 = weight(abstract_txt:boole in 1159) [ClassicSimilarity], result of:
            0.42960477 = score(doc=1159,freq=2.0), product of:
              0.24979214 = queryWeight, product of:
                1.6988403 = boost
                9.728935 = idf(docFreq=6, maxDocs=43254)
                0.0151133565 = queryNorm
              1.719849 = fieldWeight in 1159, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                9.728935 = idf(docFreq=6, maxDocs=43254)
                0.125 = fieldNorm(doc=1159)
          0.3736622 = weight(abstract_txt:george in 1159) [ClassicSimilarity], result of:
            0.3736622 = score(doc=1159,freq=1.0), product of:
              0.36130348 = queryWeight, product of:
                2.8894436 = boost
                8.273647 = idf(docFreq=29, maxDocs=43254)
                0.0151133565 = queryNorm
              1.0342059 = fieldWeight in 1159, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.273647 = idf(docFreq=29, maxDocs=43254)
                0.125 = fieldNorm(doc=1159)
        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.10602067 = sum of:
      0.10602067 = product of:
        0.8835056 = sum of:
          0.26850298 = weight(abstract_txt:boole in 5243) [ClassicSimilarity], result of:
            0.26850298 = score(doc=5243,freq=2.0), product of:
              0.24979214 = queryWeight, product of:
                1.6988403 = boost
                9.728935 = idf(docFreq=6, maxDocs=43254)
                0.0151133565 = queryNorm
              1.0749056 = fieldWeight in 5243, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                9.728935 = idf(docFreq=6, maxDocs=43254)
                0.078125 = fieldNorm(doc=5243)
          0.3302738 = weight(abstract_txt:george in 5243) [ClassicSimilarity], result of:
            0.3302738 = score(doc=5243,freq=2.0), product of:
              0.36130348 = queryWeight, product of:
                2.8894436 = boost
                8.273647 = idf(docFreq=29, maxDocs=43254)
                0.0151133565 = queryNorm
              0.91411746 = fieldWeight in 5243, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                8.273647 = idf(docFreq=29, maxDocs=43254)
                0.078125 = fieldNorm(doc=5243)
          0.28472874 = weight(abstract_txt:logic in 5243) [ClassicSimilarity], result of:
            0.28472874 = score(doc=5243,freq=2.0), product of:
              0.41233823 = queryWeight, product of:
                4.365359 = boost
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.0151133565 = queryNorm
              0.6905223 = fieldWeight in 5243, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.078125 = fieldNorm(doc=5243)
        0.12 = coord(3/25)
    
  5. Hisdal, E.: Logical structures for representation of knowledge and uncertainty (1998) 0.11
    0.105220586 = sum of:
      0.105220586 = product of:
        0.87683827 = sum of:
          0.2236173 = weight(abstract_txt:calculus in 1972) [ClassicSimilarity], result of:
            0.2236173 = score(doc=1972,freq=1.0), product of:
              0.20364776 = queryWeight, product of:
                1.5339209 = boost
                8.784473 = idf(docFreq=17, maxDocs=43254)
                0.0151133565 = queryNorm
              1.0980592 = fieldWeight in 1972, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.784473 = idf(docFreq=17, maxDocs=43254)
                0.125 = fieldNorm(doc=1972)
          0.19765495 = weight(abstract_txt:mathematics in 1972) [ClassicSimilarity], result of:
            0.19765495 = score(doc=1972,freq=1.0), product of:
              0.23631494 = queryWeight, product of:
                2.3368118 = boost
                6.6912384 = idf(docFreq=145, maxDocs=43254)
                0.0151133565 = queryNorm
              0.8364048 = fieldWeight in 1972, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6912384 = idf(docFreq=145, maxDocs=43254)
                0.125 = fieldNorm(doc=1972)
          0.45556602 = weight(abstract_txt:logic in 1972) [ClassicSimilarity], result of:
            0.45556602 = score(doc=1972,freq=2.0), product of:
              0.41233823 = queryWeight, product of:
                4.365359 = boost
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.0151133565 = queryNorm
              1.1048357 = fieldWeight in 1972, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.249895 = idf(docFreq=226, maxDocs=43254)
                0.125 = fieldNorm(doc=1972)
        0.12 = coord(3/25)