第3章 推理技术1.pptVIP

《人工智能》 推理方式及其分类 1. 演绎推理、归纳推理、默认推理 演绎推理：从一般到特殊。例如三段论。 归纳推理：从个体到一般。 默认推理：缺省推理，在知识不完全的情况下假设某些条件已经具备所进行的推理。 2. 确定性、不确定性推理 3. 单调性、非单调推理 推出的结论是否单调增加。 4. 启发式、非启发式推理 所谓启发性知识是指与问题有关且能加快推理进程、求得问题最优解的知识。 5. 基于知识的推理、统计推理、直觉推理 从方法论的角度划分。 推理的控制策略 推理的控制策略主要包括：推理方向、搜索策略、冲突消解策略、求解策略及限制策略。 1.、正向推理 正向推理的基本思想是：从用户提供的初始已知事实出发，在知识库KB中找出当前可适用的知识，构成可适用知识集KS，然后按某种冲突消解策略从KS中选出一条知识进行推理，并将推出的新事实加入到数据库中作为下一步推理的已知事实。如此重复进行这一过程，直到求得了所要求的解或者知识库中再无可使用的知识为止。 2、 逆向推理 逆向推理的基本思想是：首先选定一个假设目标，然后寻找支持该假设的证据，若所需的证据都能找到，则说明原假设是成立的；若无论如何都找不到所需要的证据，则说明原假设不成立，此时需要另作新的假设。 推理的控制策略（2） 3. 混合推理 先正向后逆向推理 先逆向后正向推理 4. 双向推理 正向推理与逆向推理同时进行，且在推理过程中的某一步上“碰头”。 5. 求解策略 只求一个解，还是求所有解以及最优解。 6. 限制策略 限制推理的深度、宽度、时间、空间等等。 冲突消解策略 冲突：多个知识都匹配成功。 在产生式系统中对于正向推理： 多条产生式前件都与已知事实匹配成功 多组不同事实都与同一规则前件匹配成功 对于逆向推理： 多条规则后件都和同一个假设匹配成功 多条规则后件可与多个假设匹配成功 冲突消解的基本思想都是对知识进行排序。 几种冲突消解策略 按针对性排序 前件中条件详细(多)的规则先推。 按已知事实的新鲜性排序 新鲜事实(刚得到的局部结论)越多(越新鲜)的规则先推。 按匹配度排序 在不确定性匹配中，计算两个知识模式的相似度(匹配度)，并对其排序，相似度高的规则先推。 按领域问题特点排序 按上下文限制排序 把规则按照下上文分组，并只能选取组中的规则。 按冗余限制排序 冗余知识越少的规则先推。 按条件个数排序 条件少的规则先推。 模式匹配 所谓模式匹配是指对两个知识模式(例如两个谓词公式、框架片断、语义网络片断)的比较与耦合，及检查这两个知识模式是否完全一致或者近似一致。 按匹配时两个知识模式的相似程度，模式匹配可分为确定性匹配与不确定性匹配。 确定性匹配是指两个知识模式完全一致，或者经过变量代换后变得完全一致。 例如： P1: father(李四，李小四) and man(李小四) P2: father(x,y) and man(y) 不确定性匹配是指两个知识模式不完全一致，但是它们的相似程度又在规定的限度内。 1、变量代换 定义 代换是一个形如 {t1/x1,t2/x2,…,tn/xn} 的有限集合。 其中是t1,t2,…,tn项； x1,x2,…,xn是互不相同的变元；ti/xi表示用ti代换xi，不允许ti与xi相同，也不允许变元xi循环地出现在另一个tj中。 例如： {a/x,f(b)/y,w/z}是一个代换 {g(y)/x,f(x)/y}不是代换 {g(a)/x,f(x)/y}是代换 2、代换的复合 定义： 设 θ= {t1/x1,t2/x2,…,tn/xn} λ= {u1/y1,u2/y2,…,um/ym} 是两个代换，则此两个代换的复合也是一个代换，它是从 {t1λ/x1,t2λ/x2,…,tnλ/xn,u1/y1,u2/y2,…,um/ym} 中删去如下两种元素： tiλ/xi 当tiλ=xi ui/yi 当yi∈{x1,x2,…,xn} 后剩下的元素所构成的集合，记为θ°λ 。 注： tiλ表示对ti运用λ代换。实际上θ°λ就是对一个公式先运用θ代换，然后再运用λ代换。 3、代换的例子 例如，设有代换 θ= {f(y)/x,z/y} λ= {a/x,b/y,y/z} 则 θ°λ={f(y)λ/x,zλ/y,a/x,b/y,y/z} ={f(b)/x,y/y,a/x,b/y,y/z} ={f(b)/x,y/z} 4、公式集的合一 定义： 设有公式集F={F1,F2,…,Fn}，若存在一个代换λ使得 F1λ=F2λ=…=Fnλ 则称λ