Eurisko - Eurisko
| Auteur(s) original(aux) | Douglas Lénat |
|---|---|
| Écrit en | RLL-1 |
| Taper | système d'apprentissage |
Eurisko ( Gr. , je découvre ) est un système de découverte écrit par Douglas Lenat en RLL-1 , un langage de représentation lui-même écrit dans le langage de programmation Lisp . Une suite à Automated Mathematician , il se compose d' heuristiques , c'est-à-dire de règles empiriques, y compris des heuristiques décrivant comment utiliser et modifier ses propres heuristiques. Lenat était frustré par la contrainte du mathématicien automatisé à un seul domaine et a ainsi développé Eurisko ; sa frustration face à l'effort d'encodage de la connaissance du domaine pour Eurisko a conduit au développement ultérieur (et, à partir de 2020, continu) de Cyc . Lenat envisage à terme de coupler la base de connaissances Cyc avec le moteur de découverte Eurisko.
Histoire
Le développement a commencé à Carnegie Mellon en 1976 et s'est poursuivi à l'Université de Stanford en 1978 lorsque Lenat est revenu enseigner. "Pendant les cinq premières années, rien de bon n'en est sorti", a déclaré Lenat. Mais lorsque l'implémentation a été changée en une représentation basée sur un langage de cadre qu'il a appelé RLL ( Representation Language Language ), la création et la modification heuristiques sont devenues beaucoup plus simples. Eurisko a ensuite été appliqué à un certain nombre de domaines avec un succès surprenant, y compris la conception de puces VLSI .
Lenat et Eurisko ont gagné en notoriété en soumettant la flotte gagnante (un grand nombre de navires stationnaires, légèrement blindés avec de nombreuses petites armes) au championnat national des États-Unis Traveler TCS en 1981, forçant d'importants changements dans les règles du jeu. Cependant, Eurisko a de nouveau gagné en 1982 lorsque le programme a découvert que les règles autorisaient le programme à détruire ses propres navires, lui permettant de continuer à utiliser à peu près la même stratégie. Les officiels du tournoi ont annoncé que si Eurisko gagnait un autre championnat, la compétition serait abolie ; Lenat a retiré Eurisko du match. Les victoires du Traveller TCS ont attiré l'attention de Lenat sur la DARPA , qui a financé une grande partie de ses travaux ultérieurs.
Dans la culture populaire
Dans l' épisode de la première saison de The X-Files " Ghost in the Machine ", Eurisko est le nom d'une société de logiciels fictive responsable du " monstre de la semaine " de l'épisode , un logiciel de gestion des installations connu sous le nom de " Central Operating System ", ou " COS". COS (décrit dans l'épisode comme un "réseau adaptatif") se révèle capable d'apprendre lorsque son concepteur arrive au siège d'Eurisko et est surpris de constater que COS s'est donné la capacité de parler. Le concepteur est obligé de créer un virus pour détruire COS après que COS a commis une série de meurtres dans un effort apparent pour empêcher sa propre destruction.
Lenat est mentionné et Eurisko est discuté à la fin de la conférence sur l'heuristique informatique de Richard Feynman dans le cadre de la série d'ateliers sur la pensée idiosyncratique.
Lenat et Eurisko sont mentionnés dans le roman de James Rollins Crucible qui traite de l' intelligence artificielle et de l' intelligence artificielle générale .
Remarques
Les références
- Comprendre les ordinateurs : l'intelligence artificielle . Amsterdam : Livres de la vie du temps . 1986. p. 81-84. ISBN 978-0-7054-0915-5.
- Lénat, Douglas ; Brown, JS (1984). "Pourquoi AM et EURISKO semblent fonctionner" (PDF) . Intelligence Artificielle . 23 (3) : 269-294. CiteSeerX 10.1.1.565.8830 . doi : 10.1016/0004-3702(84)90016-X .
- Haase, Kenneth W (février 1990). "Invention et exploration en découverte" . Institut de technologie du Massachusetts . Archivé de l'original (PDF) le 2005-01-22 . Récupéré le 13/12/2008 .