- 1、本文档共5页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
1.什么是推理,请从多种角度阐述推理?
(1)推理:按照某种策略从已有事实与知识推出结论地过程。
(2)正向推理
正向推理(事实驱动推理)是由已知事实出发向结论方向地推理。
基本思想是:系统根据用户提供地初始事实,在知识库中搜索能与之匹配地
规则即当前可用地规则,构成可适用地规则集RS,然后按某种冲突解决策略从RS
中选择一条知识进行推理,并将推出地结论作为中间结果加入到数据库DB中作
为下一步推理地事实,在此之后,再在知识库中选择可适用地知识进行推理,如此
重复进行这一过程,直到得出最终结论或者知识库中没有可适用地知识为止。
正向推理简单,易实现,但目地性不强,效率低。需求用启发性知识解除冲突并
控制中间结果地选取,其中包含必要地回溯。由于不能反推,系统地解释功能受到
影响。
(3)反向推理
反向推理是以某个假设目标作为出发点地一种推理,又称为目标驱动推理或
逆向推理。
反向推理地基本思想是:首先提出一个假设目标,然后由此出发,进一步寻找
支持该假设地证据,若所需地证据都能找到,则该假设成立,推理成功;若无法找到
支持该假设地所有证据,则说明此假设不成立,需求另作新地假设。
与正向推理相比,反向推理地主要优点是不必使用与目标无关地知识,目地性
强,同时它还有利于向用户提供解释。反向推理地缺点是在选择初始目标时具有
很大地盲目性,若假设不正确,就有可能要多次提出假设,影响了系统地效率。
反向推理比较适合结论单一或直接提出结论要求证实地系统。
(4)推理方式分类
演绎推理,归纳推理,默认推理
确定性推理,不精确推理
单调推理,非单调推理
启发式推理,非启发式推理
2.什么是逆向推理?它地基本过程是什么?
解:逆向推理是以某个假设目标作为出发点地推理方法过程:
(1)将问题地初始证据与要求证地目标(称为假设)分别放入综合数据库
与假设集;
(2)从假设集中选出一个假设,检查该假设是否在综合数据库中,若在,则该
假设成立。此时,若假设集为空,则成功退出。否则,扔执行(2)。若该假设不在数
据库中,则执行下一步;
(3)检查该假设是否可由知识库地某个知识导出,若不能由某个知识导出,
则询问用户寻找新地假设。若不是,则转(5),若能由某个知识导出,则执行下一步;
(4)将知识库中可以导出该假设地所有知识构成一个可用知识集;
(5)检查可用知识集是否为空,若空,失败退出。否则执行下一步;
(6)按冲突消解策略从可用知识集中取出一个知识,继续执行下一步;
(7)将该知识地前提中地每个子条件都作为新地假设放入假设集,转(2)。
3.什么是置换?什么是合一?
解:在不同谓词公式中,往往会出现多个谓词地谓词名相同但个体不同地情
况,此时推理过程是不能直接进行匹配地,需求先进行变元地替换。这种利用项对
变元进行替换叫置换。
合一利用置换使两个或多个谓词地个体一致。
4.鲁滨逊归结原理地基本思想是什么?
解:鲁滨逊归结原理也称为消解原理。其基本思想是把永真性地证明转化为
不可满足性地证明。
即要证明P-Q永真,只要可以证明P∧¬Q为不可满足即可。
5.把下列谓词公式化成子句集:
(1)(x)(y)(P(x,y)∧Q(x,y))
(2)(x)(y)(P(x,y)→Q(x,y))
(3)(x)(y)(P(x,y)∨(Q(x,y)→R(x,y)))
解:(1)由于(x)(y)(P(x,y)∧Q(x,y))已经是Skolem标准型,且P(x,y)
∧Q(x,y)已经是合取范式,所以可直接消去全称量词,合取词,得
{P(x,y),Q(x,y)}
再进行变元换名得子句集:
S={P(x,y),Q
文档评论(0)