Kevin T. Kelly's Ockham Efficiency Theorem - Less Wrong
http://lesswrong.com/
Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/Mon, 16 Aug 2010 14:46:00 +1000
Submitted by <a href="http://lesswrong.com/user/Johnicholas">Johnicholas</a>
•
30 votes
•
<a href="http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/#comments">81 comments</a>
<div><p>There is a game studied in Philosophy of Science and Probably Approximately Correct (machine) learning. It's a cousin to the Looney Labs game "Zendo", but less fun to play with your friends. <a href="http://en.wikipedia.org/wiki/Zendo_(game)">http://en.wikipedia.org/wiki/Zendo_(game)</a> (By the way, playing this kind of game is excellent practice at avoiding confirmation bias.) The game has two players, who are asymmetric. One player plays Nature, and the other player plays Science. First Nature makes up a law, a specific Grand Unified Theory, and then Science tries to guess it. Nature provides some information about the law, and then Science can change their guess, if they want to. Science wins if it converges to the rule that Nature made up.</p>
<p><a id="more"></a></p>
<p>Kevin T. Kelly is a philosopher of science, and studies (among other things) the justification within the philosophy of science for William of Occam's razor: "entities should not be multiplied beyond necessity". The way that he does this is by proving theorems about the Nature/Science game with all of the details elaborated.</p>
<p>Why should you care? Firstly, his justification is different from the overfitting justification that sometimes shows up in Bayesian literature. Roughly speaking, the overfitting justification characterizes our use of Occam's razor as pragmatic - we use Occam's razor to do science because we get good generalization performance from it. If we found something else (e.g. boosting and bagging, or some future technique) that proposed oddly complex hypotheses, but achieved good generalization performance, we would switch away from Occam's razor.</p>
<p>An aside regarding boosting and bagging: These are ensemble machine learning techniques. Suppose you had a technique that created decision tree classifiers, such as C4.5 (<a href="http://en.wikipedia.org/wiki/C4.5_algorithm">http://en.wikipedia.org/wiki/C4.5_algorithm</a>), or even decision stumps (<a href="http://en.wikipedia.org/wiki/Decision_stump">http://en.wikipedia.org/wiki/Decision_stump</a>). Adaboost (<a href="http://en.wikipedia.org/wiki/Adaboost">http://en.wikipedia.org/wiki/Adaboost</a>) would start by weighting all of the examples identically and invoking your technique to find an initial classifier. Then it would reweight the examples, prioritizing the ones that the first iteration got wrong, and invoke your technique on the reweighted input. Eventually, Adaboost outputs an ensemble of decision trees (or decision stumps), and taking the majority opinion of the ensemble might well be more effective (generalize better beyond training) than the original classifier. Bagging is similar (<a href="http://en.wikipedia.org/wiki/Bootstrap_aggregating">http://en.wikipedia.org/wiki/Bootstrap_aggregating</a>).</p>
<p>Ensemble learning methods are a challenge for "prevents overfitting" justifications of Occam's razor since they propose weirdly complex hypotheses, but suffer <em>less</em> from overfitting than the weak classifiers that they are built from.</p>
<p>Secondly, his alternative justification bears on ordering hypotheses "by simplicity", providing an alternative to (approximations of) Kolmogorov complexity as a foundation of science.</p>
<p>Let's take a philosopher's view of physics - from a distance, a philosopher listens to the particle physicists and hears: "There are three fundamental particles that make up all matter!", "We've discovered another, higher-energy particle!", "Another, even higher-energy particle!". There is no reason the philosopher can see why this should stop at any particular number of particles. What should the philosopher believe at any given moment?</p>
<p>This is a form of the Nature vs. Science game where Nature's "Grand Unified Theory" is known to be a nonnegative number (of particles), and at each round Nature can reveal a new fundamental particle (by name) or remain silent. What is the philosopher of science's strategy? Occam's razor suggests that we prefer simpler hypotheses, but if there were 254 known particles, how would we decide whether to claim that there are 254, 255, or 256 particles? Note that in many encodings, 255 and 256 are quite round numbers and therefore have short descriptions; low Kolmogorov complexity.</p>
<p>An aside regarding "round numbers": Here are some "shortest expressions" of some numbers, according to one possible grammar of expressions. (Kolmogorov complexity is unique up to an additive constant, but since we never actually use Kolmogorov complexity, that isn't particularly helpful.)</p>
<p style="padding-left: 30px;">1 == (1)</p>
<p style="padding-left: 30px;">2 == (1+1)</p>
<p style="padding-left: 30px;">3 == (1+1+1)</p>
<p style="padding-left: 30px;">4 == (1+1+1+1)</p>
<p style="padding-left: 30px;">5 == (1+1+1+1+1)</p>
<p style="padding-left: 30px;">6 == (1+1+1+1+1+1)</p>
<p style="padding-left: 30px;">7 == (1+1+1+1+1+1+1)</p>
<p style="padding-left: 30px;">8 == ((1+1)*(1+1+1+1))</p>
<p style="padding-left: 30px;">9 == ((1+1+1)*(1+1+1))</p>
<p style="padding-left: 30px;">10 == ((1+1)*(1+1+1+1+1))</p>
<p style="padding-left: 30px;">11 == (1+1+1+1+1+1+1+1+1+1+1)</p>
<p style="padding-left: 30px;">12 == ((1+1+1)*(1+1+1+1))</p>
<p style="padding-left: 30px;">13 == ((1)+((1+1+1)*(1+1+1+1)))</p>
<p style="padding-left: 30px;">14 == ((1+1)*(1+1+1+1+1+1+1))</p>
<p style="padding-left: 30px;">15 == ((1+1+1)*(1+1+1+1+1))</p>
<p style="padding-left: 30px;">16 == ((1+1+1+1)*(1+1+1+1))</p>
<p style="padding-left: 30px;">17 == ((1)+((1+1+1+1)*(1+1+1+1)))</p>
<p style="padding-left: 30px;">18 == ((1+1+1)*(1+1+1+1+1+1))</p>
<p style="padding-left: 30px;">19 == ((1)+((1+1+1)*(1+1+1+1+1+1)))</p>
<p style="padding-left: 30px;">20 == ((1+1+1+1)*(1+1+1+1+1))</p>
<p style="padding-left: 30px;">21 == ((1+1+1)*(1+1+1+1+1+1+1))</p>
<p style="padding-left: 30px;">22 == ((1)+((1+1+1)*(1+1+1+1+1+1+1)))</p>
<p style="padding-left: 30px;">24 == ((1+1+1+1)*(1+1+1+1+1+1))</p>
<p style="padding-left: 30px;">25 == ((1+1+1+1+1)*(1+1+1+1+1))</p>
<p style="padding-left: 30px;">26 == ((1)+((1+1+1+1+1)*(1+1+1+1+1)))</p>
<p style="padding-left: 30px;">27 == ((1+1+1)*((1+1+1)*(1+1+1)))</p>
<p style="padding-left: 30px;">28 == ((1+1+1+1)*(1+1+1+1+1+1+1))</p>
<p style="padding-left: 30px;">30 == ((1+1+1+1+1)*(1+1+1+1+1+1))</p>
<p style="padding-left: 30px;">32 == ((1+1)*((1+1+1+1)*(1+1+1+1)))</p>
<p style="padding-left: 30px;">35 == ((1+1+1+1+1)*(1+1+1+1+1+1+1))</p>
<p style="padding-left: 30px;">36 == ((1+1+1)*((1+1+1)*(1+1+1+1)))</p>
<p style="padding-left: 30px;">40 == ((1+1)*((1+1+1+1)*(1+1+1+1+1)))</p>
<p style="padding-left: 30px;">42 == ((1+1+1+1+1+1)*(1+1+1+1+1+1+1))</p>
<p style="padding-left: 30px;">45 == ((1+1+1)*((1+1+1)*(1+1+1+1+1)))</p>
<p>As you can see, there are several inversions, where a larger number (in magnitude) is "simpler" in that it has a shorter shortest expression (in this grammar). The first inversion occurs at 12, which is simpler than 11. In this grammar, squares, powers of two, and smooth numbers generally (<a href="http://en.wikipedia.org/wiki/Smooth_number">http://en.wikipedia.org/wiki/Smooth_number</a>) will be considered simple. Even though "the 256th prime" sounds like a short description of a number, this grammar isn't flexible enough to capture that concept, and so this grammar does not consider primes to be simple. I believe this illustrates that picking a particular approximate Kolmogorov-complexity-like concept is a variety of justification of Occam's razor by aesthetics. Humans can argue about aesthetics, and be convinced by arguments somewhat like logic, but ultimately it is a matter of taste.</p>
<p>In contrast, Kelly's idea of "simplicity" is related to Popper's falsifiability. In this sense of simplicity, a complex theory is one that can (for a while) camouflage itself as another (simple) theory, but a simple theory cannot pretend to be complex. So if Nature really had 256 particles, it could refuse to reveal them for a while (maybe they're hidden in "very high energy regimes"), and the 256-particle universe would exactly match the givens for a 254-particle universe. However, the 254-particle universe cannot reveal new particles; it's already shown everything that it has.</p>
<p>Remember, we're not talking about elaborate data analysis, where there could be "mirages" or "aliasing", patterns in the data that look initially like a new particle, but later reveal themselves to be explicable using known particles. We're talking about a particular form of the Nature vs Science game where each round Nature either reveals (by name) a new particle, or remains silent. This illustrates that Kelly's simplicity is <em>relative</em> to the possible observables. In this scenario, where Nature identifies new particles by name, then the hypothesis that we have seen all of the particles and there will be no new particles is always the simplest, the "most falsifiable". With more realistic observables, the question of what is the simplest consistent hypothesis becomes trickier.</p>
<p>A more realistic example that Kelly uses (following Kuhn) is the Copernican hypothesis that the earth and other planets circle the sun. In what sense is it simpler than the geocentric hypothesis? From a casual modern perspective, both hypotheses might seem symmetric and of similar complexity. The crucial effect is that Ptolemy's model parameters (velocities, diameters) have to be carefully adjusted to create a "coincidence" - apparent retrograde motion that always coincides with solar conjunction (for mercury and venus) and solar opposition (for the other planets). (Note: Retrograde means moving in the unusual direction, west to east. Conjunction means two entities near each other in the sky. Opposition means the entities are at opposite points of the celestial sphere.) The Copernican model "predicts" that coincidence; not in the sense that the creation of the model precedes knowledge of the effect, but that any tiny deviation from exact coincidence to be discovered in the future would be evidence against the Copernican model. In this sense, the Copernican model is more falsifiable; simpler.</p>
<p>The Ockham Efficiency Theorems explain in what sense this version of Occam's razor is strictly better than other strategies for the Science vs. Nature game. If what we care about is the number of public mind changes (saying "I was mistaken, actually there are X particles." would count as a mind change for any X), and the timing of the mind changes, then Occam's razor is the best strategy for the Science vs. Nature game. The Occam strategy for the number-of-particles game will achieve exactly as many mind changes as there are particles. A scientist who deviates from Occam's razor allows Nature to extract a mind change from the (hasty) scientist "for free".</p>
<p>The way this works in the particles game is simple. To extract a mind change from a hasty scientist who jumps to predicting 12 particles when they've only seen 11, or 256 particles when they've only seen 254, Nature can simply continuously refuse to reveal new particles. If the scientist doesn't ever switch back down to the known number of particles, then they're a nonconvergent scientist - they lose the game. If the scientist, confronted with a long run of "no new particles found" does switch to the known number of particles, then Nature has extracted a mind change from the scientist without a corresponding particle. The Occam strategy achieves the fewest possible number of mind changes (that is, equal to the number of particles), given such an adversarial Nature.</p>
<p>The "Ockham Efficiency Theorems" refer to the worked-out details of more elaborate Science vs. Nature games - where Nature chooses a polynomial GUT, for example.</p>
<p>This entire scenario does generalize to noisy observations as well (learning Perlean causal graphs) though I don't understand this aspect fully. If I understand correctly, the scientist guesses a probability distribution over the possible worlds and you count "mind changes" as changes of that probability distribution, so adjusting a 0.9 probability to 0.8 would be counted as a fraction of a mind change. Anyway, read the actual papers, they're well-written and convincing.</p>
<p><a href="http://www.andrew.cmu.edu/user/kk3n/ockham/Ockham.htm">www.andrew.cmu.edu/user/kk3n/ockham/Ockham.htm</a></p>
<p>This post benefited greatly from encouragement and critique by cousin_it.</p></div>
<a href="http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/#comments">81 comments</a>
Wei_Dai on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g4j
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g4j2010-08-16T16:18:53.299878+10:00
<div class="md"><p>As Unknown pointed out, using Kolmogorov complexity is a better bet if winning means finding the truth quickly, instead of just eventually.</p>
<p>The rules of this game, plus the assumption that Nature is maximally adversarial, seems specifically designed to so that this particular version of Ockham would be optimal. It doesn't really seem to provide much insight into what one should do in more general/typical settings.</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g5j
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g5j2010-08-16T21:18:40.409656+10:00
<div class="md"><p>The question that Kelly is trying to answer is "Why, or in what sense, does Occam's razor work?". Yes, the answer is "It works in that it is worst-case-efficient." He doesn't assume a simplicity-biased prior (which some might characterize as a circular justification of Occam's razor).</p>
<p>I worry that the particular example that I'm presenting here (where the Occam strategy steps in a vaguely linear fashion) is coloring your thinking about Kelly's work generally, which has little or nothing to do with stepping in a vaguely linear fashion, and everything to do with believing the simplest theory compatible with the evidence. (Which, based on your other writings, I think you would endorse.)</p>
<p>Please investigate further, maybe read one of Kelly's papers, I would hate for my poor writing skills to mislead you.</p></div>
Wei_Dai on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g9x
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g9x2010-08-17T05:33:47.805296+10:00
<div class="md"><blockquote>
<p>He doesn't assume a simplicity-biased prior (which some might characterize as a circular justification of Occam's razor).</p>
</blockquote>
<p>Is the particles example one of Kelly's own examples, or something you made up to explain his idea? Because in that example at least, we seem to be assuming a game with very specific rules, showing that a particular strategy is optimal for that game, and then calling that strategy "Occam". Compare this with Solomonoff induction, where we only have to assume that the input is <em>computable</em> and can show that Bayesian updating with a prior based on Kolmogorov complexity is optimal in a certain sense.</p>
<blockquote>
<p>everything to do with believing the simplest theory compatible with the evidence. (Which, based on your other writings, I think you would endorse.)</p>
</blockquote>
<p>I do endorse that, but there are various aspects of the idea that I'm still confused about, and I'm not seeing how Kelly's work helps to dissolve those confusions.</p>
<p>I think I read some of Kelly's own writings the <a href="http://lesswrong.com/lw/16x/open_thread_september_2009/1368?c=1">last time</a> cousin_it pointed them out, but again, didn't really "get it" (in the sense of seeing why it's important/interesting/insightful). I'm hoping that I'm just missing something, and you, or someone else, can show me what it is. Or perhaps just point to a specific paper that explains Kelly's insights most clearly?</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gc2
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gc22010-08-17T10:59:29.446432+10:00
<div class="md"><p>The particles example is derived from one of Kelly's examples (marbles in a box).</p>
<p>Kolmogorov complexity is unavailable - only approximations it are available, and they're not unique. There are multiple reasonable grammars that we can use to do MDL, and no clear justification for why we should use one rather than another. For an extreme example, imagine measuring simplicity by "size of the patch to the Catholic Church's dogma."</p>
<p>Kelly's notion that Occam means worst-case-efficient-in-mind-changes allows us to avoid the prior "dropping like manna from heaven".</p>
<p>I recommend this paper:</p>
<p><a href="http://www.hss.cmu.edu/philosophy/kelly/papers/bonn5.pdf" rel="nofollow">http://www.hss.cmu.edu/philosophy/kelly/papers/bonn5.pdf</a></p>
<p>but if that one doesn't do it for you, there are others with more cartoons and less words:</p>
<p><a href="http://www.fitelson.org/few/few_05/kelly_2.pdf" rel="nofollow">http://www.fitelson.org/few/few_05/kelly_2.pdf</a></p>
<p>Or ones with more words and less cartoons:</p>
<p><a href="http://www.hss.cmu.edu/philosophy/kelly/papers/Ch4-Glymour%20&%20Kelly-final.pdf" rel="nofollow">http://www.hss.cmu.edu/philosophy/kelly/papers/Ch4-Glymour%20&%20Kelly-final.pdf</a></p></div>
Wei_Dai on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gek
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gek2010-08-17T18:43:32.494601+10:00
<div class="md"><p>In the first paper you cite, there is a particles example that is essentially the same example as yours, and Kelly does use it as his main example. The only difference is instead of counting the number of fundamental particles in physics, his example uses a device that we know will emit a finite number of particles.</p>
<p>On page 33, Kelly writes about how his idea would handle a modification of the basic example:</p>
<blockquote>
<p>For example, suppose you have to report not only how
many particles will appear but <em>when</em> each one will appear [...] The only sensible resolution of this Babel of alternative coarsenings is for Ockham to steer clear of it altogether. And that’s just what the proposed theory says. [...] Ockham
is both mute and toothless (perhaps mute because toothless) in this problem.
Again, that is the correct answer.</p>
</blockquote>
<p>So suppose this device has been emitting one particle every 10 seconds for the last million seconds. According to Kelly's version of Ockham's Razor (perhaps we should call it Kelly's Razor instead?), we can't predict that the next particle will come 10 seconds later. What use is Kelly's idea, if I want to have a notion of complexity that can help us (or an AI) make decisions in general, instead of just playing some specific games for which it happens to apply?</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gfx
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gfx2010-08-17T23:07:38.166327+10:00
<div class="md"><p>You read the paper! Thanks for pointing out that we know somehow that only a finite number of particles will ever be found.</p>
<p>To explain the "oneicle" problem: It seems like how a scenario is coded into a game matters. For example, if you viewed the timed particles game as having two possible worlds "The device will always emit a particle every 10 seconds." and "The device will sometimes emit a particle every 10 seconds.", then the first world cannot pretend to be the second world, but the second world can camouflage itself as the first world for a time, and so (Kelly's version of) Occam's razor says the first is simpler - we get the intuitively correct answer.</p>
<p>The alternative coding is somewhat analogous to the color "grue" (which is green up until some date, and blue thereafter). You recode the problem to talk about "oneicles", a concept that refers to non-particles up to time 1, and particles thereafter. If you allow this sort of recoding, then you would also allow "twoticles", and the infinite hierarchy of symmetric re-codings causes a problem. I tend to think this is a technical problem that is unlikely to expand into the philosophy part of the theory, but I'm kindof an idiot, and I may be missing something - certainly we would like to avoid coding-dependence.</p>
<p>That's a problem (the first problem Kelly mentioned in that paper), but do you really require a theory to have no problems remaining in order for it to be counted as insightful? No one else addresses the question "Where does the prior come from?".</p></div>
Wei_Dai on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gmy
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gmy2010-08-18T10:28:00.269219+10:00
<div class="md"><blockquote>
<p>do you really require a theory to have no problems remaining in order for it to be counted as insightful?</p>
</blockquote>
<p>It would be one thing if Kelly said that the theory currently can't predict that another particle will come in 10 seconds, but he hopes to eventually extend it so that it can make predictions like that. But instead he says that Ockham is mute on the question, and that's the <em>right answer</em>.</p>
<blockquote>
<p>No one else addresses the question "Where does the prior come from?".</p>
</blockquote>
<p>Neither does Kelly. I don't see how we can go from his idea of Ockham to a Bayesian prior, or how to use it directly in decision making. Kelly's position above suggests that he doesn't consider this to be the problem that he's trying to solve. (And I don't see what is so interesting about the problem that he <em>is</em> trying to solve.)</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gnn
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gnn2010-08-18T13:14:52.014488+10:00
<div class="md"><p>Okay, I think we've reached a point of reflective disagreement.</p>
<p>I agree with you that Kelly was wrong to be enamored of his formalization's output on the timed particles example; it's either a regrettable flaw that must be lived with, or a regrettable flaw that we should try to fix, and I don't understand enough of the topological math to tell which.</p>
<p>However, the unjustified Occam prior in the standard Bayesian account of science is also a regrettable flaw - and Kelly has demonstrated that it's probably fixable. I find that very intriguing, and am willing to put some time into understanding Kelly's approach - even if it dissolves something that I previously cherished (such as MDL-based Occam priors).</p>
<p>Reasonable people can reasonably disagree regarding which research avenues are likely to be valuable.</p></div>
R2-Miao on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/90b2
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/90b22013-05-18T20:46:50.439172+10:00
<div class="md"><p>I am very late to the discussion. I have not read Kelley's papers in detail, so pardon me if my question betrays a fundamental misunderstanding of what you wrote: How can "(Kelly's version of) Occam's razor says the first [world] is simpler" and give us "the intuitively correct answer" if an infinite number of particles will be emitted in the first world, even though Kelley has already specified that the device will only emit a finite number of particles?</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/90ka
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/90ka2013-05-20T03:38:02.304747+10:00
<div class="md"><p>The statements, though contradictory, refer to two different thought experiments.</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/90bz
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/90bz2013-05-18T23:55:13.441249+10:00
<div class="md"><p>The two comments, though contradictory, refer to two different thought experiments.</p></div>
R2-Miao on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/90cg
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/90cg2013-05-19T00:52:04.230036+10:00
<div class="md"><p>I see. Thanks for the explanation.</p></div>
PhilGoetz on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gty
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gty2010-08-19T06:18:30.162677+10:00
<div class="md"><p>Nice post! Couple quibbles/questions.</p>
<blockquote>
<p>Ensemble learning methods are a challenge for "prevents overfitting" justifications of Occam's razor since they propose weirdly complex hypotheses, but suffer less from overfitting than the weak classifiers that they are built from.</p>
</blockquote>
<p>It's not a challenge unless you think that each of the weak classifiers should be powerful enough to do the classification correctly. Occam = "Do not multiply entities beyond need", not "Do not multiply entities".</p>
<blockquote>
<p>If the scientist, confronted with a long run of "no new particles found" does switch to the known number of particles, then Nature has extracted a mind change from the scientist without a corresponding particle. The Occam strategy achieves the fewest possible number of mind changes (that is, equal to the number of particles), given such an adversarial Nature.</p>
</blockquote>
<p>The Occam strategy isn't to say the number of particles that exist equals the number observed. It's to use the simplest underlying theory. We have theories with fewer moving parts than number of particles predicted. Maybe you mean "fundamental concepts" when you say "particles"; but in that case, the non-Occam strategy is a straw man, since I don't think anyone proposes new concepts that provide no additional explanatory power.</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gvo
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gvo2010-08-19T11:22:17.587522+10:00
<div class="md"><p>Can you elaborate your sentence that begins "It's not a challenge.."?</p>
<p>My understanding is that if our real justification for "Why do we use Occam's razor?" was "Because that way we avoid overfitting." then if a future statistical technique that outperformed Occam by proposing weirdly complex hypotheses came along, we would embrace it wholeheartedly.</p>
<p>Boosting and bagging are merely illustrative of the idea that there might be a statistical technique that achieves good performance in a statistical sense, though nobody believes that their outputs (large ensembles of rules) are "really out there", the way we might believe Schroedinger's equation is "really out there".</p></div>
DanielVarga on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2h0s
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2h0s2010-08-20T04:09:34.912556+10:00
<div class="md"><p>We only use boosting if our set of low-complexity hypotheses does not contain the solution we need. And instead of switching to a larger set of still-low-complexity hypotheses, we do something much cheaper, a second best thing: we try to find a good hypothesis in the convex hull of the original hypothesis space.</p>
<p>In short, boosting "outperforms Occam" only in man-hours saved: boosting requires less thinking and less work than properly applying Occam's razor. That really is a good thing, of course.</p></div>
DSimon on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gu9
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gu92010-08-19T07:18:00.173026+10:00
<div class="md"><p>I second the OP's recommendation of Zendo. It could've been named "Induction: The Game", it's a great medium for practicing (and teaching!) some basic science and rationality skills, and it's also a heck of a lot of fun. Plus, you can use the neat little Zendo pyramids (also called Icehouse pieces) for <a href="http://www.ginohn.com/wunder201005/games/Homeworlds/HomeworldsRules.html" rel="nofollow">various</a> <a href="http://www.koryheath.com/games/rambots/" rel="nofollow">other</a> <a href="http://www.wunderland.com/icehouse/IceTowers/" rel="nofollow">games</a>.</p></div>
Pavitra on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gw6
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gw62010-08-19T12:37:24.687111+10:00
<div class="md"><p>You don't really need the pyramids, though they're definitely neat. You can do it with coins, dice, little glass beads, whatever. With words and phrases, it makes a car game; the game "Green Glass Door" can be seen as an instance.</p>
<p>I call this game "playing Science".</p></div>
adsenanim on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gwj
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gwj2010-08-19T12:58:31.740995+10:00
<div class="md"><p>I agree,</p>
<p>I'm not sure if I should go with Treehouse or IceTowers...</p>
<p>If I buy IceTowers I could probably play Treehouse, but not the other way round...</p>
<p>:)</p></div>
DSimon on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gxb
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gxb2010-08-19T15:13:16.820829+10:00
<div class="md"><p>Hm, I'd never heard of Treehouse before, thanks for the link. I'll try that out next time I bring my Zendo set somewhere.</p>
<p>You're right that trying to do Zendo with only a Treehouse set would be very frustrating. Even with a full 60 piece Zendo set, it doesn't take more than a few rounds before you have to start taking apart some of the older experiments to build new ones.</p></div>
Dan_Moore on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g6t
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g6t2010-08-17T00:37:39.208298+10:00
<div class="md"><p>Kolmogorov complexity also depends on the description language used to create strings. If the language has a recursive feature, for example, this would assign lower complexity to members of the Fibonacci sequence.</p>
<p>So, part of the task of Science is to induce what Nature's description language is.</p></div>
Daniel_Burfoot on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gae
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gae2010-08-17T06:21:17.223996+10:00
<div class="md"><blockquote>
<p>Kolmogorov complexity also depends on the description language used to create strings.</p>
</blockquote>
<p>The whole point of the KC is that it <em>doesn't</em> depend on the specific programming language (or Turing machine) selected except up to an additive constant. If your language contains a recursive feature, it will assign lower complexity to Fibonacci numbers than my non-recursive language does, but the difference is at most the codelength required for me to simulate your machine on my machine.</p></div>
PaulAlmond on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gvi
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gvi2010-08-19T10:59:30.839369+10:00
<div class="md"><p>I wrote this some years back. It is probably not without its flaws (and got some criticism on Less Wrong), but the general idea may be relevant:
<a href="http://www.paul-almond.com/WhatIsALowLevelLanguage.htm" rel="nofollow">http://www.paul-almond.com/WhatIsALowLevelLanguage.htm</a></p></div>
Sebastian_Hagen on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2hhb
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2hhb2010-08-22T03:03:00.349095+10:00
<div class="md"><p>AFAICT, the 'proposed solution' from WiaLLL doesn't work. The rest of this post will be devoted to proposing a specific attack on it. As such it will be longish - since WiaLLL makes a strong claim about a fundamental aspect of epistemology, it deserves a considered refutation.</p>
<p>My attack works on the assumption that <em>current sets</em> count programs, not languages - i.e. two different programs that implement the same language will result in two entries in the next <em>current set</em> (regardless of whether they are <em>written in</em> the same language). Paul Almond has told me that this is what he intended in WiaLLL.</p>
<p>Consider a family of turing-complete languages, whose members are called X<em>n</em> (n ∈ N). I will use 'X-like' to refer to any language from this family. Let X := X8.</p>
<p>Programs for any language X<em>n</em> can be divided into three categories:</p>
<ol>
<li><p>Programs that begin with <em>n</em> 0 bits. This prefix is solely used to encode that these programs are of type 1; it encodes no other data. The rest of the program source encodes a program in some suitable turing-complete language (the details of which don't matter for this attack).</p></li>
<li><p>Programs that have a length of 0 (i.e. empty strings). All such programs are defined to implement X.</p></li>
<li><p>Programs that don't fit either 1 or 2. All such programs are defined to implement X(<em>n</em>+1).</p></li>
</ol>
<p>It follows that the set of programs of any bounded length (>0) writable in any X<em>n</em> (n>0) is dominated by interpreters for X-like languages with a greater <em>n</em> than their own. While all such languages are turing-complete, for any given program length the proportion of non-X-like-interpreting programs writable in them is small, and inversely exponential in <em>n</em>.</p>
<p>What happens when we run the proposed solution from WiaLLL on this X? Assuming sufficiently high values of <em>N</em>, on each step but the first the <em>current set</em> will consist of a mix of X-likes and other languages. For purposes of calculating a lower bound on the long-term proportion of X-likes, assume that programs for non-X-likes never implement an X-like. The X-likes will then tend to thin out, since some of their programs fall into category 1 and implement non-X-likes; however this process is bounded to produce a fraction of non-X-likes no larger than
<a href="http://www.wolframalpha.com/input/?i=sum+%281%2F2^i%29+i%3D8+to+infinity" rel="nofollow">\sum_{i=8}^\infty (1/2^i) = 0.0078125</a>.</p>
<p>The X-likes will also thin themselves out through programs in category 2, since X itself will produce a fixed fraction of non-X-likes. How much they do so depends on the exact growth of <em>N</em> and <em>I</em> in the limit. Given a function I(N) which maps values for program length to the number of iterations to run with this length, one can calculate a rough upper bound on the proportion of non-X-likes produced in this manner as 1-\prod_{N=N0}^\infty (1-I(N)/2^N).</p>
<p>The detailed results of this process therefore depend on the choice of I(N), and of N0. The general relationship is that unless I(N) grows quite quickly in N, the X-likes will only be notably thinned out for small N, and therefore will not be thinned out significantly given a sufficiently big N0. For example, for I(N)=16 and N0=16 (16 iterations per maximum program length, minimum maximum program length of 16 bits) the result is about <a href="http://www.wolframalpha.com/input/?i=product+%281+-+16%2F2^N%29+N%3D16..infinity" rel="nofollow">0.00049</a>.</p>
<p>Therefore, with free choice of the starting language and some reasonable assumptions about the limiting process used for I and N, we can ensure that the language mix in the final <em>current set</em> will be dominated by X-likes.</p>
<p>Why does all of this matter? Because any X-like especially likes to implement X (since category 2 programs have the minimum length of 0 bits), and for sufficiently large <em>n</em> really doesn't like to implement any non-X-like, and as such any <em>current set</em> containing a sufficient proportion of X-likes will rate X as lower-level than any other language.
This argument might in theory fail because of the possibility that other languages would on average penalize X-likes much more than X-likes penalize them, but if so this can be worked around by setting X to a higher X<em>n</em> than 8 - the family can be redefined to set the initial <em>n</em> to any integer we need it to be to work around such finite factors.</p>
<p>Therefore, unless I'm missing something critical, the output of the procedure proposed in WiaLLL would be highly sensitive to the starting language as well as I(N) and N0. It therefore fails in its attempt to define a simplicity measure on languages in the absence of additional assumptions not stated in the article.</p></div>
AlephNeil on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2i7h
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2i7h2010-08-25T18:21:44.873719+10:00
<div class="md"><p>(Part 2)
But hang on - I can see an easy way to improve on Paul's definition:</p>
<p>He looks at all implementations of languages, of length less than or equal to N, takes a simple arithmetic mean and then lets N go to infinity. But how about we take a weighted arithmetic mean where the weight of a given implemention is 1/2^itslength (and then we normalise if necessary so that the weights sum to 1). (This does away with the need for N and taking a limit as N goes to infinity.) Then in your example above, the fact that there is always an implementation of X whose length is 0 means that a fixed proportion of the weight previously assigned to X-like languages 'bleeds away' on every iteration.</p>
<p>I think we can use a "pathological" language to make X[0] particularly <em>hard</em> to implement (on average) rather than particularly easy, so it would still be false that "low-level index for Y" measured from X must be the same as measured from Y.</p>
<p>But perhaps we can define the "low-level index" of a language Y as the infimum of all low-level indices as measured from languages X?</p>
<p>(Needless to say, the trick of weighting the average by 1/2^length is very standard.)</p></div>
Sebastian_Hagen on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2iap
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2iap2010-08-26T06:13:17.407341+10:00
<div class="md"><p>Let's see if I understand this correctly. You're redefining <em>current sets</em> to a mapping from the set of all computable and turing-complete languages to their weights in [0,1]. Except for the first step of the process, you will actually have non-zero weights on each of those languages, so we're working with true countably infinite sets here. This might require a stronger hypercomputer to implement than WiaLLL, but I suppose that's fine for the purely theoretical purposes of these constructions.</p>
<p>Weighting each program by 1/2^i probably doesn't work, since that still results in a total measure of 1 for each set of all programs with a given length n ∈ N (since there are 2^n programs in each of those sets), but that's a minor detail - weighting by e.g. 1/4^i should get you a workable result.</p>
<p>I think this is still attackable in so far as that it's possible to produce a setup that will make X win over any non-X-like. It would lose to certain other X-likes in each round, but this does not hold in the (I → ∞) limit.</p>
<p>It's probably not necessary for me to write up the modified attack in full detail; the basic idea is to redefine the categories of X<em>n</em> programs as follows:</p>
<ol>
<li><p>Programs that begin with 2<em>n</em> 0 bits. This prefix is solely used to encode that these programs are of type 1; it encodes no other data. The rest of the program source encodes a program in some suitable turing-complete language (the details of which don't matter for this attack).</p></li>
<li><p>Programs that begin with j ∈ [<em>n</em>,2<em>n</em>) 0 bits. All such programs are defined to implement X.</p></li>
<li><p>Programs that don't fit either 1 or 2. All such programs are defined to implement X(<em>n</em>+1).</p></li>
</ol>
<p>So the support of X<em>n</em> for X approaches 0 in the (n → ∞) limit, which allows the X-like family to keep a large weight through arbitrarily many iterations, and even in the limit of (I → ∞). However, it approaches 0 much slower than their support for any non-X-like, which means that X still wins over every non-X-like at each step of the simplicity computation.</p>
<p>Also note that the choice of a prefix length linear in the X-like level is fairly arbitrary. I think this is sufficient to get the desired effect, but if this turns out to be incorrect we can of course use any computable function here, meaning we can adjust this attack to make the fraction of non-X-likes produced fall <em>much</em> faster.</p>
<blockquote>
<p>But perhaps we can define the "low-level index" of a language Y as the infimum of all low-level indices as measured from languages X?</p>
</blockquote>
<p>I don't understand this suggestion. If I understood your previous modifications correctly, all but the first current sets of your process assign non-zero measure to every computable and turing-complete language, so taking minimums about languages from this set wouldn't get you any useful information. As for X-likes, if you are going to treat those seperately from other languages in the simplicity determination process, you'd need to specify some precise way of how to recognize them. The specific X families I've talked about are of course only examples; there's countably infinitely more such families that exhibit similar properties. Please elaborate on what you meant?</p></div>
AlephNeil on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2i7f
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2i7f2010-08-25T17:45:37.792759+10:00
<div class="md"><p>So essentially, the problem with Paul Almond's suggestion is that one can find languages X that are 'X[0]-pathological' in the sense that almost all of their children are both (i) good at implementing some fixed language X[0] and (ii) even more X[0]-pathological than they are (this being a recursive definition of 'pathological').</p>
<p>Such languages destroy any hope that Paul's "low-level index for Y" won't depend on which language X we start from.</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gvh
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gvh2010-08-19T10:49:49.290233+10:00
<div class="md"><p>Kolomogorov complexity isn't an option, and approximations of Kolmogorov complexity don't have that uniqueness property.</p>
<p>Even if we did have that uniqueness property, it's still not all that helpful if you're trying to decide among a finite number of finite-complexity hypotheses. Choice of description language is still sufficient to completely determine your choice of which hypothesis is simplest.</p>
<p>As far as I can tell, a MDL-ish complexity measurement that is "unique up to a constant" acts like a prior - in the limit of infinite evidence, the initial bias will wash out. Kelly is fond of analogizing this "justification" of Occam to a flat tire - it helps you get home because you can eventually fix it.</p></div>
Daniel_Burfoot on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gwm
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gwm2010-08-19T13:41:15.074551+10:00
<div class="md"><blockquote>
<p>Kolomogorov complexity isn't an option, and approximations of Kolmogorov complexity don't have that uniqueness property.</p>
</blockquote>
<p>Right, but we <em>can</em> find a series of increasingly tight upper bounds to the KC, and the bounds are language-independent in the same sense that the KC itself is.</p>
<p>Then for any sufficiently large dataset, we can say that the probability of the data is given by the model that produces the tightest upper bound for the KC. This is nicely rigorous - if you think my model is unjustified and doesn't correspond to the "real" probabilities, all you have to do is produce a new model that achieves a tighter KC-bound.</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gwx
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gwx2010-08-19T14:40:58.121507+10:00
<div class="md"><p>Can you help me with the question: "How do you decide which of a finite number of hypotheses, each of which is of finite complexity, is simplest, using approximations of Kolmogorov complexity?"</p>
<p>Also, my understanding is that people normally approximate Kolmogorov complexity by using non-Turing-complete models of computation, such as the finite-state automata that Hutter and his co-authors recently used to play Pac-Man: <a href="http://il.youtube.com/watch?v=RhQTWidQQ8U" rel="nofollow">http://il.youtube.com/watch?v=RhQTWidQQ8U</a></p>
<p>If the model of computation is not Turing complete, then complexity measurements derived from it do not have the "uniqueness" property that we're talking about.</p></div>
cousin_it on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gye
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gye2010-08-19T20:58:15.134836+10:00
<div class="md"><p>Thanks for that link, I wasn't aware of <a href="http://www.vetta.org/2009/09/monte-carlo-aixi/" rel="nofollow">Monte Carlo AIXI</a>. It's amusing how little it took to make Nesov and Roko frightened.</p></div>
XiXiDu on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyf
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyf2010-08-19T21:37:31.497580+10:00
<div class="md"><p>A interposed question: Can you or someone point me to an introduction or starting point regarding the overall topic related to <em>Kolomogorov complexity</em> (so I am able to follow, not contribute)? Or is an explanation already contained in the sequences? This idea seems to be discussed quite often on LW. Thank you.</p></div>
cousin_it on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyg
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyg2010-08-19T21:46:19.422064+10:00
<div class="md"><p>I don't think it's been thoroughly explained in the sequences, but why not start with the <a href="http://en.wikipedia.org/wiki/Kolmogorov_complexity" rel="nofollow">Wikipedia page</a>? Or <a href="http://lesswrong.com/lw/jp/occams_razor/">this post</a>.</p>
<p>On second thought, this is actually a very simple idea that can be explained in a comment. Let me try:</p>
<p>The Kolmogorov complexity of a finite string of bytes is the size (in bytes) of the shortest Python program that outputs that string and then halts. Or you could use any other language in place of Python and get a different value of complexity - but it cannot differ by more than a constant as the string grows, because you could always implement a constant-size Python interpreter in the other language to "convert" one description into another. So complexity is not unique, but all definitions of complexity sorta "agree" as we go to infinity.</p>
<p>For example, if a string consists of "a" repeated a million times, its Kolmogorov complexity is quite small because you can write a very short program that outputs a million a's and then halts. But this is not the case for all possible strings. Here's a simple way to see why: there can't be more Python programs of length N than there are different byte strings of length N, because any program is itself a byte string. Therefore, you cannot encode all strings of length N using programs of length N/2 or something, because there's not enough of them. Actually this shows that <em>most</em> strings of length N must have complexity close to N. (Obviously it can't be much larger than N, because any string of length N can be output by a program of length N+c that "hardcodes" that specific string.)</p>
<p>Another important observation. Imagine you have a huge, random-looking string of bytes. How can you calculate its Kolmogorov complexity? Turns out that you can't, because there's no easier way to do that than, essentially, simulating <em>all</em> programs up to length N and seeing what they output. But this is impossible because any given program can (say) hang idly for a million years and only then start outputting symbols, and you have no way of learning that reliably from the program text (this is known as the "halting problem"). So K-complexity is largely a theoretical notion, I have no idea why people love it so.</p></div>
Daniel_Burfoot on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2h02
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2h022010-08-20T02:55:27.573315+10:00
<div class="md"><blockquote>
<p>So K-complexity is largely a theoretical notion, I have no idea why people love it so.</p>
</blockquote>
<p>Imagine some Oracle told you that obtaining the ultimate theory of physics - the one that unifies relativity and quantum gravity, and all that - was impossible. Then following your logic you might conclude that it was pointless to study physics, since one can never obtain the <em>perfect</em> theory. But that would be wrong; it would still be highly worthwhile to attempt to obtain better and better physical theories.</p></div>
XiXiDu on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gz6
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gz62010-08-19T23:52:57.523977+10:00
<div class="md"><p>Thanks, great! I think this might be <a href="http://plus.maths.org/issue37/features/omega/index.html" rel="nofollow">another introductory explanation</a>.</p></div>
XiXiDu on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gzx
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gzx2010-08-20T02:34:54.649819+10:00
<div class="md"><p>Here is more: <a href="http://scienceblogs.com/goodmath/2009/09/information_vs_meaning.php" rel="nofollow">Information vs. Meaning</a></p>
<blockquote>
<p>Kolmogorov-Chaitin information theory is focused on quantification - that is, on being able to measure the quantity of information in a string of characters. It doesn't care what the string means. Information theory cares about how much information is in a string; it doesn't care what the string means. In fact, you can say something much stronger about information theory: if you consider meaning at all, then you're not doing information theory. A truly abstract string could mean many different things: information theory's measurement of its information content must include everything that could be used relative to any possible system of meaning to determine the information content of a string.</p>
</blockquote></div>
wedrifid on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyj
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyj2010-08-19T22:07:21.936044+10:00
<div class="md"><blockquote>
<p>So K-complexity is largely a theoretical notion, I have no idea why people love it so.</p>
</blockquote>
<p>Which notion do you prefer?</p></div>
cousin_it on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyn
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyn2010-08-19T22:16:16.529322+10:00
<div class="md"><p>Haven't thought too hard about this question. In my mind complexity is filed away as a "mystery", on the same shelf as frequentism vs Bayesianism, decision theory and other things. I know the state of the art and am convinced that it's unsatisfactory, but how to fix it is unclear. You could carve out a nice research area for yourself if you took any of these questions and ran with it :-)</p></div>
wedrifid on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyi
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyi2010-08-19T22:03:59.142232+10:00
<div class="md"><p>This concept sounds like one that could be a useful addition to your 'could', 'probability' mini-series. Putting things into 'python' language, as you have done, makes the concepts much simpler to apply.</p></div>
cousin_it on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyk
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gyk2010-08-19T22:07:29.603286+10:00
<div class="md"><p>That mini-series is about stuff that I make up myself. K-complexity is a well known notion, maybe you could ask JoshuaZ - he was planning to write some introductory math posts.</p></div>
Vladimir_Nesov on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2h01
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2h012010-08-20T02:50:30.416856+10:00
<div class="md"><blockquote>
<p>Thanks for that link, I wasn't aware of Monte Carlo AIXI. It's amusing how little it took to make Nesov and Roko frightened.</p>
</blockquote>
<p>It's not the specific result that's frightening, but the overall research direction, where each result contributes exclusively to destroying the world. We've got a small tiny step closer to disaster, job well done.</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gzc
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gzc2010-08-20T00:03:47.461285+10:00
<div class="md"><p>Sorry, I thought it was old news in LW circles. Here's the actual paper:</p>
<p><a href="http://jveness.info/publications/veness_rl_via_aixi_approx.pdf" rel="nofollow">http://jveness.info/publications/veness_rl_via_aixi_approx.pdf</a></p></div>
Dan_Moore on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gg3
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gg32010-08-17T23:34:34.130727+10:00
<div class="md"><p>I see. Thanks.</p>
<p>Question: How many bits does adding a recursive feature take up?</p></div>
cousin_it on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g7h
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g7h2010-08-17T01:47:02.952206+10:00
<div class="md"><p>I'm pretty sure Nature doesn't have one.</p></div>
JohannesDahlstrom on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g89
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g892010-08-17T02:55:31.279705+10:00
<div class="md"><p><a href="http://xkcd.com/224/" rel="nofollow">Obligatory XKCD</a></p></div>
Dan_Moore on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g88
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g882010-08-17T02:54:00.749362+10:00
<div class="md"><p>In the game described by the OP, Nature must invent a law, which must be expressed in a language. So, in the game, there must be a description language.</p>
<p>As to whether (real life) Nature can be said to have a description language: I assess the validity of this concept in terms of its success or failure in explaining phenomena. I wouldn't be 'pretty sure' of any hypothesis unless it were tested.</p></div>
adsenanim on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gxo
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gxo2010-08-19T16:47:49.451491+10:00
<div class="md"><p>So, in a true language the results of saying something could be equal to actions?</p>
<p>I'm not sure how to phrase this...</p>
<p>I think say and do: Heat + Air + Fuel and I get Fire?</p>
<p>Hmm...</p></div>
ChrisHibbert on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2htc
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2htc2010-08-23T16:29:11.269845+10:00
<div class="md"><p>The game of Science vs. Nature is more complicated than that, and it's the interesting structure that allows scientists to make predictions that are better than "what we've seen so far is everything there is." In particular, the interesting things in both Chemistry and particle Physics is that scientists were able to find regularities in the data (the Periodic Table is one example) that led them to predict missing particles. Once they knew what properties to look for, they usually were able to find them. When a theory predicts particles that aren't revealed when the right apparatus is constructed, we drop the theory.</p>
<p>But in the meantime, you'd have a more interesting game (and closer to Zendo) if Nature gave you a way of classifying objects. In Zendo, there is only one dimension. Something is a match (I forget Zendo's terminology) or it isn't. [In the real world, one of the possible moves is inventing a new test. "If I hold the object up to the light, what do I see?"] Some new tests turn out not to reveal anything useful, while others give you a whole new way of categorizing all the things you thought you knew about before.</p>
<p>In this context, Occam's razor is a rule about inventing rules to explain complex behavior, not rules about how many things there are. Your objective is to explain a pile of evidence, and you get to make up whatever story you like, but in the end, your story has to guide you in predicting something that hasn't happened yet. If you can make better predictions than other scientists, you can have as complicated a rule as you like. If you and they make the same predictions, then the observers get to break the tie by deciding which rule is simpler.</p></div>
Daniel_Burfoot on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gaj
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gaj2010-08-17T06:39:58.767785+10:00
<div class="md"><blockquote>
<p>Ensemble learning methods are a challenge for "prevents overfitting" justifications of Occam's razor since they propose weirdly complex hypotheses, but suffer less from overfitting than the weak classifiers that they are built from.</p>
</blockquote>
<p>I'm not sure this is true. Overfitting means that a classifier achieves good empirical performance (on the known data), but bad generalization performance (on new, previously unseen data). The weak classifiers used in Adaboost <em>et al.</em> don't really suffer from overfitting; they just have bad empirical performance (this is why they are called "weak"). Also, ensemble methods <em>do</em> suffer from overfitting.</p>
<p>It is very hard to analyze complexity using naive methods. For example, let's say we have an Adaboost classifier built from 4 weak classifiers with relatively large weights. Then we add another classifier, but with a small weight. Now, did the complexity increase by 25%? Why? If the 5th weight is small, the 5-classifier should be nearly identical to the 4-classifier, so it should achieve about the same generalization performance.</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gc4
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gc42010-08-17T11:17:33.041603+10:00
<div class="md"><p>According to the MDL / approximate-Kolmogorov-complexity notion of complexity, to measure the complexity of a hypothesis, fix a notation and count bits of the description of that hypothesis in that notation.</p>
<p>It's certainly possible to find a notation where the scenario you describe has the small increment in complexity that you expect. But why pick that notation rather than another? How do you justify your priors?</p></div>
Daniel_Burfoot on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gcf
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gcf2010-08-17T13:20:22.288217+10:00
<div class="md"><blockquote>
<p>But why pick that notation rather than another?</p>
</blockquote>
<p>Because you need the right notion of complexity in order to prevent overfitting. To prevent overfitting, you need to penalize highly <em>expressive</em> model classes. The MDL complexity measure does not perfectly capture the notion of expressivity, especially if you use a naive encoding method. An ensemble with many subclassifiers may require many bits to specify, but still not be very expressive, if the weights are small.</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gcq
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gcq2010-08-17T14:38:15.064224+10:00
<div class="md"><p>I think we're not trying to prevent overfitting. We're talking about the problem of induction.</p>
<p>How do we know that a method that prevented overfitting in the past will continue to prevent overfitting in the future? Appealing to "induction has always worked before" is circular.</p>
<p>I think it was Hume who asked: How do we know that bread will continue to nourish humans? It always has before, but in what sense are past observations logical grounds for anything? We would need some magical law of nature that says "Nature definitely won't just change all the rules." But of course, there is no such law, and Nature might change all the rules at any time.</p>
<p>Suppose there are two kinds of worlds, one where bread always nourishes, and one where bread sometimes nourishes. The first variety is strictly simpler, because the second can camouflage itself as the first, matching the givens for an arbitrary amount of time, but the converse is not true. The Occam strategy of believing the simplest hypothesis consistent with the givens has this pleasant property: It is the best strategy as measured in worst-case mind changes against an adversarial Nature. Therefore, believe that bread will continue to nourish.</p>
<p>I worry that I'm just muddying the water here.</p></div>
PaulAlmond on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gn4
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gn42010-08-18T11:07:07.101653+10:00
<div class="md"><p>I think Occam's razor is fairly easy to justify in general.</p>
<p>I would say that the problem is resolved if we assume that our reference class is "every conceivable, formally describable universe" - and the description in "formally describable" doesn't just describe the universe's state at an instant: It describes the entire universe, and its history, as an object. We should assume that one of those objects corresponds to our world.</p>
<p>Once we have that, we have some data from experiments, and we generate a partial model, which is an algorithm that accepts past data and predicts future data. The model needs to work for past data, and we want one that is as likely as possible to predict future data correctly. We are hoping that our partial model correctly describes the behavior of our universe - which is one of the ones in the reference class. The greater the information content in the partial model, the more specific it is being, and the smaller the proportion of possible universes in the reference class that will agree with it. The smaller the information content in the partial model, the more general it is being, and the greater the proportion of possible universes in the reference class that will agree it and, therefore, the greater will be the chance that one of these universes happens to be the real one (or the one in which we are living if you subscribe to some form of modal realism - not that it matters whether you do or not).</p>
<p>This should easily deal with the issue of why, when you see ordered behavior in reality, you should expect to see continued ordered behavior. It doesn't resolve these issues:</p>
<ol>
<li><p>Why do we see any ordered behavior in the first place? None of this imposes any ordered behavior on reality. It simply says that if you see some you should expect more to follow. Any simplicity that you observe does not imply that reality is simple: it simply means that your partial model is relying on a simple feature of reality that happened to be there - a very different thing. It does nothing to stop reality being a chaotic mess. However, an anthropic argument might be used here.</p></li>
<li><p>It doesn't resolve the issue of the coding system used for the descriptions - although I think that issue can be resolved without too much trouble - though I am sure others would disagree.</p></li>
</ol></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gnv
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gnv2010-08-18T14:10:59.685957+10:00
<div class="md"><p>I think the phrase you used "the proportion of possible universes" isn't, in general, well defined without a measure (effectively a probability distribution) on that space - and there isn't a unique best probability distribution.</p></div>
JohnDavidBustard on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2i7t
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2i7t2010-08-25T22:30:51.167866+10:00
<div class="md"><p>What I love about this post is that, at heart, it challenges the very ability to be rational, it hints at the possibility that what is most effective (and how we ultimately function) is as statistical learning machines whose understanding and predictive ability lie in structures very different from the ones we use to communicate. Our language and formal argument structures define a space of understanding that is more a reflection of our communication technology than the true nature of things. In this way, Occams razor and Kolmogorov complexity reflect a motivation to communicate efficiently (both with ourself and with others). It can have practical utility in the sense that a simpler conscious model is easier to analyse and in that sense we have more chance of finding its flaws (predictive failures). In this sense a simpler theory (in the sense of being more comprehensible) is more likely to be correct if it explains the same evidence, as it literally has more analysis performed on it, because it is easier to think about. Or in an AI sense, has a larger (mentally synthesised) evaluation set.</p></div>
Will_Sawin on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gus
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gus2010-08-19T09:10:32.388554+10:00
<div class="md"><p>Successful analysis of uncertainty without using a prior implies some kind of hidden Bayes-structure.</p>
<p>Consider hypothesis 1 and hypothesis 2. Hypothesis 2 can pretend to be hypothesis 1 but not vice versa. What does this mean?</p>
<p>p(D1|H2)>0</p>
<p>p(D2|H1)=0</p>
<p>Observations about D2 are clearly irrelevant to our present inference problem, instead, what matters is this:</p>
<p>p(D1|H1)=1</p>
<p>p(D1|H2)<1</p>
<p>p(D1|H1)>p(D1|H2)</p>
<p>that is, D1 causes a Bayesian agent to update in favor of hypothesis 1, because hypothesis 1 fits the evidence better.</p>
<p>(this is only exactly true if D1 and D2 are the only possible data, but the principle should still work in more complicated cases)</p>
<p>So Kelly avoids using a prior by copying the rest of Bayes' theorem. The hypotheses he is advocating are not "simple" hypotheses, they are ones that fit the data. Occam's Razor is still missing.</p>
<p>This is extremely analogous to frequentist statistics, which considers worst-case scenarios rather than using a prior, and therefore achieves some of what you can do with Bayes.</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gvn
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gvn2010-08-19T11:15:08.209843+10:00
<div class="md"><p>If I understand you correctly, you're saying that reasoning "non-probabilistically" about possibilities and impossibilities can be viewed as a subset of Bayesian reasoning, where instead of numerical probabilities, one uses qualitative probabilities - zero corresponds to impossible, nonzero corresponds to possible and so on.</p>
<p>I agree with you, that you can view it that way; but probably there are ways to view any sort of reasoning as a "subset" of some other domain of reasoning.</p>
<p>The best analogy I have is with classical and intuitionistic logic. The implication/negation fragment of intuitionistic propositional logic can be viewed as a subset of classical logic, in that the theorems provable in intuitionistic logic are a strict subset of classical logic theorems (if you map classical implication to intuitionistic implication, and classical negation to intuitionistic negation).</p>
<p>However, there's a slightly trickier mapping (<a href="http://en.wikipedia.org/wiki/G%C3%B6del%E2%80%93Gentzen_negative_translation" rel="nofollow">http://en.wikipedia.org/wiki/G%C3%B6del%E2%80%93Gentzen_negative_translation</a>) which introduces a lot of double negations, and if you use this mapping, classical propositional logic fits entirely inside of intuitionistic logic, and intuitionistic logic can be viewed as introducing a new "constructive" implication while keeping all of the old truths.</p></div>
Will_Sawin on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gxn
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gxn2010-08-19T16:28:12.401790+10:00
<div class="md"><p>What I'm saying is that effective techniques for reasoning non-probablistically derive their effectiveness from their similarity to Bayesian reasoning. In some special cases, they are identical to Bayesian reasoning, but in other cases, Bayes is superior. This is because Bayes is proved, by theorem, to be Right. Not Unbiased or Robust, but Right.</p>
<p><a href="http://lesswrong.com/lw/mt/beautiful_probability/" rel="nofollow">http://lesswrong.com/lw/mt/beautiful_probability/</a> seems like the appropriate lesswrong post.</p>
<p>So I'm not saying it's a subset, I'm saying its similar to. One way to be similar to something is to copy some but not all of it, which is taking a subset plus adding other stuff. This is almost the same concept, obviously.
`
Using the two logics I know best:
Classical propositional logic is Bayesian logic for probabilities of 1 and 0.
All results of Bayesian logic can be derived by propositional logic and certain additional assumptions.</p>
<p>But these are qualitatively different. I don't know how to describe this difference - which one is fundamental? I think both are, in different ways.</p>
<p>What's missing is how you use it in real-world problems, I think. Because it is often the case that one formal system is contained in another, and the other is contained in the one. But formal systems are only useful if they model reality, or serve some other function. Classical logic is used more than intuitionistic logic - is this because it's more useful? (Classical logic is more useful than Bayesian in the world of mathematics, but less in the real world, I think.)</p>
<p>I need to think more about this...</p></div>
JoshuaZ on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g7i
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g7i2010-08-17T01:49:34.426156+10:00
<div class="md"><p>Is your additive example supposed to be the minimum number of 1s needed to represent n as a product or sum of 1s? It looks like that but if so, 6 should be ((1+1)(1+1+1)) and 11 should be (1+(1+1)(1+1+1+1+1)). 12 is still an "inversion."</p>
<p>ETA A few other numbers seem to be off as a result of the mistake with 6. 30 and 42 also have more compact representations.</p></div>
Johnicholas on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g7u
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g7u2010-08-17T02:31:36.573057+10:00
<div class="md"><p>No, it's one of the expressions with the minimum number of characters needed to represent the number, using this grammar:</p>
<p>EXP ::= ( EXP + EXP ) | ( EXP * EXP ) | ( NUM )</p>
<p>NUM ::= 1 | NUM + 1</p>
<p>As you can see, reasonable people can reasonably disagree on what is an appropriate grammar to use for minimum description length, even on arbitrary examples like this one.</p></div>
adsenanim on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gsu
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gsu2010-08-19T03:33:07.829102+10:00
<div class="md"><p>An observation about the number sequence:</p>
<p>...</p>
<p>3 == (1+1+1)</p>
<p>4 == (1+1+1+1)</p>
<p>5 == (1+1+1+1+1)</p>
<p>6 == (1+1+1+1+1+1)</p>
<p>7 == (1+1+1+1+1+1+1)</p>
<p>...</p>
<p>I would rewrite this as:</p>
<p>...</p>
<p>3 == (1+1+1)</p>
<p>4 == ((1+1)*(1+1))</p>
<p>5 == (1+1+1+1+1)</p>
<p>6 == ((1+1)*(1+1+1))</p>
<p>7 == (1+1+1+1+1+1+1)</p>
<p>...</p>
<p>Where the first inversion is at 4-5.
The reason I do this is because of the relation to primes and to make the pattern seem more consistent. Then of course the next step would be exponent notation:</p>
<p>…</p>
<p>8 == ((1+1)^(1+1+1)</p>
<p>…</p>
<p>So the idea of choosing the correct method of patterning can change dramatically with small changes in rules, such that we can have:</p>
<p>8 == (1+1+1+1+1+1+1+1)</p>
<p>8 == ((1+1)*(1+1+1+1))</p>
<p>8 == ((1+1)^(1+1+1)</p>
<p>And the places of inversion will change according to method.</p>
<p>A question in an evolutionary context: Say the operators are symbols of evolutionary complexity, increasing from addition to multiplication to exponent, wouldn't use be situational? Given specific circumstances could one "8" be more valid than another "8", even though the understanding is that they amount to the same thing? Is the pattern one method will make more valid than the pattern of another?</p>
<p>I can’t help but think that the method is dependent on the amount of space in which we have to create the pattern, that the addition method is ok for a large posting width, and small numbers, but as the numbers increase and/or the posting width decreases, method becomes more important, maybe even requiring the creation (evolution) of more operators for more methods ...</p></div>
thomblake on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gt3
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gt32010-08-19T04:21:27.393585+10:00
<div class="md"><p>A little off-topic, but you can greatly shorten your descriptions above. In the case where you're just adding 1's, you could just as well leave off the pluses or the 1's. So 8 == 11111111
And you don't need the parens since the operations you're actually performing always give higher precedence to addition than to multiplication. So then 8 == 11*11*11 == 11^111
And since you're never multiplying by 1 or mutiplying/adding zero, you can use pluses instead of 1's. So:</p>
<pre><code> 1 == 2 == + 3 == ++ 4 == +*+ 5 == ++++ 6 == +*++ 7 == ++++++ 8 == +^++ 9 == ++^++ 10 == ++++^+
</code></pre>
<p>And so on</p></div>
adsenanim on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gtu
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gtu2010-08-19T06:04:39.743773+10:00
<div class="md"><p>I think removing the parentheses can affect the overall pattern formation.</p>
<p>12 == (((1+1)^(1+1))*(1+1+1))</p>
<p>12 != +^+*++</p>
<p>Because we are changing the order of operations:</p>
<p>1+1^1+1*1+1+1</p>
<p>2^2*3</p>
<p>2^6</p>
<p>64</p>
<p>Also, I don't think there is a way to use exponents and make 12 without using parentheses.</p>
<p><em>So if we simplify the method of notation, then some operations cannot be used for certain numbers.</em> and this changes the pattern, and/or <em>the availability of possible patterns.</em></p>
<p>This topic is discussed in D. Hofstadter's book Godel, Escher, Bach: an Eternal Golden Braid.</p></div>
thomblake on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gtw
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gtw2010-08-19T06:14:19.474286+10:00
<div class="md"><p>Indeed, I hadn't thought far enough ahead to worry about cases where order of operations would matter between exponentiation and multiplication. So parens would have to be acceptable where it's ambiguous. What the default order of operations should be, can be left as an exercise for the reader.</p>
<p>as for your specific concern, if we left the order of operations as "+ then ^ then *", +^+*++ would work fine.</p></div>
DSimon on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gud
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gud2010-08-19T07:26:09.503010+10:00
<div class="md"><p>We could keep the abbreviated syntax but avoid the necessity of parentheses by using post-op notation, couldn't we?</p></div>
thomblake on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gue
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gue2010-08-19T07:32:36.412020+10:00
<div class="md"><p>For that, I think we'd need a stack with a line-termination character. In effect, we'd be removing two characters for one, which I suppose would be an improvement.</p></div>
adsenanim on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2guh
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2guh2010-08-19T08:02:25.676951+10:00
<div class="md"><p>So:</p>
<ul>
<li><p>The order of operations can be variable dependent on the number</p></li>
<li><p>The notation method effects pattern</p></li>
<li><p>The pattern can change if primes are always used</p></li>
<li><p>Etc.</p></li>
</ul>
<p>How many ways can we change the rules? How many rules are there?</p>
<p>It is amazing just how much variation in pattern can be achieved just by changing and/or adding/subtracting rules.</p>
<p>There is the general rule of rules:</p>
<p>The fewer the rules, the less variable the pattern, and the inverse, the more rules the more variable the pattern.</p>
<ul>
<li>Sorry for the late edit, but, I would also add that the fewer the rules the less <em>adaptable</em> as well...</li>
</ul></div>
Unknowns on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g47
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g472010-08-16T14:58:35.618414+10:00
<div class="md"><p>If there are a very large number of fundamental particles, it is likely that there is some reason for the number, rather than being a merely random number, and if so, then you would likely reach the truth quicker by using some version of Kolmogorov complexity, rather than counting the particles one by one as you discover them.</p></div>
cousin_it on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g4y
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g4y2010-08-16T18:27:32.300327+10:00
<div class="md"><p>This is circular. You assume that the universe is likely to have low K-complexity and conclude that a K-complexity razor works well. Kelly's work requires no such assumption, this is why I think it's valuable.</p></div>
Unknowns on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g5e
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g5e2010-08-16T20:40:19.572990+10:00
<div class="md"><p>Yes, "It is likely that there is some reason for the number" implies a low Kolmogorov complexity. But it seems to me that if you look at past cases where we have already discovered the truth, you may find that there were cases where there were indeed reasons, and therefore low K-complexity. If so that would give you an inductive reason to suspect that this will continue to hold; this argument would not be circular. In other words, as I've said previously, in part we learn by induction which type of razor is suitable.</p></div>
Oscar_Cunningham on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gtm
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gtm2010-08-19T05:16:51.634858+10:00
<div class="md"><p>But then you've got to justify induction, which is as hard as justifying Occam.</p></div>
Unknowns on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gtn
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gtn2010-08-19T05:29:15.506584+10:00
<div class="md"><p>I have a justification for induction too. I may post it at some point.</p></div>
khafra on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gz5
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gz52010-08-19T23:52:55.286618+10:00
<div class="md"><p>Is this a "margin is too small to contain" type of thing? Because I would be very surprised if there were a philosophically airtight location where <a href="http://lesswrong.com/lw/s0/where_recursive_justification_hits_bottom/">recursive justification hits bottom</a>.</p></div>
Oscar_Cunningham on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gtr
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2gtr2010-08-19T05:53:27.881015+10:00
<div class="md"><p>Cool.</p></div>
NancyLebovitz on Kevin T. Kelly's Ockham Efficiency Theorem
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g6h
http://lesswrong.com/lw/2l9/kevin_t_kellys_ockham_efficiency_theorem/2g6h2010-08-17T00:13:17.601427+10:00
<div class="md"><blockquote>
<p>If there are a very large number of fundamental particles, it is likely that there is some reason for the number,</p>
</blockquote>
<p>Could you expand on this?</p>
<p>The only reason I can think of is that the particles have various qualities, and we've got all the possible combinations.</p>
<p>I assume that there some range of numbers which suggest an underlying pattern-- it's vanishingly unlikely that there's a significance to the number of stars in the galaxy.</p>
<p>I think there was something in Gregory Bateson about this-- that there's a difference between a number that's part of a system (he was talking about biology, not physics) as distinct from "many".</p></div>