ABSTRACT
This chapter motivates the planning-net representation of teleologic semantics by using it as the deep structure component of a theory of analogies between procedures. Possible representations range from a very superficial one-namely, a simple chronological list of actions-on up to a very abstract representation that involves goals, constraints, and other planning knowledge-namely, planning nets. However, when the planning nets are compared, the people find a huge subgraph of C that isn't matched-namely, all the design that has to do with maintaining the sort. The main point of this chapter has been that planning nets provide a basis for a theory of analogy that can predict the judgments of experts on the closeness of analogies between procedures. The major claim of the chapter is that planning nets provide useful formalisms for capturing the teleologic semantics of procedures. Planning nets provide a precise framework for constructing explanations and curricula to explicate teleology.
