{"id":1193,"date":"2016-09-25T09:21:51","date_gmt":"2016-09-25T17:21:51","guid":{"rendered":"https:\/\/bayesianinvestor.com\/blog\/?p=1193"},"modified":"2023-02-12T09:57:06","modified_gmt":"2023-02-12T17:57:06","slug":"science-as-compression","status":"publish","type":"post","link":"https:\/\/bayesianinvestor.com\/blog\/index.php\/2016\/09\/25\/science-as-compression\/","title":{"rendered":"Science as Compression"},"content":{"rendered":"<p>Book review: <a href=\"https:\/\/arxiv.org\/pdf\/1104.5466\">Notes on a New Philosophy of Empirical Science (Draft Version)<\/a>, by <a href=\"http:\/\/www.danburfoot.net\/index.html\">Daniel Burfoot<\/a>.<\/p>\n<p>Standard views of science focus on comparing theories by finding examples where they make differing predictions, and rejecting the theory that made worse predictions.<\/p>\n<p>Burfoot describes a better view of science, called the Compression Rate Method (CRM), which replaces the &#8220;make prediction&#8221; step with &#8220;make a compression program&#8221;, and compares theories by how much they compress a standard (large) database.<\/p>\n<p>These views of science produce mostly equivalent results(!), but CRM provides a better perspective.<\/p>\n<p>Machine Learning (ML) is potentially science, and this book focuses on how ML will be improved by viewing its problems through the lens of CRM. Burfoot complains about the toolkit mentality of traditional ML research, arguing that the CRM approach will turn ML into an empirical science.<\/p>\n<p>This should generate a <a href=\"https:\/\/en.wikipedia.org\/wiki\/Thomas_Kuhn\">Kuhnian paradigm shift<\/a> in ML, with more objective measures of the research quality than any branch of science has achieved so far.<\/p>\n<p>Burfoot focuses on compression as encoding empirical knowledge of specific databases \/ domains. He rejects the standard goal of a general-purpose compression tool. Instead, he proposes creating compression algorithms that are specialized for each type of database, to reflect what we know about topics (such as images of cars) that are important to us.<br \/>\n<!--more--><\/p>\n<h3>Benefits<\/h3>\n<ul>\n<li><b>Unambiguous evaluation<\/b>:<br \/>Hypotheses are evaluated by quantifying how much compression they achieve on a standard database. (The size of the software needed for decompression is included in the compression measure).<\/li>\n<li><b>Designed to work on unlabeled data<\/b>:<br \/>ML research is constrained, in part, by the cost of producing <a href=\"http:\/\/stackoverflow.com\/questions\/19170603\/what-is-the-difference-between-labeled-and-unlabeled-data\">labeled training data<\/a>. CRM emphasizes the benefits of unsupervised learning of unlabeled data.<\/li>\n<li><b>Scientific fraud becomes much harder.<\/b><\/li>\n<li><b>Avoids Overfitting<\/b><\/li>\n<\/ul>\n<p>These benefits seem real, but Burfoot exaggerates them. He claims that fraud and manual overfitting &#8220;cannot occur&#8221; with CRM. <\/p>\n<p>Yet I&#8217;m sure there will still be some fraud with CRM. For example, people will try to cheat by hiding in their software something which cheats by connecting to an external database.<\/p>\n<p>But when I tried to produce examples of overfitting while using the CRM approach, I discovered that I kept drifting back into using methods that looked somewhere in between CRM and traditional science.<\/p>\n<p>That convinced me to replace my initial reaction of &#8220;CRM is good, but not very novel&#8221; with a &#8220;that&#8217;s harder and stranger than I expected&#8221; reaction.<\/p>\n<h3>Lossless versus lossy compression<\/h3>\n<p>Burfoot focuses on lossless compression. Yet it seems much more natural to me to use lossy compression.<\/p>\n<p>Lossy compression discards noise and low-value information from datasets, in order to focus on the most valuable information. Traditional science does that, to produce insights that are simple enough for humans to understand. Human brains use lossy compression, due to both the resource costs of more accurate compression, and due to the difficulty of evolving more accurate neurons. Machine learning research produces compression that keeps more information than brains or traditional science keep, but the most valuable approaches still use the equivalent of lossy compression.<\/p>\n<p>Lossless compression seems harder to implement, but it offers a valuable improvement in how objectively we can measure the quality of our hypotheses.<\/p>\n<p>I was puzzled, when I reached the end of the book, by Burfoot&#8217;s failure to comment on this tradeoff. Then it occurred to me that I could convert any good lossy compression algorithm into a good lossless compression algorithm. Now that I look, I see that the book contains hints to this effect, but it somehow diverted my attention away from this possibility.<\/p>\n<p>My intuition tells me that such a conversion might be trivial to a theorist. I can imagine that it will someday be sufficiently automated that it is trivial in practice. But it seems sufficiently alien to mainstream compression goals that it deserves some comment in a book such as this.<\/p>\n<h3>Overfitting<\/h3>\n<p>That doesn&#8217;t fully answer my doubts about overfitting. Burfoot&#8217;s main argument seems to be that the CRM approach uses large databases, whereas traditional ML approaches use only labeled data, which can only be produced in much smaller quantities.<\/p>\n<p>I&#8217;m pretty concerned about overfitting to stock market data. That&#8217;s somewhat atypical, in that there&#8217;s an obvious way to automatically label the most important data (stock prices can be labeled by how much they go up over some arbitrary time period), with the main problem being that the data only provide a few independent pieces of evidence, generated by a somewhat malicious sampling process, for the features I care about.<\/p>\n<p>For example, the dot.com bubble shows up in my database as if it happened once every two decades. But based on hard-to-quantify history books, I&#8217;m guessing that similar <a href=\"#note1\">[1]<\/a> bubbles happen more like once a century.<\/p>\n<p>I&#8217;m confused about how the CRM approach is supposed to help me avoid overfitting on that data. My guess is that if I&#8217;m careful, I&#8217;ll find multiple hypotheses that provide indistinguishable (and unimpressive) amounts of compression. Or maybe I will fail to find hypotheses that produce any compression. Maybe a good hypothesis would require using a much larger database of human behavior, which would produce a very general model of human minds, and enlighten us about market bubbles as a minor side-benefit.<\/p>\n<p>In spite of these doubts, I expect the CRM approach will help me if I can find a practical way to combine my intuitions with some sort of unsupervised learning.<\/p>\n<h3>Related ideas from other authors<\/h3>\n<p>This book builds on ideas that have been floating around for a while, and in many cases it isn&#8217;t obvious where the ideas originated. Here are two sources that Burfoot points to, plus two that I&#8217;ve happened to notice:<\/p>\n<ul>\n<li> Hinton&#8217;s generative approach has moved ML research in the direction of CRM, but lacks the focus on objective measurement. Hinton&#8217;s role in catalyzing AI progress is moderate evidence in favor of Burfoot&#8217;s thesis.<\/li>\n<li><a href=\"http:\/\/prize.hutter1.net\/\">The Hutter Prize<\/a> is almost a CRM approach, but only for one medium-quality database.<\/li>\n<li><a href=https:\/\/bayesianinvestor.com\/blog\/index.php\/2004\/12\/15\/what_is_thought\/\">Eric Baum<\/a> emphasizes compact representations of reality as the main ingredient of intelligence, but focuses on understanding evolution and intelligence, not on using compression to improve ML and science.<\/li>\n<li>Max Tegmark makes a brief comment in <a href=\"https:\/\/bayesianinvestor.com\/blog\/index.php\/2014\/04\/14\/our-mathematical-universe\/\">his book<\/a> that endorses defining science as compression.<\/li>\n<\/ul>\n<p>Burfoot is more ambitious than any of those authors, aiming to make ML into a rigorous science, and to make science in general more objective.<\/p>\n<p>There&#8217;s a slight resemblance to MIRI&#8217;s goal of making AI research more rigorous, but a large difference in what the two approaches imply for the speed of AGI takeoff. Burfoot implies that intelligence is mostly empirical knowledge, while MIRI focuses on something closer to a general-purpose compression tool.<\/p>\n<p>In sum, this is a pretty good book. It helped clarify my understanding of science, and of recent trends in ML. It is almost polished enough to be publishable. It seems a shame that it has apparently been abandoned so close to completion.<\/p>\n<p><a name=\"note1\">[1]<\/a> &#8211; Yes, I&#8217;m being vague about &#8220;similar&#8221;. I have a clearer meaning in mind, but I&#8217;m too busy to turn this post into a theory of market bubbles. Yes, I&#8217;m concerned that my meaning of &#8220;similar&#8221; is the result of overfitting.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Book review: Notes on a New Philosophy of Empirical Science (Draft Version), by Daniel Burfoot. Standard views of science focus on comparing theories by finding examples where they make differing predictions, and rejecting the theory that made worse predictions. Burfoot describes a better view of science, called the Compression Rate Method (CRM), which replaces the [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"footnotes":"","jetpack_publicize_message":"","jetpack_is_tweetstorm":false,"jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","enabled":false}}},"categories":[26,22,4],"tags":[147,155],"class_list":["post-1193","post","type-post","status-publish","format-standard","hentry","category-ai","category-books","category-science_tech","tag-kelvinism","tag-miri"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p80O1l-jf","_links":{"self":[{"href":"https:\/\/bayesianinvestor.com\/blog\/index.php\/wp-json\/wp\/v2\/posts\/1193","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/bayesianinvestor.com\/blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/bayesianinvestor.com\/blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/bayesianinvestor.com\/blog\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/bayesianinvestor.com\/blog\/index.php\/wp-json\/wp\/v2\/comments?post=1193"}],"version-history":[{"count":4,"href":"https:\/\/bayesianinvestor.com\/blog\/index.php\/wp-json\/wp\/v2\/posts\/1193\/revisions"}],"predecessor-version":[{"id":1197,"href":"https:\/\/bayesianinvestor.com\/blog\/index.php\/wp-json\/wp\/v2\/posts\/1193\/revisions\/1197"}],"wp:attachment":[{"href":"https:\/\/bayesianinvestor.com\/blog\/index.php\/wp-json\/wp\/v2\/media?parent=1193"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/bayesianinvestor.com\/blog\/index.php\/wp-json\/wp\/v2\/categories?post=1193"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/bayesianinvestor.com\/blog\/index.php\/wp-json\/wp\/v2\/tags?post=1193"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}