= 27d567bc2d48d9f40e9ccc20ea370b15)
D_Malik comments on Open thread, Mar. 23 - Mar. 31, 2015 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (181)
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.