[电脑基础知识]22--谓词逻辑表示法 1.pptVIP

* 中国矿业大学—中国科学院 智能信息处理联合实验室制作 * 这里涉及的个体有：武汉（wuhan）,马亮（mal）, 张红（zhangh） 第二步 将这些个体代入谓词中，得到 BCity(wuhan), HCity(wuhan), Boy(mal), Girl(zhangh), High(mal,zhangh) 第三步 根据语义，用逻辑连接符将它们连接起来，就得到了表示上述知识的谓词公司。 BCity(wuhan)∧～HCity(wuhan) (Boy(mal)∧Girl(zhangh))→High(mal,zhangh) * 中国矿业大学—中国科学院 智能信息处理联合实验室制作 * 解：首先定义谓词如下： Student(x):x是学生 Uniform(x,y):x穿y N(x):x是自然数 I(x):是整数 P(x):x是正数 Q(x):x是负数 L(x):x大于零 按照第二步和第三步的要求，上述知识可以用谓词公式分别表示为： (?x)(Student(x)→Uniform(x,color)) (?x)(I(x)→P(x)∨Q(x)) (?x)(N(x)→L(x)∧I(x)) 例2 用谓词逻辑表示下列知识： 所有学生都穿彩色制服。 任何整数或者