FIXME: Nothing in here yet! The following are just draft ideas of the stuff we want to try with Monod. Arrange formally and clean up as “Future Projects” soon.
XOR learning — this is the first recognized benchmark learning problem, because it is the simplest non-linearly-separable problem.
Parenthesis matching. Calculator — both verification and computation.
Baldwin effect. Starting from a single complex unit and breaking it up into manageable pieces.
Encoding and measuring entropy of the encoding and minimizing entropy.
Evolutionary results:
Parenthesis matching. Calculator — both verification and computation. Evolution of the parenthesis matching: probably the global verifier is too complex to evolve through a random mutation — and it would absolutely have to, since intermediate results are not useful. However, a gradual world which offers lots of different snippets (of many lengths) may allow for a gradual evolution — coevolution. Symmetric and asymmetric coevolution. Examples: refer to “The Symbolic Species”.
Metaevolution: evolution of the breeder.
Baldwin effect. Starting from a single complex Complex and breaking it up into manageable pieces.
Encoding and measuring entropy of the encoding and minimizing entropy.