- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
1..神州大学和东方大学两校篮球队在东方大学进行一场比赛,结局的比分是85:89,用语义网络表示。
2.. 张某被盗,公安局派出五个侦察员去调查。研究案情时,侦察员A说“赵与钱中至少有一人作案”;侦察员B说“钱与孙中至少有一人作案”;侦察员C说“孙与李中至少有一人作案”;侦察员D说“赵与孙中至少有一人与此案无关”;侦察员E说“钱与李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的,试用归结演绎推理求出谁是盗窃犯。
解:第一步:将5位侦察员的话表示成谓词公式,为此先定义谓词。
设谓词P(x)表示是作案者,所以根据题意:
A: P(zhao) ∨ P(qian) B: P(qian) ∨ P(sun)
C: P(sun) ∨ P(li) D: ﹁P(zhao) ∨ ﹁P(sun)
E: ﹁P(qian) ∨ ﹁P(li)
以上每个侦察员的话都是一个子句。
第二步:将待求解的问题表示成谓词。设y是盗窃犯,则问题的谓词公式为P(y),将其否定并与ANSWER(y)做析取:
﹁P(y) ∨ ANSWER(y)
第三步:求前提条件及﹁P(y) ∨ ANSWER(y)的子句集,并将各子句列表如下:
P(zhao) ∨ P(qian)
P(qian) ∨ P(sun)
P(sun) ∨ P(li)
﹁P(zhao) ∨ ﹁P(sun)
﹁P(qian) ∨ ﹁P(li)
﹁P(y) ∨ ANSWER(y)
第四步:应用归结原理进行推理。
P(qian) ∨ ﹁P(sun) (1)与(4)归结
P(zhao) ∨ ﹁P(li) (1)与(5)归结
P(qian) ∨ ﹁P(zhao) (2)与(4)归结
P(sun) ∨﹁P(li) (2)与(5)归结
﹁P(zhao) ∨ P(li) (3)与(4)归结
P(sun) ∨﹁P(qian) (3)与(5)归结
P(qian) (2)与(7)归结
P(sun) (2)与(12)归结
ANSWER(qian) (6)与(13)归结,σ={qian/y}
ANSWER(sun) (6)与(14)归结, σ={sun/y}
所以,本题的盗窃犯是两个人:钱和孙。
3.任何兄弟都有同一个父亲,John和Peter是兄弟,且John的父亲是David,问Peter的父亲是谁?
解:第一步:将已知条件用谓词公式表示出来,并化成子句集。那么,要先定义谓词。
定义谓词:
设Father(x,y)表示x是y的父亲。
设Brother(x,y)表示x和y是兄弟。
将已知事实用谓词公式表示出来:
F1: 任何兄弟都有同一个父亲。
( x)( y)( z)( Brother(x,y)∧Father(z,x)→Father(z,y))
F2: John和Peter是兄弟。
Brother(John, Peter)
F3: John的父亲是David。
Father(David, John)
将它们化成子句集,得
S1={﹁Brother(x,y)∨﹁Father(z,x)∨Father(z,y), Brother(John, Peter), Father(David, John)}
第二步:把问题用谓词公式表示出来,并将其否定与谓词ANSWER做析取。
设Peter的父亲是u,则有:Father(u, Peter)
将其否定与ANSWER做析取,得
G: ﹁Father(u, Peter) ∨ ANSWER(u)
第三步:将上述公式G化为子句集S2,并将S1和S2合并到S。
S2={﹁Father(u, Peter) ∨ ANSWER(u)}
S=S1∪S2
将S中各子句列出如下:
(1)﹁Brother(x,y)∨﹁Father(z,x)∨Father(z,y)
(2)Brother(John, Peter)
(3)Father(David, John)
(4)﹁Father(u, Peter) ∨ ANSWER(u)
第四步:应用归结原理进行归结。
(5)﹁Brother(John,y) ∨ Father(David,y)
(1)与(3)归结,σ={ David/z, John/x}
(6)﹁Brother(
文档评论(0)