- 1、本文档共55页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
“Fido问题” “狗Fido无论主人John走到哪,就跟到哪儿,John在图书馆,Fido在哪里? 解: (1)将原式翻译成谓词 ?x At(John,x)→At(fido,x) At(john, library) ?z At(fido,z)(目标) 三、归结策略和简化技术 从上面的几个例子我们应当发现,在子句集S={a1,…,an}的子句中,我们并没有规定a1,…,an之间的顺序,在那里我们是随机地用两个子句ai,aj来进行归结,由此同学们可以看出,在选择ai与aj时就有n(n-1)种组合方法,依此类推,在选择另一个子句时则有n-2种组合方法,当把该式归结完时则所选子句的方法有: n(n-1)(n-2)…(n-m)种。 1.广度优先策略 原理:子句集S={a1,…,an, m}中的任何子句ai在第一轮都要和其他子句进行消解,此时可得子句S1={a1’,…,am’};在第二轮归结时,将第一轮产生的新子句S1,加入原子句集进行归结;…,在第n轮归结时,将先前所有产生的子句加到原始子句进行归结,即,S ’={S1,S2,…,Sn} 优点:①该策略能保证找到最短消解路径; ②该策略是一种完备的策略。 2、支持集策略 原理:对于一组输入子句集S,可以指定S的一个子集T,称T为支持集,这个策略要求每次消解结果要在支持集中有一个祖先,也就是说支持集使得消解作用的两个子句中至少一个或是否定目标式,或是一个在目标式上产生的消解结果子句。 即如果S是不满足的,并且S—T是满足的,那么T是不可满足的,并且(S—T)∧T也是不可满足。 例:P56 图2.9 3、单位优先策略 原理:用一个只有一个子句的项进行消解。如图所示: 4、线性输入形式策略 原理:直接用否定目标和原始公理,对否定目标和一个公理进行消解得到一个新子句,这个结果子句再和一个公理消解得到另一个新子句,该新子句又和公理消解,这个过程一直持续到空子句出现。 小结: ①命题归结方法——基本恒等式 ②谓词归结方法——置换、合一,Skolem函数,存在量词的消去步骤 ③归结消解的基本方法 问题: (1)不确定归结方法 (2)模糊归结方法 (3)动态模糊归结方法: (4)归结策略的探讨: 讨论: (1)面向Agent的动态模糊逻辑 (2)面向Agent的DF归结方法 (3)随机归结理论 (4)归结的进化理论 (5)基图的归结理论 (6)基于DFL的机械化推理技术 (7)基于Agent的Turing测试床设计 (8)协调归结理论及应用 (9)DFL的归结方法(请参阅李凡长等人的相关文献) 六. 规则演绎系统 基于规则的演绎系统有两种不同形式的谓词公式 (1)??? 事实:不含蕴含符号的谓词公式 (2)??? 规则:含蕴含符号的谓词公式 即:A1∧A2∧…∧An→B or if A1∧A2∧…∧An then B 6.1 规则正向演绎系统(Forward Chaining) 1、事实表达式的与或形变换: 在基于规则的正向演绎系统中,把事实表示为非蕴含形式的与或形作为系统的总数据库,注意这些事实不要化为子句型,只要是谓词公式即可。 把一个公式化成与或形的步骤如下: ①利用W1→W2和(~W1∨W2)的等价关系,消去“→” ②利用De.Morgan定律把否定符号移进括号内,直到每个否定符号的辖域最多只含有一个谓词为止; ③对所得的表达式进行Skolem化和前束化; ④对全称量词辖域内的变量进行改名和变量标准比,而存在量词变量用Skolem函数代替。 ⑤删去全称量词。 [例]我们有事实表达式 ( u)( V){Q(u,v) ∧~[(R(V)∨P(V)) ∧ S(u,V)]}把它化为: Q(V,A) ∧{~R(V) ∧~P(V) ∨~S(A,V)} 对变量更名标准化,使得同一变量不出现在事实表达式的不同合取式中,更名后得到表达式。 Q(W,A)∧{[~R(V)∧~P(V) ]∨~S(A,V)} 注意:Q(V,A)中的变量V可用新变量W代替,而合取式[~R(V)∧~P(V) ]中的变量V却不可更名,因为后面也出现在析取式~S(A,V)中。 2、事实表达式的与或图表示; 注意:①事实表达式(E1∨…∨ Ek)的析取关系子表达式E1…Ek是用后继节点表示,并由一个k线连接符把它们连接到父辈节点上。 ②某个事实表达式(E1∧…∧Ek)的每个合取子表达式E1,E2,…,Ek
您可能关注的文档
最近下载
- T∕CACM 1137-2018 中医神志病临床诊疗指南 躯体形式障碍.pdf
- 与采购人配合沟通方案.docx VIP
- 晋剧《明公断》剧本.doc VIP
- 血液透析并发症脑出血ppt.pptx
- 航空与航天摄影技术课件.pptx
- 2024-2025学年深圳市人大附中新高一入学分班考试数学模拟试卷附答案解析.docx VIP
- 西部黄金伊犁有限责任公司金锌精矿综合回收及氰化渣无害化治理项目环境影响报告书.pdf VIP
- 不锈钢管安装施工方案.doc VIP
- 含碘对比剂静脉外渗护理管理实践指南解读.pptx VIP
- (精编)沪教版上海市小学二年级数学上册期末考试试题(共4套,已编好文档).pdf VIP
文档评论(0)