Automated Mathematician
id:
automated-mathematician-280-3245994
title:
Automated Mathematician
text:
The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Douglas 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 produc
brand slug:
wiki
category slug:
encyclopedia
description:
Artificial intelligence program
original url:
https://en.wikipedia.org/wiki/Automated_Mathematician
date created:
date modified:
2024-04-23T17:20:46Z
main entity:
{"identifier":"Q3851731","url":"https://www.wikidata.org/entity/Q3851731"}
image:
fields total:
13
integrity:
14