Eurisko
Eurisko (εὑρίσκω, je découvre) est un programme informatique écrit en Lisp par Douglas Lenat. Eurisko est une évolution du programme Automated Mathematician et consiste en un ensemble d'heuristiques, c'est-à-dire des règles empiriques. Certaines de ces heuristiques permettent notamment de modifier toute heuristique.
Nº Q3060518 ★
Commune · Littérature
Eurisko
Eurisko (εὑρίσκω, je découvre) est un programme informatique écrit en Lisp par Douglas Lenat. Eurisko est une évolution du programme Automated Mathematician et consiste en un ensemble d'heuristiques, c'est-à-dire des règles empiriques. Certaines de ces heuristiques permettent notamment de modifier toute heuristique.
Sur Wikipédia
Eurisko (εὑρίσκω, je découvre) est un programme informatique écrit en Lisp par Douglas Lenat. Eurisko est une évolution du programme Automated Mathematician et consiste en un ensemble d'heuristiques, c'est-à-dire des règles empiriques. Certaines de ces heuristiques permettent notamment de modifier toute heuristique. Lenat était frustré des limitations de l'Automated Mathematician, qui ne pouvait s'appliquer qu'à un unique domaine, ce qui le mena à développer Eurisko. Ses frustrations et l'effort nécessaire à l'encodage des connaissances spécifiques au domaine d'utilisation dans Eurisko ont mené Douglas Lenat à développer Cyc (qui est toujours en développement en 2014). Lenat espère un jour coupler la base de connaissances de Cyc avec le programme de découverte Eurisko.
Texte : Wikipédia, CC BY-SA 4.0. ·
Cartes voisines
-
E
Emacs Lisp
Dialecte du langage de programmation Lisp
Nº Q1334586 ★
Pas en vente
-
M
MathJax
Logiciel informatique
Nº Q3137109 ★
Pas en vente
-
TypeScript
Langage de programmation qui se transpile en JavaScript
Nº Q978185 ★★★★
Pas en vente
-
E
Easy Approach to Requirements Syntax
Nº Q138033699 ★
Pas en vente
-
L
Lean (assistant de preuve)
Assistant de preuve
Nº Q6509476 ★★★
Pas en vente
-
Ken Perlin
Informaticien américain
Nº Q6388302 ★
Pas en vente