explanation-based learning, impasse resolution, analogy