RIDDLE@RED.RUTGERS.EDU.UUCP (09/12/86)
I am giving a practice talk of a talk I will be giving in a few weeks. It is at 1 pm in 423 on Monday the 15th. Everyone is invited and all comments are welcome. The abstract follows. This research deals with automatically shifting from one problem representation to another representation which is more efficient, with respect to a given problem solving method, for this problem class. I attempt to discover general purpose primitive representation shifts and techniques for automating them. To achieve this goal, I am defining and automating the primitive representation shifts explored by Amarel in the Missionaries & Cannibals problem @cite(amarel1). The techniques for shifting representations which I have already defined are: compiling constraints, removing irrelevant information, removing redundant information, deriving macro-operators, deriving problem reduction operators, and deriving macro-objects. In this paper, I will concentrate on the technique for deriving problem reduction operators (i.e., critical reduction) and a method for automating this technique (i.e., invariant reduction). A set of sufficient conditions for the applicability of this technique over a problem class is discussed; the proofs appear in a forthcoming Rutgers technical report.