[计算机软件及应用]西电人工智能13 确定性推理 part 6

[计算机软件及应用]西电人工智能13 确定性推理 part 6artificial intelligence (ai)人工智能第三章：确定 性推理主讲：戚玉涛email：qi_yutao@163m西安电子科技大学内容提要第三章：确定性推理1.推理的基本概念2.搜索策略3.自然演绎推理4.归结演绎推理5.基于规则的演绎推理西安电子科技大学归结演绎推理归结演绎推理子句集及其化简 鲁滨逊归结原理 归结反演推理的归结策略 用归结反..