①从用户提供的初始已知事实出发，在知识库KB中找出当前可适用的知识，构成可适用知识集KS
②按某种冲突消解策略从KS中选出一条知识进行推理，并将推出的新事实加入到数据库中作为下一步推理的已知事实
③再在知识库中选取可适用知识进行推理，直到求解所要求的解或知识库中再无可用的知识为止。
-----*推理过程算法：
①将用户提供的初始已知事实送入数据库DB中。
②检查DB中是否已经包括了问题的解，若有，则求解结束，成功退出，否则执行下一步。
③根据DB中的已知事实，扫描知识库KB，检查KB中是否有可适用的知识，若有转④，否则转⑥
④把KB中所有的适用知识都选出来，构成可适用的知识集KS
⑤若KS不空，则按某种冲突消解策略从中选出一条知识进行推理，并将推出的新事实加入DB中，转②；若KS空,转⑥
⑥询问用户是否可进一步补充新事实，若可补充，则补充的新事实加入DB中，然后转③，否则表示求不出解，失败退出。