第二章基于谓词逻辑的机器推理详解.ppt

第二章 基于谓词逻辑的机器推理 ;第2章??? 基于谓词逻辑的机器推理; 逻辑学是研究人如何正确地思维以达到认识客观真理的科学，它包括形式逻辑和辨证逻辑两部分。形式逻辑又名静态逻辑或初等逻辑，它着重研究思维形式的结构及其规律。辩证逻辑又名动态逻辑或高等逻辑，它是全面研究思维的形式和内容，研究思维的辨证发展规律的科学。形式逻辑反映的是认识过程处在量变阶段的规律，它完成的是已知规律的逻辑推理。辩证逻辑反映的是认识过程处在质变阶段的规律，它研究的是人的认识的发生、发展和完善的全过程。; 数理逻辑是用数学方法研究逻辑学的科学，目前仅局限在形式逻辑范围内。数理逻辑以命题演算和一阶谓词演算为基础。在数理逻辑中，仅关心推理在形式上的有效性，而不涉及推理的内容本身。命题逻辑与谓词逻辑是最先应用于人工智能的两种逻辑，对于知识的形式化表示，特别是定理的自动证明发挥了重要作用，在人工智能的发展史中占有重要地位。本节主要介绍命题逻辑，在下一节介绍谓词逻辑。;2.1.1 命题 2.1.2 命题定律 2.1.3 范式 2.1.4 命题逻辑的局限性;定义2.1 命题（Proposition）：命题是具有真假意义的语句。 命题代表人们进行思维时的一种判断，或者是肯定，或者是否定，只有这两种情况。如果命题的意义为真，称它的真值为真，记作T；如果命题的意义为假，称它的真值为假，记作F。一个命题不能同时既为真又为假，但可以在一定条件下为真，在另一种条件下为假。没有真假意义的语句(如感叹句、疑问句等)不是命题。例如，“北京是中华人民共和国的首都”、“35” 等都是真值为T的命题；“太阳从西边升起”，“煤球是白色的”都是真值为F的命题。“1+1=10”在二进制情况下是真值为T的命题，但在十进制情况下却是真值为F的命题。同样，对于命题“今天是雨天”，也要看当天的实际情况才能决定其真值。 ; 如果一个命题不能进一步分解为更简单的命题，则此命题叫原子命题（或本原命题、原始命题）。使用适当的联结词，可以把原子命题组合成复合命题或分子命题。 在命题逻辑中，命题通常用大写的英文字母表示，例如可用英文字母P表示“北京是中国的首都”这个命题。英文字母表示的命题既可以是一个特定的命题，也可以是一个抽象的命题，前者称为命题常量，后者称为命题变元。当“P”表示某个特定命题时，我们说P 是一个命题常量，它的真值就是该特定命题的真值。当“P”仅是任意命题的位置标志符时，我们说P 是一个命题变元，它没有真值。在数理逻辑中，命题变元不代表一个确定的命题，没法确定其真值，但可以用任意一个给定的命题取代它。这时就可以给出P的真值。也就是说可以给命题变元任意指派真值。在命题逻辑中常把命题变元简称为变元。 ;定义2.2 命题联接词：在数理逻辑中也有类似的严格定义过的联结词，叫命题联接词。常用的命题联接词有五个：合取、析取、否定、蕴含、双条件。它们的定义如表2-1所示。 ;表2-1 命题连接词逻辑真值表 ;? ;? ;? ;? ;? ;? ;? ;? ;? ;? ;? ;3.1.4 命题逻辑的局限性 ;命题逻辑的局限性 ;;回顾：命题逻辑;回顾：命题逻辑;回顾：命题逻辑;回顾：命题逻辑;回顾：命题逻辑;回顾：命题逻辑;回顾：命题逻辑;回顾：命题逻辑;回顾：命题逻辑;回顾：命题逻辑; 谓词逻辑是在命题逻辑基础上发展起来的，命题逻辑可看作是谓词逻辑的一种特殊形式。本节主要讨论谓词逻辑的主要概念及有关定理。 ; 2.2.1 谓词2.2.2 量词2.2.3 谓词逻辑的合式公式2.2.4 自由变元与约束变元2.2.5 谓词公式的解释2.2.6 知识的一阶谓词逻辑表示法 ; 在谓词逻辑中，命题是用谓词表示的，一个谓词可分为谓词名与个体这两个部分。个体表示某个独立存在的事物或者某个抽象的概念；谓词名用于刻画个体的性质、状态或个体间的关系。 例如，对于“老张是教师”这个命题，用谓词可表示为Teacher ( Zhang )。其中Teacher是谓词名，Zhang是个体，“Teacher”刻画了“Zhang”的职业是教师这一特征。又如,“53”这个不等式可用谓词表示为Greater（5，3），这里Greater刻画了5与3之间的“大于”关系。 ;谓词;谓词的一般形式是： P (x1, x2, ..., xn) 其中，P是谓词名，x1, x2, ..., xn是个体。谓词名通常用大写的英文字母表示，个体通常用小写的英文字母表示,个体可以是常量，也可以是变元，还可以是一个函数。 例如，对于“x5，可表示为Less (x , 5 )，其中x是变元。又如，对于“小王的父亲是教师”，可表示为Teacher (father(Wang))，其中father (Wang)是一个函数。