Document (#41688)

Author

Reyzin, L.

Title

Unprovability comes to machine learning

Issue

[07.01.2019].

Source

https://www.nature.com/articles/d41586-019-00012-4 [https://doi.org/10.1038/d41586-019-00012-4]

Year

2019

Series

News and views

Abstract

Scenarios have been discovered in which it is impossible to prove whether or not a machine-learning algorithm could solve a particular problem. This finding might have implications for both established and future learning algorithms. Machine learning has matured as a mathematical discipline and now joins the many subfields of mathematics that deal with the burden of unprovability and the unease that comes with it. Perhaps results such as this one will bring to the field of machine learning a healthy dose of humility, even as machine-learning algorithms continue to revolutionize the world around us.

Field

Informatik
Mathematische Logik

Similar documents (content)

1. Yu, N.: Exploring co-training strategies for opinion detection (2014) 0.17

   0.16711433 = sum of:
     0.16711433 = product of:
       0.5968369 = sum of:
         0.034036767 = weight(abstract_txt:algorithm in 2503) [ClassicSimilarity], result of:
           0.034036767 = score(doc=2503,freq=1.0), product of:
             0.0954578 = queryWeight, product of:
               5.7050157 = idf(docFreq=401, maxDocs=44421)
               0.016732259 = queryNorm
             0.35656348 = fieldWeight in 2503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7050157 = idf(docFreq=401, maxDocs=44421)
               0.0625 = fieldNorm(doc=2503)
         0.0388403 = weight(abstract_txt:deal in 2503) [ClassicSimilarity], result of:
           0.0388403 = score(doc=2503,freq=1.0), product of:
             0.10423997 = queryWeight, product of:
               1.0449883 = boost
               5.9616747 = idf(docFreq=310, maxDocs=44421)
               0.016732259 = queryNorm
             0.37260467 = fieldWeight in 2503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9616747 = idf(docFreq=310, maxDocs=44421)
               0.0625 = fieldNorm(doc=2503)
         0.012006281 = weight(abstract_txt:have in 2503) [ClassicSimilarity], result of:
           0.012006281 = score(doc=2503,freq=1.0), product of:
             0.060042888 = queryWeight, product of:
               1.1216054 = boost
               3.199388 = idf(docFreq=4924, maxDocs=44421)
               0.016732259 = queryNorm
             0.19996175 = fieldWeight in 2503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.199388 = idf(docFreq=4924, maxDocs=44421)
               0.0625 = fieldNorm(doc=2503)
         0.050668422 = weight(abstract_txt:solve in 2503) [ClassicSimilarity], result of:
           0.050668422 = score(doc=2503,freq=1.0), product of:
             0.12445265 = queryWeight, product of:
               1.1418166 = boost
               6.514082 = idf(docFreq=178, maxDocs=44421)
               0.016732259 = queryNorm
             0.40713012 = fieldWeight in 2503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.514082 = idf(docFreq=178, maxDocs=44421)
               0.0625 = fieldNorm(doc=2503)
         0.06789602 = weight(abstract_txt:algorithms in 2503) [ClassicSimilarity], result of:
           0.06789602 = score(doc=2503,freq=1.0), product of:
             0.19058357 = queryWeight, product of:
               1.9982601 = boost
               5.7000527 = idf(docFreq=403, maxDocs=44421)
               0.016732259 = queryNorm
             0.3562533 = fieldWeight in 2503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7000527 = idf(docFreq=403, maxDocs=44421)
               0.0625 = fieldNorm(doc=2503)
         0.19025013 = weight(abstract_txt:machine in 2503) [ClassicSimilarity], result of:
           0.19025013 = score(doc=2503,freq=2.0), product of:
             0.40804607 = queryWeight, product of:
               4.6231065 = boost
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.016732259 = queryNorm
             0.4662467 = fieldWeight in 2503, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.0625 = fieldNorm(doc=2503)
         0.20313899 = weight(abstract_txt:learning in 2503) [ClassicSimilarity], result of:
           0.20313899 = score(doc=2503,freq=3.0), product of:
             0.39571705 = queryWeight, product of:
               4.987263 = boost
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.016732259 = queryNorm
             0.51334405 = fieldWeight in 2503, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.0625 = fieldNorm(doc=2503)
       0.28 = coord(7/25)
   

2. Pong, J.Y.-H.; Kwok, R.C.-W.; Lau, R.Y.-K.; Hao, J.-X.; Wong, P.C.-C.: ¬A comparative study of two automatic document classification methods in a library setting (2008) 0.15

   0.14600848 = sum of:
     0.14600848 = product of:
       0.73004234 = sum of:
         0.05895341 = weight(abstract_txt:algorithm in 3532) [ClassicSimilarity], result of:
           0.05895341 = score(doc=3532,freq=3.0), product of:
             0.0954578 = queryWeight, product of:
               5.7050157 = idf(docFreq=401, maxDocs=44421)
               0.016732259 = queryNorm
             0.6175861 = fieldWeight in 3532, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.7050157 = idf(docFreq=401, maxDocs=44421)
               0.0625 = fieldNorm(doc=3532)
         0.012006281 = weight(abstract_txt:have in 3532) [ClassicSimilarity], result of:
           0.012006281 = score(doc=3532,freq=1.0), product of:
             0.060042888 = queryWeight, product of:
               1.1216054 = boost
               3.199388 = idf(docFreq=4924, maxDocs=44421)
               0.016732259 = queryNorm
             0.19996175 = fieldWeight in 3532, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.199388 = idf(docFreq=4924, maxDocs=44421)
               0.0625 = fieldNorm(doc=3532)
         0.09601948 = weight(abstract_txt:algorithms in 3532) [ClassicSimilarity], result of:
           0.09601948 = score(doc=3532,freq=2.0), product of:
             0.19058357 = queryWeight, product of:
               1.9982601 = boost
               5.7000527 = idf(docFreq=403, maxDocs=44421)
               0.016732259 = queryNorm
             0.5038182 = fieldWeight in 3532, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.7000527 = idf(docFreq=403, maxDocs=44421)
               0.0625 = fieldNorm(doc=3532)
         0.30081186 = weight(abstract_txt:machine in 3532) [ClassicSimilarity], result of:
           0.30081186 = score(doc=3532,freq=5.0), product of:
             0.40804607 = queryWeight, product of:
               4.6231065 = boost
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.016732259 = queryNorm
             0.73720074 = fieldWeight in 3532, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.0625 = fieldNorm(doc=3532)
         0.26225132 = weight(abstract_txt:learning in 3532) [ClassicSimilarity], result of:
           0.26225132 = score(doc=3532,freq=5.0), product of:
             0.39571705 = queryWeight, product of:
               4.987263 = boost
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.016732259 = queryNorm
             0.6627243 = fieldWeight in 3532, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.0625 = fieldNorm(doc=3532)
       0.2 = coord(5/25)
   

3. Schöneberg, U.; Sperber, W.: POS tagging and its applications for mathematics (2014) 0.14

   0.14411788 = sum of:
     0.14411788 = product of:
       0.7205894 = sum of:
         0.082955234 = weight(abstract_txt:mathematical in 2748) [ClassicSimilarity], result of:
           0.082955234 = score(doc=2748,freq=2.0), product of:
             0.118247434 = queryWeight, product of:
               1.1129872 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.016732259 = queryNorm
             0.7015394 = fieldWeight in 2748, 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=2748)
         0.021224307 = weight(abstract_txt:have in 2748) [ClassicSimilarity], result of:
           0.021224307 = score(doc=2748,freq=2.0), product of:
             0.060042888 = queryWeight, product of:
               1.1216054 = boost
               3.199388 = idf(docFreq=4924, maxDocs=44421)
               0.016732259 = queryNorm
             0.35348576 = fieldWeight in 2748, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.199388 = idf(docFreq=4924, maxDocs=44421)
               0.078125 = fieldNorm(doc=2748)
         0.117822155 = weight(abstract_txt:mathematics in 2748) [ClassicSimilarity], result of:
           0.117822155 = score(doc=2748,freq=3.0), product of:
             0.13052192 = queryWeight, product of:
               1.1693271 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.016732259 = queryNorm
             0.9027001 = fieldWeight in 2748, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.078125 = fieldNorm(doc=2748)
         0.29125983 = weight(abstract_txt:machine in 2748) [ClassicSimilarity], result of:
           0.29125983 = score(doc=2748,freq=3.0), product of:
             0.40804607 = queryWeight, product of:
               4.6231065 = boost
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.016732259 = queryNorm
             0.71379155 = fieldWeight in 2748, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.078125 = fieldNorm(doc=2748)
         0.20732786 = weight(abstract_txt:learning in 2748) [ClassicSimilarity], result of:
           0.20732786 = score(doc=2748,freq=2.0), product of:
             0.39571705 = queryWeight, product of:
               4.987263 = boost
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.016732259 = queryNorm
             0.52392954 = fieldWeight in 2748, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.078125 = fieldNorm(doc=2748)
       0.2 = coord(5/25)
   

4. Dietterich, T.G.: Machine-learning research : four current directions (1997) 0.14

   0.13940234 = sum of:
     0.13940234 = product of:
       1.1616862 = sum of:
         0.16974007 = weight(abstract_txt:algorithms in 4321) [ClassicSimilarity], result of:
           0.16974007 = score(doc=4321,freq=1.0), product of:
             0.19058357 = queryWeight, product of:
               1.9982601 = boost
               5.7000527 = idf(docFreq=403, maxDocs=44421)
               0.016732259 = queryNorm
             0.8906332 = fieldWeight in 4321, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7000527 = idf(docFreq=403, maxDocs=44421)
               0.15625 = fieldNorm(doc=4321)
         0.33631787 = weight(abstract_txt:machine in 4321) [ClassicSimilarity], result of:
           0.33631787 = score(doc=4321,freq=1.0), product of:
             0.40804607 = queryWeight, product of:
               4.6231065 = boost
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.016732259 = queryNorm
             0.8242155 = fieldWeight in 4321, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.15625 = fieldNorm(doc=4321)
         0.65562826 = weight(abstract_txt:learning in 4321) [ClassicSimilarity], result of:
           0.65562826 = score(doc=4321,freq=5.0), product of:
             0.39571705 = queryWeight, product of:
               4.987263 = boost
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.016732259 = queryNorm
             1.6568108 = fieldWeight in 4321, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.15625 = fieldNorm(doc=4321)
       0.12 = coord(3/25)
   

5. Li, Y.; Shawe-Taylor, J.: Advanced learning algorithms for cross-language patent retrieval and classification (2007) 0.13

   0.13407578 = sum of:
     0.13407578 = product of:
       0.8379736 = sum of:
         0.042545956 = weight(abstract_txt:algorithm in 1931) [ClassicSimilarity], result of:
           0.042545956 = score(doc=1931,freq=1.0), product of:
             0.0954578 = queryWeight, product of:
               5.7050157 = idf(docFreq=401, maxDocs=44421)
               0.016732259 = queryNorm
             0.44570434 = fieldWeight in 1931, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7050157 = idf(docFreq=401, maxDocs=44421)
               0.078125 = fieldNorm(doc=1931)
         0.16974007 = weight(abstract_txt:algorithms in 1931) [ClassicSimilarity], result of:
           0.16974007 = score(doc=1931,freq=4.0), product of:
             0.19058357 = queryWeight, product of:
               1.9982601 = boost
               5.7000527 = idf(docFreq=403, maxDocs=44421)
               0.016732259 = queryNorm
             0.8906332 = fieldWeight in 1931, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.7000527 = idf(docFreq=403, maxDocs=44421)
               0.078125 = fieldNorm(doc=1931)
         0.23781267 = weight(abstract_txt:machine in 1931) [ClassicSimilarity], result of:
           0.23781267 = score(doc=1931,freq=2.0), product of:
             0.40804607 = queryWeight, product of:
               4.6231065 = boost
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.016732259 = queryNorm
             0.5828084 = fieldWeight in 1931, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.274979 = idf(docFreq=617, maxDocs=44421)
               0.078125 = fieldNorm(doc=1931)
         0.3878749 = weight(abstract_txt:learning in 1931) [ClassicSimilarity], result of:
           0.3878749 = score(doc=1931,freq=7.0), product of:
             0.39571705 = queryWeight, product of:
               4.987263 = boost
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.016732259 = queryNorm
             0.9801824 = fieldWeight in 1931, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               4.7420692 = idf(docFreq=1052, maxDocs=44421)
               0.078125 = fieldNorm(doc=1931)
       0.16 = coord(4/25)