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
Narrow AI is not AI (And AGI is just computer science!)
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
An extensive post on translating between OCaml Scheme and Haskell
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
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
Autonomous AI: reptile, human or better?
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