Monjira Biswas
Hajira Choudry
Yasaman Kazerooni
Sooin Lee
Mehgha Shyam

research assistants


universität mainz
university of birmingham
university of massachusetts
universität marburg
nasa ames research center
national science foundation

Xiaoxiao Guo
Nan Jiang
John Laird

Satinder Singh

michigan computer science
michigan linguistics
Marc Berman
university of toronto
michigan psychology

a little historical background

Allen Newell and Herbert Simon in the 1950s

The background for our web site is a page of handwritten notes of Allen Newell's and Herb Simon's describing the operation of the Logic Theorist, the first working artificial intelligence computer program. The notes are dated November 15, 1955 (see below), and appear to be a worked out proof. You can peruse more such notes online at the Newell and Simon Collections at Carnegie Mellon.

Newell and Simon's pioneering joint work on the computational basis of human cognition, Newell's work on cognitive architecture, and Simon's work on bounded rationality provide much of the scientific backdrop for our present efforts.