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. 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.
Références
- (en) Understanding Computers: Artificial Intelligence, en:Time-Life Books, 1986Amsterdam, pp. 81-84, (ISBN 0-7054-0915-5)
- (en) Lenat, D. B. (1983). "EURISKO: A program that learns new heuristics and domain concepts." Artificial Intelligence 21, pp. 61-98.
- (en) Lenat, D. B., and Brown, J. S. (1984). "Why AM and EURISKO appear to work." Artificial Intelligence 23(3):269--294.