反应块及其在类比推理中的应用

本文讨论了类比在问题求解中的应用问题．给出了应用反应块识别类比源以及自动生成反应块的算法．本文还给出了一种解法序列分割方法，用于类比源的获取及存储．这些思想和方法已在符号积分求解与学习系统ｉｓｌｓ（ｉｎｔｅｇｒａｔｉｏｎｓｏｌｖｉｎｇａｎｄｌｅａｒｎｉｎｇｓｙｓｔｅｍ）中实现．