Experiments With a Multipurpose, Theorem-Proving Heuristic Program
Journal of the ACM (JACM)
Improving heuristic regression analysis
ACM-SE 6 Proceedings of the 6th annual Southeastern regional meeting of the Association for Computing Machinery and national meeting of Biomedical Computing - Volume 1
The use of imbedded patterns and canonical forms in a self-improving problem solver
ACM '67 Proceedings of the 1967 22nd national conference
An adaptive tree pruning system: A language for programming heuristic tree searches
ACM '68 Proceedings of the 1968 23rd ACM national conference
The Markgraf Karl refutation procedure
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Predicting the length of solutions to problems
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
The Q* algorithm: a search strategy for a deductive question-answering system
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A problem similarity approach to devising heuristics: first results
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Finding resolution proofs and using duplicate goals in and/or trees
Information Sciences: an International Journal
ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
Hi-index | 48.22 |
An automatic learning capability has been developed and implemented for use with the MULTIPLE (MULTIpurpose Program that LEarns) heuristic tree-searching program, which is presently being applied to resolution theorem-proving in predicate calculus. MULTIPLE's proving program (PP) uses two evaluation functions to guide its search for a proof of whether or not a particular goal is achievable. Thirteen general features of predicate calculus clauses were created for use in the automatic learning of better evaluation functions for PP. A multiple regression program was used to produce optimal coefficients for linear polynomial functions in terms of the features. Also, automatic data-handling routines were written for passing data between the learning program and the proving program, and for analyzing and summarizing results. Data was generally collected for learning (regression analysis) from the experience of PP.A number of experiments were performed to test the effectiveness and generality of the learning program. Results showed that the learning produced dramatic improvements in the solutions to problems which were in the same domain as those used for collecting learning data. Learning was also shown to generalize successfully to domains other than those used for data collection. Another experiment demonstrated that the learning program could simultaneously improve performance on problems in a specific domain and on problems in a variety of domains. Some variations of the learning program were also tested.