Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

Automatic programming, an example

12 Post author: Thomas 01 February 2012 08:55PM

Say, that we have the following observational data:

 

Planet Aphelion
000 km
Perihelion
000 km
Orbit time
days
Mercury 69,816 46,001 88
Venus 108,942 107,476 225
Earth 152,098 147,098 365
Mars 249,209 206,669 687
Jupiter 816,520 740,573 4,332
Saturn 1,513,325 1,353,572 10,760
Uranus 3,004,419 2,748,938 30,799
Neptune 4,553,946 4,452,940 60,190
Pluto 7,311,000 4,437,000 90,613

 

The minimal, the maximal distance between a planet and the Sun (both in thousands of kilometres) and the number of (Earth) days for one revolution around the Sun. Above is only the empirical data and no binding algorithm among the three quantities. The celestial mechanics rules which go by the name of the Kepler's laws. Can those rules be (re)invented by a computer program and how?

The following program code will be put into a simulator:

//declarations of the integer type variables
$DECLAREINT bad perihelion aphelion orbit guess dif temp zero temp1

//table with the known data in a simulator friendly format
$INVAR perihelion(46001) aphelion(69816) orbit(88)
$INVAR perihelion(107476) aphelion(108942) orbit(225)
$INVAR perihelion(147098) aphelion(152098) orbit(365)
$INVAR perihelion(206669) aphelion(249209) orbit(687)
$INVAR perihelion(740573) aphelion(816520) orbit(4332)
$INVAR perihelion(1353572) aphelion(1513325) orbit(10760)
$INVAR perihelion(2748938) aphelion(3004419) orbit(30799)
$INVAR perihelion(4452940) aphelion(4553946) orbit(60190)
$INVAR perihelion(4437000) aphelion(7311000) orbit(90613)

// variables orbit and bad can't be touched by the simulator
//to avoid a degeneration to a triviality
$RESVAR orbit bad

//do NOT use if clause, while clause do not set direct numbers ...
$RESCOM if while val_operation inc_dec

//bad is the variable, by which the whole program will be judged
//a big value of bad is bad. By this criteria programs will be wiped out
//from their virtual existence. A kind of anti-fitness
$PENVAL bad

//do show the following variables when simulating
$SHOWVAR bad,orbit,guess,dif

//penalize any command with 0 (nothing) and every line by 1 point
$WEIGHTS commands=0 lines=1

//minimize the whole program to 20 lines or less
$MINIMIZE lines 20

$BES
//the arena, where algorithms will be
//created and the fittest only will survive
$EES

//testing area where the simulator has no write access to
//here the bad (the penalized variable) is calculated
//bigger the difference between the known orbit and the variable guess
//worse is the evolved algorithm
dif=orbit-guess;
dif=abs(dif);
bad=dif;
temp=dif;
temp*=10000;
temp1=temp/orbit;
temp=temp1*temp1;
bad=bad+temp;
//end of the testing area

 

After several hours the following C code has been evolved inside of the $BES - $EES segment.

 

aphelion=perihelion+aphelion;
aphelion=aphelion+aphelion;
aphelion=aphelion+aphelion;
guess=12;
aphelion=aphelion>>guess;
temp=aphelion/guess;
aphelion=aphelion-temp;
dif=sqrt(aphelion);
aphelion=guess|aphelion;
aphelion=aphelion*dif;
aphelion=guess^aphelion;
guess=aphelion/guess;

 

What the simulator does? It bombards the arena segment with a random C commands. Usually it then just notices a syntax error and repairs everything to the last working version. If everything is syntactically good, the simulator interprets the program and checks if the mutated version causes any run-time error like division by zero, a memory leak and so on. In the case of such an error it returns to the last good version. Otherwise it checks the variable called "bad", if it is at least as small as it was ever before. In the case it is, a new version has just been created and it is stored.

The evolutionary pressure is working toward ever better code, which increasingly well guesses the orbit time of nine planets. In this case the "orbit" variable has been under the $RESVAR clause and then the "gues" variable has been tested against the "orbit" variable. Had been no "$RESVAR orbit" statement, a simple "guess=orbit;" would evolve quickly. Had been no "$RESVAR bad" statement a simple "bad=-1000000;" could derail the process.

Many thousands of algorithms are born and die every second on a standard Windows PC inside this simulator. Million or billion generations later, the digital evolution is still running, even if an excellent solution has been already found.

And how good approximation for the Kepler (Newton) celestial mechanics of the Solar system we have here?

This good for the nine planets where the code evolved:

Planet Error %
Mercury 0.00
Venus 0.44
Earth 0.27
Mars 0.29
Jupiter 0.16
Saturn 0.65
Uranus 0.10
Neptune 0.79
Pluto 1.08

 

And this good for the control group of a comet and six asteroids:

 

Asteroid/Comet Error %
Halley 1.05
Hebe 1.37
Astraea 1.99
Juno 3.19
Pallas 1.66
Vesta 2.49
Ceres 2.02

 

Could be even much better after another billion generations and maybe with even more $INVAR examples. Generally, you can pick any three columns from any integer type table you want. And see this way, how they are related algorithmically. Can be more than three columns also.

The name of the simulator (evoluator) is Critticall and it is available at http://www.critticall.com

Comments (33)

Comment author: wmorgan 01 February 2012 10:10:13PM *  9 points [-]

The generated code is bizarre. I refactored it as well as I could, and it still doesn't make much sense:

aphelion = (aphelion + perihelion) >> 10;
aphelion = aphelion - (aphelion / 12);
guess = ( ( (aphelion | 12) * (int)sqrt(aphelion) ) ^ 12 ) / 12;

"To get the orbit time in days from the aphelion and perihelion in Kkm, first sum them and divide by 1024. Then from that, subtract one twelfth. Then, to the value, perform a bitwise OR with 0x0C, multiply by the square root, and bit-XOR 0x0C again. Finally, divide by 12, and that will give you the number of days."

Comment author: jimrandomh 02 February 2012 02:03:55AM 28 points [-]

The three problems with the code are that the variable names are all lies, there's a bunch of redundant rescaling which isn't consolidated because it's done in integer math when it should be floating point, and there are a couple bits of overfitting (bitwise operators) that don't belong. If you convert to SSA and wipe out the misleading names, you get:

a1 = perihelion+aphelion Real
a2 = a1+a1 Rescaling
a3 = a2+a2 Rescaling
g1 = 12 Rescaling
a4 = a3>>g1 Rescaling
t1 = a4/g1 Rescaling
a5 = a4-t1 Rescaling
d1 = sqrt(a5) Real
a6 = g1|a5 Overfit
a7 = a6*d1 Real
a8 = g1^a7 Overfit
guess = a8/g1 Rescaling

If you replace the overfitting with pass-throughs (a6=a5, a8=a7), then pretend it's floating point so that you can consolidate all the rescaling into a single multiplicative constant, you get

guess = k * (perihelion+aphelion)*sqrt(perihelion+aphelion)

Which is Kepler's third law.

Comment author: RolfAndreassen 01 February 2012 10:28:34PM 6 points [-]

This reminds me of the discussion from last week of the code that a self-modifying AI might produce; I said then that I thought people were not thinking Weirdly enough. This is indeed an example of Weirdness. Obviously no human would come up with such a thing. Yet it works, more or less; although the hardcoded numbers make me suspect that its range of applicability may not be great. Testing it on some numbers typical of, say, solar orbits around the galactic core, might produce some surprising results.

It would also be interesting to compare this for speed, as well as accuracy, with a Kepler's-law implementation.

Comment author: Thomas 02 February 2012 07:15:19AM *  2 points [-]

divide by 1024

Actually by 4096. And it is a rescaling as jimrandomh points out.

Comment author: FeepingCreature 02 February 2012 11:33:06AM 4 points [-]

Am I crazy? A right shift by 10 is equivalent to a division by 2^10. 2^10 is 1024..

Comment author: Thomas 02 February 2012 05:28:46PM *  2 points [-]

No. The posted code has a bit shift right for 12 places. The already optimized code by wmorgan has a bit shift for only 10 bits.

The metacommand $RESCOM if while val_operation inc_dec caused this. Having two constants (10 and 12) would be undesirable be cause of this "val_operation" and therefore only the constant 12 was used.

Comment author: wmorgan 02 February 2012 07:18:41PM 1 point [-]

This is the generated code segment:

aphelion=aphelion+aphelion;
aphelion=aphelion+aphelion;
guess=12;
aphelion=aphelion>>guess;

Those four lines together amount to a shift 10 bits to the right, i.e., division by 1024.

I think you understand what's going in the code. The point of my refactoring was to make something that was human-readable: something that I could describe in English. And the English for those four lines of code is "divide by 1024." That's what those four lines do.

Comment author: jimrandomh 02 February 2012 07:13:33PM 1 point [-]

The extra two places of bit shifting cancel with two previous self-additions.

Comment author: Thomas 02 February 2012 07:29:21PM 1 point [-]

I know and I agree with this.

Then you have two different constants (10 and 12). One for the shifting and another for the division. It's nothing wrong with that, but the simulator was prevented to have more constants then absolutely necessary. So everything was done with the "12" and I was discussing that.

Comment author: Douglas_Knight 02 February 2012 01:47:19AM *  1 point [-]

The XOR with 12 won't do much after dividing by 12. For small radii, OR with 12 (in units of about 10^6km) will have an effect. These two constants are probably just overfitting. Indeed, it nails Mercury, the smallest and thus most vulnerable to these effects.* Rounding** the square root is also probably overfitting or just noise. It will have a larger effect, but smooth across planets, so it is probably canceled out by the choice of other numbers. Ignoring those three effects, it is a constant times the 3/2 power of average of the axes. The deviation from Kepler's law is that it should ignore perihelion.*** But for un-eccentric orbits, there's no difference. Since the training data isn't eccentric, this failure is unsurprising. That is, the code is unsurprising; that the code is so accurate is surprising. That it correctly calculates the orbital period of Halley's comet, rather than underestimating by a factor of 2^(3/2) is implausible.***

* The control group is too homogeneous. If it contained something close in, overfitting for Mercury would have been penalized in the final evaluation.

** Are you sure it's rounding? [Edit: Yes: bitwise operations are strongly suggestive.]

*** These statements are wrong because I confused apehelion with the semi-major axis. So removing the bitwise operations yields exactly Kepler's law. If you switch from ints to doubles it becomes more accurate. But wmorgan has a constant error: it is divide by 4096, not 1024. This should make the rounding errors pretty bad for Mercury. Maybe the bitwise operations are to fix this, if they aren't noise. My C compiler does not reproduce the claimed error percentages, so I'm not going to pursue this.

Comment author: jmmcd 02 February 2012 07:23:28PM *  7 points [-]

This is a fairly typical example of genetic programming, albeit written in a slightly "outsider" way.

No criticism, but readers should be given the standard name of the technique.

EDIT in particular it's GP symbolic regression. On the other hand it's atypical in that there's no crossover.

Comment author: wmorgan 01 February 2012 10:13:40PM *  4 points [-]

Very interesting demonstration. Thanks for sharing this; it was fun to read through! I think I have a pretty good idea of how it works.

As a professional programmer:

That code it generated...is really, really shitty. It's unreadable, and for that reason, a human cannot look at the generated code and figure out "what's going on," i.e. Kepler's laws. Insofar as it works, it's much more reminiscent of 0x5f3759df, but that algorithm was optimizing for speed, not correctness or elegance.

I'm not surprised that the algorithm does worse on the control group, for the same reason that I'd question the assumption that it will do better on future generations. It could easily be over-fitting, partially because there is no selection pressure for an elegant solution. Empirically, elegant code does better in novel contexts.

Comment author: shminux 02 February 2012 01:23:27AM 3 points [-]

"Evolution is dumb, but it works" -- I believe that showing that was the (implicit) goal, and it was amply demonstrated.

Comment author: siodine 01 February 2012 10:11:49PM 4 points [-]
Comment author: loveandthecoexistenc 04 February 2012 01:29:32AM *  0 points [-]

Also related: mirror.fem-net.de/CCC/28C3/mp4-h264-HQ/28c3-4764-en-automaticalgorithminventionwithagpuh264.mp4.torrent - another outsider perspective explanation of genetic programming.

Comment author: Anubhav 04 February 2012 04:45:52PM 1 point [-]

You need to escape the underscores.

Comment author: Incorrect 01 February 2012 09:54:49PM 3 points [-]

Usually it then just notices a syntax error and repairs everything to the last working version

That sounds like a terrible waste. Why not use a tree-based model of C that excludes as many invalid programs as practical?

Comment author: Thomas 02 February 2012 07:36:21AM 3 points [-]

That sounds like a terrible waste.

Technically speaking this is a very swift part, since every syntax error is detected before the code is rewritten and the mutations are just abandoned.

Comment author: shminux 02 February 2012 01:21:02AM 2 points [-]

Most random mutations are fatal, so it fits perfectly.

Comment author: RolfAndreassen 02 February 2012 03:28:03AM 10 points [-]

That depends on whether your purpose is to produce an analog with evolution, which we already have plenty of, or a new method for making working code.

Comment author: jmmcd 02 February 2012 07:48:43PM 1 point [-]

That is the more common approach. Grammatical evolution is one method.

Comment author: Houshalter 14 March 2015 08:45:39AM 1 point [-]

Eureqa is a much better tool for this. It come up with the solution Orbit = 0.01239*Aphelion in a few seconds. Some other solutions it found: http://i.imgur.com/tZwBedp.png?1

Comment author: Thomas 11 September 2017 07:10:29AM 0 points [-]

Kepler's law isn't O=constant*A. This is very wrong, silly even.

Comment author: Luke_A_Somers 02 February 2012 03:58:44PM 0 points [-]

Given the overall lack of eccentricity among the planets, I suspect this would converge faster if you started over, switching the training and test groups.

Comment author: Dmytry 06 February 2012 08:05:46PM *  0 points [-]

The genetic programming may work better for creating a strong AI than to solve that kind of problem. The intelligence did evolve, heh, heh.

If you are trying to evolve a program that solves something of this kind, you end up with an entirely wrong algorithm, constants in which are going to evolve to make the best outcome there can be. The solution just gets stuck in local maximum. Like human eye that has retina backwards. It is more productive to try to iterate over possible solutions starting from the simplest (to implement occam's razor), using some separate process (hill climbing from several random points?) to tune the constants to their best.