人工智能 AI 第三章1.pptVIP

第3章 谓词逻辑与归结原理 概述 命题逻辑 谓词逻辑基础 谓词逻辑归结原理 Herbrand定理 概述 归结原理由J.A.Robinson由1965年提出。 与演绎法(deductive inference)完全不同，新的逻辑演算(inductive inference)算法。 一阶逻辑中任意恒真公式，使用归结原理，总可以在有限步内给以判定。 语义网络、框架表示、产生式规则等等都是以推理方法为前提的。即，有了规则已知条件，顺藤摸瓜找到结果。 而归结方法是自动推理、自动推导证明用的。（“数学定理机器证明”） 本课程只讨论一阶谓词逻辑描述下的归结推理方法，不涉及高阶谓词逻辑问题。 3.1命题逻辑 命题：能判断真假（不是既真又假）的陈述句。 简单陈述句描述事实、事物的状态、关系等性质。 例如：1．? 1+1=2 2．? 雪是黑色的。 3．? 北京是中国的首都。 4．? 到冥王星去渡假。 判断一个句子是否是命题，有先要看它是否是陈述句，而后看它的真值是否唯一。以上的例子都是陈述句，第4句的真值现在是假，随着人类科学的发展，有可能变成真，但不管怎样，真值是唯一的。因此，以上4个例子都是命题。 而例如：1．? 快点走吧！ 2．? 到那去？ 3．? x+y10 等等句子，都不是命题。 3.1命题逻辑 命题逻辑基础：