AM (Automated Mathematician)
GPTKB entity
Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:artificial_intelligence
gptkb:software |
| gptkbp:describedBy |
gptkb:Artificial_Intelligence_journal
|
| gptkbp:developer |
gptkb:Douglas_Lenat
|
| gptkbp:field |
gptkb:artificial_intelligence
gptkb:mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
AM (Automated Mathematician)
|
| gptkbp:influenced |
gptkb:Eurisko
|
| gptkbp:language |
gptkb:Lisp
|
| gptkbp:memberSchool |
gptkb:Stanford_University
|
| gptkbp:notableFor |
automated reasoning
early machine learning |
| gptkbp:purpose |
automated discovery of mathematical concepts
|
| gptkbp:relatedTo |
automated theorem proving
concept formation heuristics |
| gptkbp:yearCreated |
1976
|
| gptkbp:bfsParent |
gptkb:Doug_Lenat
|
| gptkbp:bfsLayer |
6
|