News for hackers. Stuff that matters.

A comment on Eurisko, The Computer With A Mind Of Its Own. Parent comment

Re:Eurisko, The Computer With A Mind Of Its Own by akkartik on Saturday December 13, 2008 @09:54PM (#397185)
No, eurisko nobody has :) The version of AM I have was written by one of my professors at the University of Texas Austin, and is in an ancient dialect of prolog. I'm not sure if it was ok to redistribute. Let me check.

I got it working on gprolog last week, but it seems to cause stack overflows :(

[ Parent | on HN ]
Re:Eurisko, The Computer With A Mind Of Its Own by cabalamat on Sunday December 14, 2008 @08:21AM (#397352)
> No, eurisko nobody has :)

So why is that? Does Lenat not want anyone to see it? Or was the code lost?

BTW am I right in presuming that the original AM was written in Lisp?

[ Parent | on HN ]
Re:Eurisko, The Computer With A Mind Of Its Own by akkartik on Sunday December 14, 2008 @05:13PM (#397702)
Yes, the original papers indicate it was in lisp. "Why AM appears to work" suggested that a lot of the reason math was a good domain for discovery was just that lisp is well-suited to the domain. And Eurisko could modify heuristics expressed as s-expressions.

People have asked him, but I'm not aware of Lenat ever commenting on the source code. Cycorp is substantially funded by DARPA, and I wouldn't be surprised if Eurisko is part of its IP now.

Feel free to email me to take this offline.

[ Parent | on HN ]