Thumbnail
Access Restriction
Subscribed

Author Slagle, James R. ♦ Farrell, Carl D.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Learning ♦ Automatic learning ♦ Theorem-providing ♦ Adaptive ♦ Problem-solving ♦ Self-modifying ♦ Artificial intelligence ♦ Tree-searching ♦ Lisp ♦ Multiple regression ♦ Heuristic ♦ Resolution
Abstract 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.
Description Affiliation: National Institutes of Health, Bethesda, MD (Slagle, James R.; Farrell, Carl D.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 14
Issue Number 2
Page Count 9
Starting Page 91
Ending Page 99


Open content in new tab

   Open content in new tab
Source: ACM Digital Library