③再在知识库中选取可适用知识进行推理，直 到求解所要求的解或知识库中再无可用的知 识为止。 推理过程算法： ①将用户提供的初始已知事实送入数据库DB中。 ②检查DB中是否已经包括了问题的解，若有， 则求解结束，成功退出，否则执行下一步。 ③根据DB中的已知事实，扫描知识库KB,检查 KB中是否有可适用的知识，若有转④，否则 转⑥ ④把KB中所有的适用知识都选出来，构成可适 用的知识集KS③再在知识库中选取可适用知识进行推理，直 到求解所要求的解或知识库中再无可用的知 识为止。 推理过程算法： ①将用户提供的初始已知事实送入数据库DB中。 ②检查DB中是否已经包括了问题的解，若有， 则求解结束，成功退出，否则执行下一步。 ③根据DB中的已知事实，扫描知识库KB，检查 KB中是否有可适用的知识，若有转④，否则 转⑥ ④把KB中所有的适用知识都选出来，构成可适 用的知识集KS