Teramachine marches on towards primary-school student level. Function inversion (in the mathematical sense) with one example (assuming one-shot learning) is implemented like this in the current code, to give you a flavor of how neat O'Caml code can look: let
I have maintained for ages that terminological and polemical discussions are fruitless and therefore fit for fools. However, every now and then we are being forced into such trivial controversy. I will reminisce an old foe from the glorious days
translating between OCaml Scheme and Haskell. Ah, I just stumbled on this page while searching for what people use for a composition operator in O'Caml. It gives a comprehensive guide to translating among these languages.
Pei Wang on the Path to Artificial General Intelligence. Ben Goertzel interviews Pei Wang. The interview does contain some interesting questions. It sounds as if Ben believes in a kind of "embodied inteligence". However, it also seems to me that
Presently, most researchers assume that a general-purpose human-level or beyond AI system must be autonomous. This is mostly due to AIMA's agent designs and Hutter's version of intelligence definitions that emphasize agent design. That is to say, an agent thinks