Machine Transformation of Advice Into a Heuristic Search Procedure

A key problem in learning by being told is operationalization: the development of procedures to implement advice that is not directly executable by the learner, such as the advice “avoid taking points” in the card game hearts. One way to operationalize such advice is to reformulate it in terms of a general “weak method”, such as heuristic search. This chapter is a case study in the mechanical mapping of domain-specific problems onto general methods, using as a detailed example the derivation of a heuristic search procedure for the advice “avoid taking points.” The derivation consists of a series of problem transformations leading from the advice statement to an executable procedure. The operators used to perform these transformations are implemented in a program called FOO as domain-independent transformation rules that access a knowledge base of task domain concepts. Some of the rules construct a crude generate-andtest procedure; others improve it by deriving new heuristics based on domain knowledge and problem analysis. To test its generality, FOO was also used to operationalize a music composition task; many of the same rules proved applicable.

[1]  J. C. Shaw,et al.  Empirical explorations of the logic theory machine: a case study in heuristic , 1899, IRE-AIEE-ACM '57 (Western).

[2]  Felix Salzer,et al.  Counterpoint in Composition: The Study of Voice Leading , 1969 .

[3]  Jr. James Aston Moore The design and evaluation of a knowledge net for MERLIN , 1971 .

[4]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[5]  John Darlington,et al.  A system which automatically improves programs , 1973, Acta Informatica.

[6]  Herbert A. Simon,et al.  Artificial Intelligence Systems That Understand , 1977, IJCAI.

[7]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[8]  Douglas B. Lenat,et al.  DESIGNING A RULE SYSTEM THAT SEARCHES FOR SCIENTIFIC DISCOVERIES1 , 1978 .

[9]  Jack Mostow,et al.  Operationalizing Heuristics: Some AI Methods for Assisting AI Programming , 1979, IJCAI.

[10]  Philip Klahr,et al.  Cognitive Economy in Artificial Intelligence Systems , 1979, IJCAI.

[11]  Kurt Konolige,et al.  Multiple-Agent Planning Systems , 1980, AAAI.

[12]  Steve Tappel,et al.  Some Algorithm Design Methods , 1980, AAAI.

[13]  Robert Balzer,et al.  Transformational Implementation: An Example , 1981, IEEE Transactions on Software Engineering.

[14]  David Jechiel Mostow,et al.  Mechanical transformation of task heuristics into operational procedures , 1981 .

[15]  Robert Balzer,et al.  Principles of good software specification and their implications for specification languages , 1981, AFIPS '81.