⑤若KS不空，则按某种冲突消解策略从中选出 一条知识进行推理，并将推出的新事实加入 DB中，转②；若KS空，转⑥ ⑥询问用户是否可进一步补充新事实，若可补 充，则补充的新事实加入DB中，然后转③， 否则表示求不出解，失败退出。 (2)逆向推理：又称目标驱动推理，逆向链推理， 目标制导推理及后件推理。 基本思想： ①选定一个假设目标 ②寻找支持该假设的证据，若所需要的证据都 能找到，说明原假设是成立的，若无论如何 都找不到所需要的证据，说明原假设不成立， 另作新假设。 ⑤若KS不空，则按某种冲突消解策略从中选出 一条知识进行推理，并将推出的新事实加入 DB中，转②；若KS空,转⑥ ⑥询问用户是否可进一步补充新事实，若可补 充，则补充的新事实加入DB中，然后转③， 否则表示求不出解，失败退出。 (2)逆向推理：又称目标驱动推理，逆向链推理， 目标制导推理及后件推理。 基本思想： ①选定一个假设目标 ②寻找支持该假设的证据，若所需要的证据都 能找到，说明原假设是成立的，若无论如何 都找不到所需要的证据，说明原假设不成立， 另作新假设