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 ★
Comum · 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.
Na Wikipédia
Texto em inglês Ainda não há artigo no seu idioma: trecho em 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: Wikipédia em inglês, CC BY-SA 4.0. ·
Cartas próximas
-
E
Emacs Lisp
Linguagem de programação
Nº Q1334586 ★
Sem ofertas
-
M
MathJax
Cross-browser JavaScript library that displays mathematical equations in web browsers
Nº Q3137109 ★
Sem ofertas
-
TypeScript
Linguagem de programação
Nº Q978185 ★★★★
Sem ofertas
-
E
Easy Approach to Requirements Syntax
Structured method for writing natural language requirements
Nº Q138033699 ★
Sem ofertas
-
L
Lean (linguagem de programação)
Software para demonstração interativa e automatizada de teoremas
Nº Q6509476 ★★★
Sem ofertas
-
Ken Perlin
American computer scientist & university professor
Nº Q6388302 ★
Sem ofertas