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.
Nº Q3060518 ★
Común · Literatura
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.
En Wikipedia
Texto en inglés Aún no hay artículo en tu idioma: extracto en inglés.
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.
Texto: Wikipedia en inglés, CC BY-SA 4.0. ·
Cartas cercanas
-
E
Emacs Lisp
Dialecto del lenguaje de programación Lisp
Nº Q1334586 ★
Sin ofertas
-
M
MathJax
Biblioteca de JavaScript que muestra ecuaciones matemáticas en los navegadores web
Nº Q3137109 ★
Sin ofertas
-
TypeScript
Lenguaje de programación, superconjunto de JavaScript, que se compila a este último.
Nº Q978185 ★★★★
Sin ofertas
-
E
Easy Approach to Requirements Syntax
Structured method for writing natural language requirements
Nº Q138033699 ★
Sin ofertas
-
L
Lean
Demostrador de teoremas
Nº Q6509476 ★★★
Sin ofertas
-
Ken Perlin
Nº Q6388302 ★
Sin ofertas