明智的修剪）用户定义的对象、可在对象执行的操作，以及通用解难器可透过均值-端点分析生成启发式算法来解决问题。它着重于可用的操作，找出哪些输入是可接受的，以及生成了哪些输出。然后会创建子目标，以便越来越靠近目标。通用解难器范式后来演变为人工智慧的Soar架构。