Eurisko

Original author(s)	Douglas Lenat
Written in	RLL-1
Type	discovery system

Eurisko (Gr., I discover) is a discovery system written by Douglas Lenat in RLL-1, a representation language itself written in the Lisp programming language. A sequel to Automated Mathematician, it consists of heuristics, i.e. rules of thumb, including heuristics describing how to use and change its own heuristics.^[1]^[2] Lenat was frustrated by Automated Mathematician's constraint to a single domain and so developed Eurisko; his frustration with the effort of encoding domain knowledge for Eurisko led to Lenat's subsequent development of Cyc. Lenat envisioned ultimately coupling the Cyc knowledgebase with the Eurisko discovery engine.

^ Lenat, Douglas (1983). "EURISKO: A program that learns new heuristics and domain concepts". Artificial Intelligence. 21 (1–2): 61–98. doi:10.1016/s0004-3702(83)80005-8.
^ Drexler, K. Eric (1986). "Thinking Machines (Chapter 5)". Engines of Creation. Doubleday. ISBN 978-0-385-19973-5. Archived from the original on 2018-02-16. Retrieved 2006-06-24. EURISKO ... is guided by heuristics ... in effect, various rules of thumb.

[1] Lenat, Douglas (1983). "EURISKO: A program that learns new heuristics and domain concepts". Artificial Intelligence. 21 (1–2): 61–98. doi:10.1016/s0004-3702(83)80005-8.

[2] Drexler, K. Eric (1986). "Thinking Machines (Chapter 5)". Engines of Creation. Doubleday. ISBN 978-0-385-19973-5. Archived from the original on 2018-02-16. Retrieved 2006-06-24. EURISKO ... is guided by heuristics ... in effect, various rules of thumb.

[1]

[2]