(3)单调推理，非单调推理 ①单调推理：在推理过程中随着推理的向前推 进及新知识的加入，推出的结论呈单调增加 的趋势，并且越来越接近最终目标，在推理 过程中不会出现反复情况。 ②非单调推理：在推理过程中由于新知识的加 入，不仅没有加强已推出的结论，反而否定 它，使得推理退回到前面的某一步，重新开 始，多是在知识不完全情况下发生的。 (4)启发式推理，非启发式推理 启发性知识是指与问题有关且能加快推 理进程，求解问题最优解的知识
(3)单调推理，非单调推理 ①单调推理：在推理过程中随着推理的向前推 进及新知识的加入，推出的结论呈单调增加 的趋势，并且越来越接近最终目标，在推理 过程中不会出现反复情况。 ②非单调推理：在推理过程中由于新知识的加 入，不仅没有加强已推出的结论，反而否定 它，使得推理退回到前面的某一步，重新开 始，多是在知识不完全情况下发生的。 (4)启发式推理，非启发式推理 启发性知识是指与问题有关且能加快推 理进程，求解问题最优解的知识
(⑤)基于知识的推理，统计推理，直觉推理 ①基于知识的推理：根据掌握的事实，通过运用 知识进行推理，例：医生诊断疾病 ②统计推理：根据对某事物的数据统计进行推理 例：对农作物产量的统计，决定是否增产。 ③直觉推理：根据常识进行推理，例：走路时重 物下落，躲闪。 3推理的控制策略： 推理方向 搜索策略 冲突消解策略 求解策略 限制策略
(5)基于知识的推理，统计推理，直觉推理 ①基于知识的推理：根据掌握的事实，通过运用 知识进行推理，例：医生诊断疾病 ②统计推理：根据对某事物的数据统计进行推理， 例：对农作物产量的统计，决定是否增产。 ③直觉推理：根据常识进行推理，例：走路时重 物下落，躲闪。 3 推理的控制策略 推理方向 搜索策略 冲突消解策略 求解策略 限制策略
推理的驱动方式正向推理 知识库 逆向推理 要求数据库状态库 混合推理 推理机 双向推理 ()正向推理：又称数据驱动推理，向前链推理 模式制导推理，前件推理 基本思想： ①从用户提供的初始已知事实出发，在知识库 KB中找出当前可适用的知识，构成可适用知 识集KS ②按某种冲突消解策略从KS中选出一条知识进 行推理，并将推出的新事实加入到数据库中 作为下一步推理的已知事实
推理的驱动方式 正向推理 逆向推理 混合推理 双向推理 (1)正向推理：又称数据驱动推理，向前链推理， 模式制导推理，前件推理 基本思想： ①从用户提供的初始已知事实出发，在知识库 KB中找出当前可适用的知识，构成可适用知 识集KS ②按某种冲突消解策略从KS中选出一条知识进 行推理，并将推出的新事实加入到数据库中 作为下一步推理的已知事实 知识库 要求数据库 状态库 推理机
③再在知识库中选取可适用知识进行推理，直 到求解所要求的解或知识库中再无可用的知 识为止。 推理过程算法： ①将用户提供的初始已知事实送入数据库DB中。 ②检查DB中是否已经包括了问题的解，若有， 则求解结束，成功退出，否则执行下一步。 ③根据DB中的已知事实，扫描知识库KB,检查 KB中是否有可适用的知识，若有转④，否则 转⑥ ④把KB中所有的适用知识都选出来，构成可适 用的知识集KS
③再在知识库中选取可适用知识进行推理，直 到求解所要求的解或知识库中再无可用的知 识为止。 推理过程算法： ①将用户提供的初始已知事实送入数据库DB中。 ②检查DB中是否已经包括了问题的解，若有， 则求解结束，成功退出，否则执行下一步。 ③根据DB中的已知事实，扫描知识库KB，检查 KB中是否有可适用的知识，若有转④，否则 转⑥ ④把KB中所有的适用知识都选出来，构成可适 用的知识集KS
⑤若KS不空，则按某种冲突消解策略从中选出 一条知识进行推理，并将推出的新事实加入 DB中，转②；若KS空，转⑥ ⑥询问用户是否可进一步补充新事实，若可补 充，则补充的新事实加入DB中，然后转③， 否则表示求不出解，失败退出。 (2)逆向推理：又称目标驱动推理，逆向链推理， 目标制导推理及后件推理。 基本思想： ①选定一个假设目标 ②寻找支持该假设的证据，若所需要的证据都 能找到，说明原假设是成立的，若无论如何 都找不到所需要的证据，说明原假设不成立， 另作新假设
⑤若KS不空，则按某种冲突消解策略从中选出 一条知识进行推理，并将推出的新事实加入 DB中，转②；若KS空,转⑥ ⑥询问用户是否可进一步补充新事实，若可补 充，则补充的新事实加入DB中，然后转③， 否则表示求不出解，失败退出。 (2)逆向推理：又称目标驱动推理，逆向链推理， 目标制导推理及后件推理。 基本思想： ①选定一个假设目标 ②寻找支持该假设的证据，若所需要的证据都 能找到，说明原假设是成立的，若无论如何 都找不到所需要的证据，说明原假设不成立， 另作新假设