Automated Mathematician

The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Doug Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.

AM worked by generating and modifying short Lisp programs which were then interpreted as defining various mathematical concepts; for example, a program that tested equality between the length of two lists was considered to represent the concept of numerical equality, while a program that produced a list whose length was the product of the lengths of two other lists was interpreted as representing the concept of multiplication. The system had elaborate heuristics for choosing which programs to extend and modify, based on the experiences of working mathematicians in solving mathematical problems.

Read more about Automated Mathematician:  Controversy, Successor, Further Reading

Other articles related to "automated mathematician":

History Of Robots - 1951 To 2000 - 1971 To 1980
... The knowledge based system Automated Mathematician was presented by Douglas Lenat in 1976 as part of his doctoral dissertation ... Automated Mathematician began with a knowledge of 110 concepts and rediscovered many mathematical principles Automated Mathematician was written in Lisp ...

Famous quotes containing the word automated:

    Now, as always, the most automated appliance in a household is the mother.
    Beverly Jones (b. 1927)