Accession Number : AD0431056


Title :   EXPERIMENTS WITH A THEOREM-UTILIZING PROGRAM,


Corporate Author : SYSTEM DEVELOPMENT CORP SANTA MONICA CALIF


Personal Author(s) : TRAVIS,Larry E


Report Date : 05 Feb 1964


Pagination or Media Count : 48


Abstract : A discussion is presented of the issue of the importance for machines of acquiring skill as human beings do, by learning theorems, and developing sensitivity to the occasions on which it is appropriate to apply them. It is reported that a theorem-learning-and-utilizing program has been written and tested in a simple but paradigmatic problem domains. Also that although the program does solve problems, in some cases rather well, each version of it reached a threshold beyond which increase and modification of its theorem store did little to improve its problem-solving power. Experiments with the program suggest that there may be no practical way to achieve machines very skillful at solving difficult sequence-synthesizing problems unless they can be empowered with something like an effective theorem-utilizing ability. Further, the experiments point to many difficulties which stand in the way of empowering machines with such an ability in interesting problem domains, especially difficulties associated with pattern recognition and with integrating isolated previously proved theorems into general solution schemata. (Author)


Descriptors :   *COMPUTER PROGRAMMING , COMPUTER PROGRAMMING , METAMATHEMATICS , PATTERN RECOGNITION , COMPUTER LOGIC , ARTIFICIAL INTELLIGENCE , BIONICS , SEQUENCES(MATHEMATICS) , DATA PROCESSING , MATHEMATICAL LOGIC , GEOMETRY , INFORMATION THEORY


Distribution Statement : APPROVED FOR PUBLIC RELEASE