Test incorporations are program transformations that improve the performance of generate-and-test procedures by moving information out of the \test" and into the \generator." The test information is said to be \incorporated" into the generator so that items produced by the generator are guaranteed to satisfy the incorporated test. This article proposes and investigates the hypothesis that a general theory of AI methods can be constructed using only test incorporations. Starting from an initial generate-and-test algorithm, we attempt to derive the weak methods of heuristic search, hill climbing, and avoiding duplicates via a series of test incorporations. The derivations show that test incorporations are very powerful but that occasionally other program reformulations are required. Nevertheless, we conclude that test incorporation provides a good foundation upon which to construct a general theory of methods. a The authors have chosen to list their names in alphabetical order.
[1]
Steve Tappel,et al.
Some Algorithm Design Methods
,
1980,
AAAI.
[2]
Allen Newell,et al.
The Knowledge Level
,
1989,
Artif. Intell..
[3]
Saul Amarel.
Expert behaviour and problem representations
,
1984
.
[4]
David E. Smith,et al.
Ordering Conjunctive Queries
,
1985,
Artif. Intell..
[5]
Herbert A. Simon,et al.
Optimal Problem-Solving Search: All-Oor-None Solutions
,
1975,
Artif. Intell..
[6]
Allen Newell,et al.
A Universal Weak Method: Summary of Results
,
1983,
IJCAI.
[7]
David J. Mostow,et al.
Machine Transformation of Advice Into a Heuristic Search Procedure
,
1983
.
[8]
Douglas R. Smith.
On the design of generate-and-test algorithms: subspace generators
,
1987
.
[9]
Jack Mostow,et al.
A Problem-Solver for Making Advice Operational
,
1983,
AAAI.
[10]
John Edwin Laird,et al.
Universal subgoaling
,
1984
.