知识与知识表示.pptVIP

* 知识表示法—一阶谓词逻辑 （2）命题逻辑的联结词 原子命题可通过“联结词”构成“复合命题”，联结词有5种，定义为： 1）? 表示否定，复合命题“?Q”即“非Q” 2）∧表示合取，复合命题“P∧Q”表示“P与Q” 3）∨表示析取，复合命题“P∨Q”表示“P或Q” 4）→表示条件，复合命题“P→Q”表示“如果P，那么Q” 5） 表示双条件，复合命题“P Q”即表示“P当且仅当Q” 第23页，共61页，编辑于2022年，星期五 * 知识表示法—一阶谓词逻辑 （3） 命题逻辑的蕴含式 表示蕴含，如果P→Q恒为真，则称“P Q”为“P永真蕴含Q” 如： 如果天下大雨，则停止足球赛；（P→Q） 天正在下大雨；（P） 所以停止足球赛。（Q） 可以表示为：P，P→Q Q ? 例：如果是鸟，那么就会飞。（P→Q） 驼鸟是鸟（P） 所以驼鸟就会飞（Q） 这个推理就不正确，原因是P → Q不是永真的。 第24页，共61页，编辑于2022年，星期五 * 知识表示法—一阶谓词逻辑 谓词逻辑是命题逻辑的扩充和发展，它将一个原子命题分解成客体和谓词两个组成部分。 在谓词公式P（x）中，P称为谓词，x称为个体变元，若x是一元的，称为一元谓词，P（x,y）称为二元谓词。 在谓词中，个体可以为常量，变量，函数。 若谓词中的个体都为常量，变量或函数，则称它为一阶谓词，如果个体本身是谓词，称为二阶