目标递归策略仅需如下四个产生式就能解决问题。
$$
\mathrm { G O A L . R E C U R S I O N }
$$
$$
\mathrm { P } _ { \mathrm { i } } \mathrm { G } = \mathrm { M } ( k , \mathrm { C } ) { } \mathrm { M } ( k , \mathrm { C } ) , \mathrm { R E M O V E } ( \mathrm { G } )
$$
$$
\mathrm { P _ { 2 } G } \mathrm { = M P Y R ( 1 , C ) } \mathrm { } \mathrm { M ( 1 , C ) } , \mathrm { R E M O V E ( G ) }
$$
$$
\mathrm { P } _ { 3 } \mathrm { G } { = } \mathrm { M P Y R } ( k . \mathrm { C } )
$$
$$
\ J { \bf { \Psi } } { \bf { \Psi } } { \bf { > } } \mathrm { R E M O V E } ( \mathrm { G } )
$$
$$
\mathrm { S T O R E } [ \mathrm { G } = \mathrm { M P Y R } ( k - 1 . \mathrm { O } ) ]
$$
$$
\mathrm { S T O R E } [ \mathrm { G } = \mathrm { M } ( k . \mathrm { C } ) ]
$$
$$
\mathrm { S T O R E } [ \mathrm { G } = \mathrm { M P Y R } ( k - 1 . \mathrm { C } ) ]
$$
$$
\mathrm { P _ { 4 } { } S T O R E [ G = M P Y R ( N . G O A L P E G ) ] }
$$
产生式是存在短时记忆中的信息，即要达到的目标与分目标。产生式右侧是相应的动作。程序中的第一个产生式是：如果在短时记忆中的目标是移动第k本书到位置C，那么相应的动作就是将第k本书移到C，并从记忆中去掉这个目标。第二个产生式是：如果目标是将仅由第一本书构成的金字塔移到C那么就把第一本书移到C，并从记忆中去掉这个目标。第三个产生式是整个方法的核心，如果在短时记忆中的目标是把由k本书（k可以是5、4、3、2）构成的金字塔移到位置C，相应的动作是从记忆中去掉这个目标，而存入三个新的目标：
(1)将由k—1本书构成的金字塔从原来的位置移到除C以
第三章 问题解决
99