原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
P(x)∧[Q(A) ∨Q(B)] ∧[~P(y) ∨~Q(y)]
得子句集：
1，P(x)
2，Q(A) ∨Q(B)
3，~P(y) ∨~Q(y)
第 7 题
答： （1）将（ x ）P （x ）取反化为子句：
~ （ x ）P （x ） = （ x ）~P （x ）
与条件 [P （A1 ）∨P （A2 ）] 合在一起得子句集：
{~P （x ）, P （A1 ）∨ P （A2 ）}
所以，公式（ x ）P （x ）是 [P （A1 ）∨P （A2 ）] 的逻辑推论。
（2）对于（ x ）P （x ）的 Skolem 形，即 P （A ），取反后为 ~P （A ），与条件 [P （A1 ）∨ P （A2 ）] 合在一起得子句集：
{~P （A ）, P （A1 ）∨ P （A2 ）}
该子句集不能进行归结，故 P （A ）不是 [P （A1 ）∨ P （A2 ）] 的逻辑推论。
第 8 题
答： 该问题用谓词公式描述如下：
已知：
（1） ( x){Food(x) →Like(John, x)}
（2）Food(Apple)
13
（3）( x)( y){[Eat(y, x) ∧~Kill (x, y)] →Food(x)}
（4）Eat(Bill, Peanut) ∧~Kill(Penut, Bill)
（5）( x){Eat(Bill, x) →Eat(Sue, x)}
目标 1：Like(John, Peanut)
目标 2：( x)Food(x) ∧Eat(Sue, x)
已知条件化子句集：
（1）( x){Food(x ) →Like(John, x)}
= ( x){~Food(x) ∨Like(John, x)}
= {~Food(x) ∨Like(John, x)}
（2）Food(Apple)
（3）( x)( y){[Eat(y, x) ∧~Kill(x, y)] →Food(x)}
= ( x)( y){~[Eat(y, x) ∧~Kill(x, y)] ∨Food(x)}
= ( x)( y){~[Eat(y, x) ∨Kill(x, y)] ∨Food(x)}
= {~Eat(y, x) ∨Kill(x, y) ∨Food(x)}
（4）Eat(Bill, Peanut) ∧~Kill(Penut, Bill)
= {Eat(Bill, Peanut), ~Kill(Penut, Bill)}
（5）( x){Eat(Bill, x) →Eat(Sue, x)}
= ( x){~Eat(Bill, x) ∨Eat(Sue, x)}
= ~Eat(Bill, x) ∨Eat(Sue, x)
目标 1 取反化子句集：
~Like(John, Peanut)
目标 2 取反化子句集：
~{( x)Food(x) ∧Eat(Sue, x)}
= ( x)~Food(x) ∨~Eat(Sue, x)
= ~Food(x) ∨~Eat(Sue, x)
对于目标 1，经变量换名后，得子句集：
{~Food(x1) ∨Like(John, x1) ，Food(Apple) ，~Eat(y2, x2) ∨Kill(x2, y2) ∨Food(x2) ，Eat(Bill, Peanut), ~Kill(Penut, Bill), ~Eat(Bill, x3) ∨Eat(S
文档评论（0）