第三章 人工智能数学基础.pptVIP

第三章 人工智能的数学基础 人工智能在计算机上的模拟就是人工智能，而智能的核心是思维，因而如何把人们的思维活动形式化、符号化，是其在计算机上实现成为重要课题。在这方面，逻辑的有关理论、方法、技术起着十分重要的作用。此外，概率论及模糊理论的有关概念及理论在也不确定性知识的表示与处理中占有重要地位。 第三章 人工智能的数学基础 第三章 人工智能的数学基础 第三章 人工智能的数学基础 命题逻辑与谓词逻辑是最先应用于人工智能的两种逻辑,对于知识的形式化表示，特别是定理的自动证明发挥了重要作用，在人工智能的发展史中占有重要地位。 谓词逻辑是在命题逻辑基础上发展起来的，命题逻辑可看作是谓词逻辑的一种特殊形式，本节主要讨论谓词逻辑的主要概念及有关定理。 第三章 人工智能的数学基础 命题逻辑是研究命题与命题之间关系的符号逻辑系统。 定义：命题是具有真假意义的语句，亦称为原子命题。 例如：天晴或者天下雨。即指单一意义，不能再分割的基本事实。 ● 命题是人们思维时的一种判断，或肯定或否定。 ● 命题的意义为真或假（T/F）。 第三章 人工智能的数学基础 ● 命题常量：一个特定的命题。 ● 命题变量/变元：一个抽象的命题。只有代入确定的命题才有明确的真值（T/F）。 第三章 人工智能的数学基础 1、谓词 1.1 谓词概念 研究命题内部的逻辑结构和命题之间的共同逻辑特征，是基于命题中的谓词分析的一种逻辑。 在谓词逻辑中，命题是用谓词表示的。即命题逻辑是谓词逻辑的一个子集。 谓 词：含谓词名和个体。 谓词名：刻画个体的性质/状态/个体间的关系。 第三章 人工智能的数学基础 个 体：某个独立存在的事物/某个抽象的概念，常量/变元/函数。 1.2 谓词形式 P（X1，X2，……..，XN） 即原子（谓词）公式。 P：谓词名。语义是人为定义的 XN：个体/项（常量/变元/函数）。 第三章 人工智能的数学基础 例如：TEACHER(zhang） 张某是教师 ON(box,table) 盒子在桌子上 TALLER(zhang,brother(wang)) 张某比王某的哥哥高 ●谓词中的变元用特定的个体（常量）取代后，有确定的真值。 ●谓词的元数：个体数目。 例如 P（x, y）,P(x1,x2,……xn)分别为二元和n元谓词。各元的次序不能交换。 第三章 人工智能的数学基础 ●一阶谓词： xi 均是个体常量/变元/函数，称为“项”。 ●二阶谓词：某个xi又是一个一阶谓词。 例如二阶谓词： 说今天要下雨是不准确的。 其中今天要下雨是一阶谓词。 ●个体：某个独立存在的事物/某个抽象的概念，常量/变元/函数。 ●个体域：个体变元的取值范围，有限的/无限的。 第三章 人工智能的数学基础 1.3 谓词公式 P（X1，X2，……..，XN） 即原子（谓词）公式。 P：谓词名。语义是人为定义的。 XN：个体/项（常量/变元/函数） 第三章 人工智能的数学基础 ⑴连接词： 用于构成复杂的合成谓词/命题公式。 乛 非/否定； ∨ 析取,“或”； ∧ 合取,“与” → 条件/蕴含： 例如 P →Q 表示“如果P，则Q” 注：P称为前件/项；Q为“后件/项”，逻辑上等价于 乛P ∨Q 双条件： 例如 P Q表示“P当且仅当Q” 注： 逻辑上等价于 （P ∧ Q）∨（乛P ∧乛Q） 第三章 人工智能的数学基础 ⑵量词/化： 量词：刻画谓词和个体间的关系。 全称量词（ x,读作“对所有的x”)：对于个体域中的所有/任一个个体x。 注：即一个合式公式P(x)，在某个解释下，对于所有可能的 变量x，P(x) 都为真时，可表示为： xP(x) 存在量词（ x，读作“至少存在一个x”）：对于个体域中的某 第三章 人工智能的数学基础 个个体x。 注：对于一P(x)，在某个解释下，至少有一个x值可使P(x) 为真时，表示为： xP(x)。 第三章 人工智能的数学基础 例如：设谓词F(x,y)表示x与y是朋友。 则： ( x)( y)F(x,y)： 表示对于个体域中的任何个体x，都存在某个个体y，解释成x与y是朋友。 另： ( x)( y)F(x,y)： ( x)( y)F(x