Common · Literature
Eurisko
Lisp based discovery system written by Douglas Lenat
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.
From Wikipedia
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. 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 knowledge base with the Eurisko discovery engine.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
E★
Emacs Lisp
Dialect of Lisp used in GNU Emacs
-
M★
MathJax
Cross-browser JavaScript library that displays mathematical equations in web browsers
-
★★★★
TypeScript
Programming language, superset of JavaScript that compiles to JavaScript
-
E★
Easy Approach to Requirements Syntax
Structured method for writing natural language requirements
-
L★★★
Lean (proof assistant)
Software for interactive and automated theorem proving
-
★
Ken Perlin
American computer scientist & university professor