Zendo, the game of inductive logic has been discussed many times on Less Wrong. To make things easier for new players, I made a web application that generates Koans of several difficulty levels. You can find it here.
Nice!
It would also be cool to write a program to play Zendo, as master. Perhaps using character-strings rather than Icehouse pieces. That would probably train induction faster than playing against humans, since there's less social overhead. Though I'm doubtful that that training would generalize to things that aren't Zendo. If one did this, it would probably also be best to get a larger set of possible predicates, and maybe construct rules recursively as logic sentences, so it's harder to just learn the program's rule-distribution.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should be posted in Discussion, and not Main.
4. Open Threads should start on Monday, and end on Sunday.