[农业专家系统和PROLOG语言]nyzjxt2.pptVIP

May 27,2005 第2章 人工智能的数学基础 逻辑的有关理论、方法、技术起着十分重要的作用，它不仅为人工智能提供了有力的工具，而且也为知识的推理奠定了理论基础。 概率论及模糊理论的有关概念及理论也在不确定性知识的表示与处理中占有重要地位。 人工智能中用到的逻辑可概括地划分为两大类: 一类是经典命题逻辑和一阶谓词逻辑，其特点是任何一个命题的真值或者为“真”，或者为“假”，二者必居其一。因为它只有两个真值，因此又称为二值逻辑; 另一类是泛指除经典逻辑外的那些逻辑，主要包括三值逻辑、多值逻辑、模糊逻辑、模态逻辑及时态逻辑等，统称为非经典逻辑。 2.1命题逻辑与谓词逻辑 命题逻辑与谓词逻辑是最先应用于人工智能的两种逻辑，对于知识的形式化表示，特别是定理的自动证明发挥了重要作用，在人工智能的发展史中占有重要地位。 谓词逻辑是在命题逻辑基础上发展起来的，命题逻辑可看作是谓词逻辑的一种特殊形式。 2.1.1 命题 定义2.1 命题是具有真假意义的语句。 命题代表人们进行思维时的一种判断，或者是肯定，或者是否定，只有这两种情况。 若命题的意义为真，称它的真值为真，记作T； 若命题的意义为假，称它的真值为假，记作F。 命题不能同时既为真又为假，但可以在一定条件下为真，在另一种条件下为假。没有真假意义的语句(如感叹句、疑问句等)不是命题。 “北京是中华人民共和国的首都”，“35”都是真值为T的命题； “太阳从西边升起”，“煤球是白色的”都是真值为F的命题。 “1+1=10在二进制情况下是真值为了的命题，但在十进制情况下却是真值为F的命题。同样，对于命题“今天是晴天”，也要看当天的实际情况才能决定其真值。 在命题逻辑中，命题通常用大写的英文字母表示，例如可用英文字母P表示“西安是个古老的城市”这个命题。 英文字母表示的命题既可以是一个特定的命题，也可以是一个抽象的命题，前者称为命题常量，后者称为命题变元。对于命题变元而言，只有把确定的命题代入后，它才可能有明确的真值(T或F)。 命题逻辑的这种表示法有较大的局限性，它无法把它所描述的客观事物的结构及逻辑特征反映出来，也不能把不同事物间的共同特征表述出来。 例如，对于“老李是小李的父亲”这一命题，若用英文字母表示，例如用字母P，则无论如何也看不出老李与小李的父子关系。 又如，对于“李白是诗人”、“杜甫也是诗人”这两个命题，用命题逻辑表示时，也无法把两者的共同特征(都是诗人)形式地表示出来。 由于这些原因，在命题逻辑的基础上发展起来了谓词逻辑。 2.1.2 谓词 在谓词逻辑中，命题是用谓词表示的，一个谓词可分为谓词名与个体这两个部分。 个体表示某个独立存在的事物或者某个抽象的概念； 谓词名用于刻画个体的性质、状态或个体间的关系。例:“老张是教师” 表示为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)是一个函数。 谓词表示客观事物时，谓词的语义是由使用者根据需要人为地定义 当谓词中的变元都用特定的个体取代时，谓词就具有一个确定的真值：T或F 谓词中包含的个体数目称为谓词的元数。如P(x)是一元谓词，P(x，y)是二元谓词，P((x1，x2，…，xn)是n元谓词。 在谓词P(x1，x2，…，xn)中，若xi(i=1，…，，n)都是个体常量、变元或函数，称它为一阶谓词。 如果某个xj本身又是一个一阶谓词，则称它为二阶谓词。余者类推。 个体变元的取值范围称为个体域。个体域可以是有限的，也可以是无限的。 谓词与函数是两个完全不同的概念。谓词的真值是“真”或“假”函数的值是个体域中的某个个体，函数无真值可言，是映射。 个体常量、个体变元、函数统称为“项” 2.1.3 谓词公式 1. 连接词 无论是命题逻辑还是谓词逻辑，均可用下列连接词把一些简单命题连接起来构成一个复合命题，以表示一个比较复杂的含义。 ?：称为“非”或者“否定”。其