程序 Eurisko 由 Douglas Lenat 在 70 年代末和 80 年代开发。 据称它擅长学习通用模式和启发式方法，并提高自身性能。 当然，Lenat 从未发布源代码，并且很少公布关于该程序确切内部运作的信息。 那么，在缺乏官方解释的情况下，如何设计像 Eurisko 这样的程序呢？ 今天有哪些可用的开源技术可以使实现更加实用？

回答：

事实上，Lenat 发表了相当多的关于 Eurisko 的文章（20 年前我对这个非常感兴趣）。 如果我没记错的话，他在人工智能文献中发表了很多论文，（这里有一个关键的：”为什么 Eurisko 似乎有效” http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.89.1269&rep=rep1&type=pdf

Eurisko 是基于他在斯坦福大学获得的关于 AM (“A Mathematician”) 的博士论文。

我建议你先看看那些 :-}

我不知道“开源”的情况，但我肯定会考虑使用 LISP（Lenat 曾使用），或者 Prolog（因为它具有良好的符号操作支持），而 Eurisko 实际上是关于符号计算的。