A problem-decomposition method using differences or equivalence relations between states
Artificial Intelligence
Artificial intelligence
Introduction to artificial intelligence
Introduction to artificial intelligence
Artificial intelligence: a theoretical approach
Artificial intelligence: a theoretical approach
A Formal Deductive Problem-Solving System
Journal of the ACM (JACM)
Sufficient Conditions for the Success of GPS
Journal of the ACM (JACM)
Mechanical Discovery of Classes of Problem-Solving Strategies
Journal of the ACM (JACM)
Using Examples, Case Analysis, and Dependency Graphs in Theorem Proving
Proceedings of the 7th International Conference on Automated Deduction
Hi-index | 0.00 |
For the purposes of this paper self-improvement will be defined to be the automatic development of problem solving heuristics. The reason for such a narrow definition will be indicated. Precise formulation of the concepts of problem and game will form the basis for the discussion of self-improving programs and an attempt to deal with the question of their adequacies.The relationship between self improvement and the process of learning will be established in specific cases. The idea of “proof generalization” as a basis of self-improvement will also be discussed. Case studies, where they exist and are understood will be indicated.