- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
人工智能第七章2014,人工智能,人工智能电影,人工智能计算器,人工智能程序设计,模式识别与人工智能,人工智能最新进展,人工智能技术,人工智能下载,人工智能算法
第七章 基于规则的演绎系统 主讲:欧阳丹彤 归结方法 优点:实现简单(仅使用一条推理规则) 完备 缺点:低效(不使用领域知识) 转换成子句形式过程中失去了控制信息 基于规则的演绎系统 优点:易于理解(推理过程与人的推理过程相近) 高效(尽量使用与领域有关的知识) 缺点:不完备 基于规则的演绎系统 描述领域知识的逻辑语句分为两类: 描述该领域的一般性规律-----转换成产生式规则 描述该领域的具体情况或状态----转换成产生式系统的状态描述 工作过程 选可用的产生式规则用于状态描述、产生新的状态描述,当产生的状态描述满足终止条件时,推导任务完成。 工作方式 正向系统:以事实作为初始状态描述,以结论为终止条件的演绎系统 反向系统:以结论作为初始状态描述,以事实为终止条件的演绎系统 例 表示事实的逻辑公式 G=?u ?v (Q (v,u) ∧~ ((R(v)∨P(v)) ∧S(u,v))) = ?u ?v (Q (v,u)∧( (~R(v) ∧~P(v)) ∨~S(u,v))) 用常量符号A代替u得 ?v(Q(v,A)∧((~R(v)∧~P(v))∨~S(A,v))) 对变量改名,使得不同的主合取项里变量使用不同的名字: ?wQ(w,A)∧ ?v((~R(v)∧~P(v))∨~S(A,v)) Q(w,A)∧ ((~R(v)∧~P(v))∨~S(A,v)) 事实表达式的AND/OR图表示 节点:表示事实AND/OR形式的子表达式 如果子表达式E1,…,Ek的父亲节点是(E1∨…∨Ek),则用k-连接符把这些子节点与父节点连接起来; 如果子表达式E1,…,Ek的父亲节点是(E1∧…∧Ek),则用1-连接符分别把这些子节点与父节点连接起来。 表示逻辑公式的AND/OR图的性质: 该公式对应的所有子句可以从终止在叶节点的解图集合中 读出---- AND/OR图是子句形式的一种紧凑表示方式 例.Q(w,A)∧ ((~R(v)∧~P(v))∨~S(A,v))对应的所有子句 Q(w,A) ~S(A,v)∨~R(v) ~S(A,v)∨~P(v) 都可从解图读出来。 Note:其一般性要比子句形式稍差一点。 原因: 在子句形式中,不同子句之间变量允许任意改名; 在AND/OR图表示中,改名有时会受到限制----仅允许最外层合取项间经改名无公共变量。 二、正向演绎系统的规则 F规则的形式:L→W 是正常Skolem化后恢复成蕴涵式,且要求: L是单文字; W是AND/OR形公式; 出现在蕴涵式中的所有变量假定是对整个蕴涵式全称定量的; 不同规则使用的变量名互不相同; 规则与事实AND/OR图中的变量名也不相同。 Note:正向演绎系统的规则的前提必须是单文字,看起来似乎限制很强。但是,很多逻辑公式可以转换成满足这种限制的规则. 例如,形式为(L1∨L2)→W的蕴涵式等价于两条规则 L1→W和L2→W。 例 对于公式 ?x((?y ?zP(x,y,z)) ? ?uQ(x,u)) 可以通过如下步骤实现其转换: (1)暂时删除蕴涵符号: ?x(~?y ?zP(x,y,z)) ∨ ?uQ(x,u)) (2)把否定符移到原子前: ?x(?y? z~P(x,y,z)) ∨ ?uQ(x,u)) (3)化前束范式:?x?y? z ?u(~P(x,y,z))∨ Q(x,u)) (4)Skolem化:用f(x,y)代z,得 ~P(x,y,f(x,y)) ∨ Q(x,u) (5)恢复成蕴涵形式: P(x,y,f(x,y))→Q(x,u) F规则的使用 规则L→W中的L同AND/OR图叶节点n匹配(?合一下)成功时,称为使用该规则的一次推理。 应用规则的结果:把表示W?的AND/OR图通过L连到AND/OR图的节点n上,n和它的后继节点L以1-连接符(称为匹配弧,用? 标记)连接。 例. 已知:事实:((P∨Q)∧R)∨(S∧(T∨U)) 带有文字S的子句是:P∨Q∨S和R∨S 规则:S→(X∧Y)∨Z 子句形式是:~S∨X∨Z和~S∨Y∨Z 图7.3 应用一条规则后所得到的AND/OR图X∨Z∨P∨Q,Y∨Z∨P∨Q,R∨Y∨Z,R∨X∨Z都包含在解图所表示的
文档评论(0)