人工智能chapter2Part1V7Student讲述.ppt

* 在命题逻辑中，最基本的单元是命题，它是作为一个不可分割的整体。 例如：雪是黑的 命题逻辑具有较大的局限性，不适合于表达比较复杂的问题。 * 例： 所有科学都是有用的（命题1）。 数理逻辑是科学（命题2）。 所以，数理逻辑是有用的（命题3）。 很明显，我们无法用命题1、2推断出命题3。 * 谓词逻辑是命题逻辑的扩充和发展。 它将一个原子命题分解成客体和谓词两个组成部分。 例如： 雪 是黑的 客体 谓词 本课程首先介绍一阶谓词逻辑。 * 2 谓词 语法与语义 谓词逻辑的基本组成部分 谓词 变量 函数 常量 圆括号、方括号、花括号和逗号 * 例 “机器人（Robot）在第一个房间（Room1）内”，可以表示为： INROOM（ROBOT，R1） 其中 INROOM是谓词 ROBOT和R1是常量 * 谓词是指客体所具有的性质或者若干客体之间的关系。 客体变元：定义在某一个客体域（由客体组成的集合）上的变量（抽象的）。用x, y, z 来表示。 例如Human（x）是一个原子谓词公式，其中Human是谓词，x是客体变元。 客体是可以具体的（如，小张、3、5），也可以是抽象的（如，x, y）。 * 例： Student(x)表示是“x是学生”， 小明是学生， 记作Student(小明)。 ---性质 x大于y，Greater表示“大于”， 记作Greater (x, y)。--关系 * 谓词? 有 n 个客体变元，称之为 n 元谓词，并约定 0 元谓词就是命题（谓词的特例）。 由于在谓词公式中x不是特定的个体，因而谓词也称为命题函数。 可以用客体域中任一个客体取代命题函数中的客体变元，从而给相应的谓词公式赋予真、假值。 * 谓词公式的定义： ①原子谓词公式—由原子命题组成，如：Human（x） ②复合谓词公式—由原子谓词公式 通过联接词构成。 * (2)、连词和量词 联结词（连词）就是命题逻辑中的五个，它们的含义也是一样的。 ～、∧、 ∨、 、 ? 、 ? * 量词： ? ：全称量词。意思是“所有的”、“任一个” 命题(? x)P(x)为真，当且仅当对论域中的所有x，都有P(x)为真 命题(? x)P(x)为假，当且仅当至少存在一个xi D，使得P(xi)为假 ? ：存在量词，意思是“至少有一个”、“存在有” 命题(? x)P(x)为真，当且仅当至少存在一个xi D，使得P(xi)为真 命题(? x)P(x)为假，当且仅当对论域中的所有x，都有P(x)为假 * 量词： 辖域：指位于量词后面的单个谓词或者用括弧括起来的合式公式 约束变元：辖域内与量词中同名的变元称为约束变元 自由变元：不受约束的变元称为自由变元 例子：(?x)(P(x，y)→Q(x，y))∨R(x，y) 其中，(P(x，y)→Q(x，y))是(?x)的辖域 辖域内的变元x是受(?x)约束的变元 R(x，y)中的x和所有的y都是自由变元 * 例1：“所有的机器人都是灰色的”，用谓词逻辑可以表示成： （?x）[ROBOT(x) ? COLOR(x，gray)] * 例2： “一号房间里有一个物体”，可以表示成 （?x）INROOM（x, r1） * 例：任何整数或者为正或者为负。 数学表达：对于所有的x，如果x是整数，则x或者为正、或者为负。 记作： I(x)：“x是整数”。（原子谓词公式） P(x)：“x是正数”。（同上） N(x)：“x是负数”。 （同上） 谓词公式： （?x）（I(x) ? (P(x) ∨N(x))） * 例 表示如下知识： 王宏是计算机系的一名学生。 王宏和李明是同班同学。 凡是计算机系的学生都喜欢编程序。 解：先定义谓词： CS(x)：表示x是计算机系的学生。 CM(x,y)：表示x和y是同班同学。 L (x,y)：表示x喜欢y。 然后再将知识表示为： CS(Wang hong) CM(Wanghong, Li ming) (?x)(CS(x) →L (x, programming)) 课堂练习 用一阶谓词逻辑表达方法表示下列命题：