Cover Images
Above is the cover image, and below, in chronological order, are
reprints of six images from the cover. You can get a really-big
version of some of the images
by clicking on them.
A planning algorithm from Aristotle's De Motu Animalium (c. 400 B.C.):
A diagram of a concept generator from Ramon Lull's Ars Magna (c. 1300):
Charles Babbage's difference engine (1848):
Gottlob Frege's notation for first-order logic (1879):
Lewis Carroll's diagrams for logical reasoning (1886):
Sewall Wright's probabilistic network notation (1921):
Alan Turing (1912-1954):
Shakey the Robot (1969-1973):
Part of the CPSC medical diagnostic expert system (1993):
