原创力文档- 1、本文档共73页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
【2017年整理】第三章2消解原理
3.4 消 解 原 理;内容提要;谓词逻辑法（predicate logic）;命题;命题逻辑有较大的局限性;谓词;谓词公式的定义;连词和量词;合取（conjunction）就是用连词∧把几个公式连接起来而构成的公式。合取项是合取式的每个组成部分。;蕴涵 ? 表示如果-那么的语句。用连词?连接两个公式所构成的公式叫做蕴涵。;全称量词(Universal Quantifier) 若一个原子公式P(x)，对于所有可能变量x都具有T值，则用(? x)P(x)表示。;置换与合一;置换举例;合一者、最一般合一者举例;基本概念： 对谓词演算公式进行分解和化简，消去一些符号，以求得导出子句。 ;子句集的求取;常用等价关系;常用等价关系;(1)消去蕴涵符号 ;(3)对变量标准化 ;(4)消去存在量词 ;;(5)化为前束形;(6)把母式化为合取范式 ;(8)消去连词符号∧ ;化为子句集实例;消解推理规则;消解推理规则 ;从父辈子句求消解式的例子 ;(d) 链式(三段论);含有变量的消解式 ;消解式的多种选择;对含有变量的子句使用消解的例子 ;消解推理常用规则 ;消解反演求解过程 ;消解反演;eg1 自然数;1、用谓词公式的形式表示事实和问题;2、把{～L，S}化为子句集;3、对子句集进行消解;消解反演过程的举例 ;前提和结论化为下列的子句集 ;步骤;反演树 ;基于消解反演的问题求解;;例子;;求解;例子;例子（续1）;例子（续2）;例子（续3 构造证明树）;另一种问题求解的方法;练习;解答;证明A和B不是老实人;求解谁是老实人？;练习快乐学生问题;将上述谓词公式转化为子句集;进行归结;;例子：猴子摘香蕉问题;定义谓词;算符的意义;问题的表示;问题的子句集;~HB(s5);~HB(s5);实验题目1;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);实验题目2;实验题目3
文档评论（0）