谓词逻辑与归结原理-Read.PDFVIP

第2章 谓词逻辑与归结原理 逻辑是推理科学的基础。逻辑研究着重于推理的过程是否正确，推理过程中各个语句之间的 关系，而不考虑某一个特定语句是否正确。例如，有如下语句： 所有歌唱家都染头发。 任何染头发的人都是唱流行歌曲的。 因此，所有歌唱家都是唱流行歌曲的。 在此，无法判断每一个单独的句子是否正确，判断每一个句子的正确性对于逻辑推理也没有 意义。但是，如果前两个句子为真，逻辑推理可以断定第 3 个句子是真的。 逻辑可分为经典逻辑和非经典逻辑，经典逻辑包括命题逻辑和谓词逻辑。谓词逻辑是一种表 达能力很强的形式语言，同时又有许多种成熟的推理方法。因此，谓词逻辑及其推理方法就成为 知识表示和机器推理的基本方法之一。在讨论谓词逻辑之前，先讨论命题逻辑的归结，以便于内 容上的理解。归结原理是一种主要基于谓词（逻辑）知识表示的推理方法，而命题逻辑是谓词逻 辑的基础。本章从命题逻辑人手，着重讨论逻辑运算在人工智能推理方法中的意义，谓词逻辑表 示方法，归结原理推理方法及其理论基础。 2.1 命 题 逻 辑 命题逻辑是本章的基础。本节中，将主要介绍命题逻辑的重要概念和归结方法，如数理逻辑、 基本公式变形、前束范式、子句集等。 2.1.1 命题 数理逻辑研究的中心问题是推理，而推理的前提和结论都是表达判断的陈述句。因而，表达 判断的陈述句构成了推理的基本单位。于是，称能判断真假（不是既真又假）的陈述句为命题。 本章中命题由小写英文字母p ,q ,r ,s 等表示。这种陈述句的取值非真即假，只有两种判断值。判 断正确的命题称其真值为真，判断错误的命题称其真值为假。因此可以称命题是具有唯一真值的 陈述句。简单陈述句是用来描述事实、事物的状态、关系等性质的文字串。例如： ① 1 ＋ l ＝2 。 ② 雪是黑色的。。 ③ 北京是中国的首都。 ④ 到冥王星去度假。 判断一个句子是否是命题，先要看它是否是陈述句，而后看它的真值是否惟一。以上的例子 都是陈述句，第 4 句的其值现在是假，随着人类科学的发展，有可能变成真。但不管怎样，真值 是惟一的。因此，以上 4 个例子都是命题。 而例如： ① 快点走吧！ ② 到哪去？ ③ x ＋y ＞10。 等句子，都不是命题。这 3 个句子，前两个不是陈述句，是祈使句和疑问句。而第 3 个句子的真 值随变量 x ，y 的变化而变化，因此，真值不惟一，也不是命题。如果变量取了惟一的值，便可 以转换成为命题。这样真值可以变化的简单陈述句称为命题变量或命题变元。如果命题的陈述句 不能分解成更简单的句子，便称这个命题为简单命题或原子命题。以上的命题都是简单命题，是 基本的单元或作为不可再分的原子。 命题逻辑主要研究由简单命题用联结词联结而成的命题，这样的命题称为复合命题。例如： ① 3 不是偶数。 ② 如果天下雨，出门带伞。 ③ 他会英语和日语。 2.1.2 命题公式 本节列出的是一些基本的数理逻辑公理公式和一些基本的定义，是归结法的基础，应该熟练 掌握。 命题公式的定义 1） 单个常量或变量的命题称作合式公式； 2 ） 联结词联结的合式公式的组合也是合式公式； 3 ） 合式公式有限次的组合所构成的字符串称为命题公式 习惯上命题公式由大写英文字母A ，B ，C，D 等表示。 命题逻辑中的基本联结词有： ~ ：否定（非） ∧：合取（与） ∨：析取（或） →：蕴含（IF…THEN ） ↔：等价（当且仅当） 命题公式的联结词的组合仍然是命题公式。 A B A ∧B ·合取式： 与 ，记作 ·析取式：A 或B ，记作A ∨B A B ·蕴含式：如果 则 ，记作A →B ·等价式： A 当且仅当B ，记作A ↔B 每一个联结词的含义由表 2.1 给出的真值表确定。请注意，A →B 的定义比较特殊，只有当 A 取真（T ）和B 取假（F ）时，结果取值才为假（F ）。 表 2.1 联结词的真值表 A B ~ A A ∧B