算法描述： ①提出要求证的目标（假设） ②检查该目标是否已在数据库中，若在，该目 标成立，成功退出推理或者对下一个假设目 标进行验证，否则转③ ③判断该目标是否是证据，若是，则询问用户， 否则转④ ④在知识库中找出所有能导出该目标的知识， 形成适用知识集KS,然后转下一步⑤ ⑤从KS中选出一条知识，并将知识的适用条件 作为新的假设目标，转②算法描述: ①提出要求证的目标（假设） ②检查该目标是否已在数据库中，若在，该目 标成立，成功退出推理或者对下一个假设目 标进行验证，否则转③ ③判断该目标是否是证据，若是，则询问用户， 否则转④ ④在知识库中找出所有能导出该目标的知识， 形成适用知识集KS，然后转下一步⑤ ⑤从KS中选出一条知识，并将知识的适用条件 作为新的假设目标，转②