Update on this project: Lenat’s thesis on AM is available for purchase online, and explains with all necessary details how AM works. (AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search) Unfortunately I have not found a paper that describes Eurisko itself with the same degree of precision, but that’s not too much of an issue.
For a school project, I am reimplementing AM in the context of chess-playing, and it’s looking good. Lenat’s thesis is largely enough to do that.
Update on this project: Lenat’s thesis on AM is available for purchase online, and explains with all necessary details how AM works. (AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search)
Unfortunately I have not found a paper that describes Eurisko itself with the same degree of precision, but that’s not too much of an issue.
For a school project, I am reimplementing AM in the context of chess-playing, and it’s looking good. Lenat’s thesis is largely enough to do that.