Name
Abstract | ||
|---|---|---|
A program called "AM" is described which cairies on simple mathematics research: defining, and studying new concepts under the guidance of a large body of heuiistic rules. The 250 heurKtus communicate via an agenda mechanism, a global priority queue of small bisk', for the program to pei foim and teasons why each task is plausible (e.g., "Find PENCRAHZTION. of 'prnes', because turued out to be so useful a Conccpi"). Fach concept is an active, structured knowledge module. One bundled vei y incomplete modules are initially supplied, each one corresponding to an elementary set theoretic concept (e.g., union). This provides a definite but immense space which AM begins to explore. In one boor, AM rediscovers hundreds of common concepts (including singleton sets, natural numbers, arithmetic) and theorems (e.g., unique factorization). |
Year | Venue | Keywords |
|---|---|---|
1977 | IJCAI | agenda mechanism,elementary set theoretic concept,large body,heuiistic rule,incomplete module,common concept,natural number,automated theory formation,global priority queue,new concept,immense space,priority queue |
Field | DocType | Citations |
Discrete mathematics,Natural number,Computer science,Priority queue,Artificial intelligence,Unique factorization domain,Singleton,Machine learning | Conference | 43 |
PageRank | References | Authors |
56.60 | 5 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Douglas B. Lenat | 1 | 1986 | 895.91 |