原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
谓词归结子句形( 标准形);谓词归结子句形( 标准形);谓词归结子句形( 标准形);谓词归结子句形( 标准形);谓词归结子句形( 标准形);谓词归结子句形( 标准形);谓词归结子句形( 标准形);谓词归结子句形;谓词归结子句形;谓词归结子句形;谓词归结子句形;求取子句集例(1);求取子句集例(2);置换与合一;置换;置换的合成;置换的合成;合一;最一般合一（）;最一般合一（）;最一般合一（）;最一般合一（）;最一般合一（）;归结原理;归结原理;例题“快乐学生”问题;例题“快乐学生”问题;由R1及逻辑转换公式∧W→H = ～（P∧W）∨ H ，得
(1)～(x, )∨～(x, )∨(x)
由R2： (2)～(y)∨()
(3)～(u)∨()
由R3： (4)～()
(5)()
由R4： (6)～(w)∨(w，)
由结论：(7)～() （结论的否定）
(8)～(w, )∨(w)∨～(w) (1)(6)，{}
(9)～(, )∨～() (8)(7)，{}
(10)?～(, ) (9)(5)
(11)??～() (10)(3)，{, }
(12)????? (11)(5)?;第三章谓词逻辑与归结原理;第三章谓词逻辑与归结原理;归结过程的控制策略;控制策略的方法(1);控制策略的方法(1);控制策略的方法(2);控制策略的方法(2);S;控制策略的方法(2);控制策略的方法(3);控制策略的方法(4);C0;控制策略的方法(5);控制策略的方法(6);第三章谓词逻辑与归结原理;第三章谓词逻辑与归结原理;定理;定理;定理;定理;定理;定理（H域）;D域;H域例题;定理（H域）;原子集例题;定理;定理;定理（H解释）;定理（H解释）;定理（H解释）;定理;定理;定理（语义树）;N0;定理（语义树）;定理（语义树）;N0;定理;定理;定理（结论）;定理（结论）;定理（结论）;归结原理与定理;习题：设已知：
(1)能阅读者是识字的；
(2)海豚不识字；
(3)有些海豚是很聪明的。
试证明：有些聪明者并不能阅读。
证 首先，定义如下谓词：
R(x)：x能阅读。
L(x)：x识字。
I(x)：x是聪明的。
D(x)：x是海豚。 ;然后把上述各语句翻译为谓词公式：
(1) x(R(x)→L(x))
(2) x(D(x)→ ﹁ L(x)) 已知条件
(3) x(D(x)∧I(x))
(4) x(I(x)∧﹁R(x)) 需证结论 ;求题设与结论否定的子句集，得
(1)﹁ R(x)∨L(x)
(2)﹁ D(y)∨ ﹁ L(y)
(3)D(a)
(4)I(a)
(5)﹁ I(z)∨R(z); 归结得
(6) R(a) (5)，(4)，{}
(7) L(a) (6)，(1)，{}
(8) ﹁ D(a) (7), (2), {}
(9)□ (8), (3);1.假设：所有不贫穷且聪明的人都快乐。那些看书的人是聪明的。李明能看书且不贫穷。快乐的人过着激动人心的生活。
求证：李明过着激动人心的生活
给定谓词：某人x贫穷, (x); 某人x聪明, (x); 某人x,快乐 (x); 某人x读书(x); 某人x过着激动人心的生活, (x)。;证明：
由前提：所有不贫穷且聪明的人都快乐
(?x)( ～ (x) ∧ (x) → (x))
那些看书的人是聪明的
(?x)((x) → (x))
李明能看书且不贫穷
() ∧ ～ ()
快乐的人过着激动人心的生活
(?x) ((x) → (x))
由结论的否定
～ ()
子句集：
S = { (x) ∨ ～(x) ∨ (x), ～(y) ∨ (y)， (), ～ () ， ～(z) ∨ (z) ， ～ ()}
文档评论（0）