Home (Automated Mathematician)

 Artificial Intelligence 

Home  
 
 
Home » Artificial Intelligence » Automated Mathematician


 

Automated Mathematician

Artificial Intelligence  Augmented transition network  Automated reasoning

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.


A sequal to , it consists of heuristics, i.e. rules of thumb, including heuristics describing how to use and change its heuristics. It was applied to a number of domains with surprising success.

Douglas Lenat programmed Automated Mathematician (AM), a program to rediscover number theory by itself.

discovery programs --- Lenat's (AM, 1977)
neural networks
Robotics
Knowledge Representation
Declarative Representations ...

See also: See also: Organization, System, Artificial intelligence, Knowledge, Heuristics

Artificial Intelligence  Augmented transition network  Automated reasoning

 
RSS Mobile