Aiming at the solution of sub-function of mechanical movement, the reasoning algorithm based on designing specification and redefinition of problem solution was put forward.

• 针对机械运动子功能的求解，提出了基于设计说明和问题解重定义的推理算法。