Realization of a geometry-theorem proving machine
Computers & thought
Journal of the ACM (JACM)
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
Learning Structural Descriptions From Examples
Learning Structural Descriptions From Examples
Human Problem Solving
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
The Computational Support of Scientific Discovery
Machine Learning and Its Applications, Advanced Lectures
The Computer-Aided Discovery of Scientific Knowledge
DS '98 Proceedings of the First International Conference on Discovery Science
Computational Revision of Quantitative Scientific Models
DS '01 Proceedings of the 4th International Conference on Discovery Science
Quantitative Revision of Scientific Models
Computational Discovery of Scientific Knowledge
Creative patterns and stimulation in conceptual design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
Artificial Intelligence
Scheme-based theorem discovery and concept invention
Expert Systems with Applications: An International Journal
Mathematical practice, crowdsourcing, and social machines
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
| Hi-index | 0.00 |
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 perform and teasons why each task is plausible (e.g., "Find PENCRAHZTION. of 'prnes', because turued out to be so useful a Concept"). Each concept is an active, structured knowledge module. One bundled very 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).