[ivan.moony]

SAD system site is ideal place to test your theories: http://nevidal.org/cgi-bin/sad.cgi. Check examples link for further info.

I use it for creation of Synth programming language. If I'm not sure if some construct yields some other construct, I try to prove it there to get the answer. I plan to make something like this and put it on the web,. That would be my starting point for autonomous AI. I'm still at design of a programming language that would easily provide a way to program this kind of inference (deduction). On the same site I also plan to provide abduction and induction which would get me in possession of all three necessary cognitive methods (deduction, abduction and induction).