第22页/共197页
求解策略和限制策略
所谓推理的求解策略是指只求一个解还是求 所有解和最优解等． 为了防止无穷的推理过程,以及由于推理过程 太长增加时间及空间的复杂性，可在控制策 略中指定推理的限制条件，以对推理的深度、 宽度、时间、空间等限制。
第23页/共197页
模式匹配
• 模式匹配是推理中必须进行的一项重要工作，因为只有经过模 式匹配才能从知识库中选出当前适用的知识，才能进行推理。
式 F 中 的 变 量 用 中 的 项 作 代 换 的 结 果 。 例 如 有 公 式 Ｆ ＝ Ｐ （ x , y, f ( y ) ) 和 代 换 ={a/x,b/y} • 于是F =Ｐ（a,b,f(b))
第30页/共197页
模式匹配
• 下面给出复合代换的定义 • 设有两个代换和，其中 • = {t1/x1,t2/x2,…,tn/xn} • = {u1/y1,u2/y2,…,um/ym}则 此两个代换的
• 例如有如下三个判断： • （１）足球运动员的身体都是强壮的； • （２）高波是一名足球运动员； • （３）所以，高波的身体是强壮的。 • 其中（１）是大前提，（２）是小前提 • （３）是经演绎推出的结论。 • 只要大前提和小前提是正确的，那麽由它们推出的结论就是正确的。
第4页/共197页
１、演绎推理、归纳推理、默认推理
第33页/共197页
模式匹配
• 再来求 º ，同样先求 • ＝{a /x, b /y, y /z, f(y)/x,z/y} • ={a /x, b /y,z/z, f(y)/x,z/y} • 去掉不合法的元素z/z,f(y)/x,z/y得 • º ={a /x, b /y} • 显然代换的复合运算是不可交换的。并且对任何代换存在空代换，并且 • º ＝ º ＝
