第二章知识表示方法（二）.PDFVIP

第二章 知识表示方法（二） 李艳燕 3 、谓词逻辑表示法 2 逻辑系统：  命题逻辑：具有真假意义的陈述句  一个命题总有一个值，称为真值。真值只有“真”（ T ）、 “假”（F ）两种。  原子命题：不能分解的简单陈述句  复合命题：由连接词、标点符号和原子命题构成  谓词逻辑：根据对象和对象上的谓词（对象的属性和 对象之间的关系），通过连接词和量词来表示。  一元、二元谓词 father(x), less(x, y)  一阶、二阶谓词 3 谓词逻辑表示法  用谓词公式表示 （1 ）事实性知识：用合取符号（∧）、析取符 号（∨）连接形成的谓词公式来表示。 例：“张三是学生，李四也是学生” IS_STUDENT(