周雄辉-人工智能-AI2章确定性知识系统.pptVIP

*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;例：用谓词逻辑表示下列知识： 武汉是一个美丽的城市，但她不是一个沿海城市。 如果马亮是男孩，张红是女孩，则马亮比张红长得高。 解：按照知识表示步骤，用谓词公式表示上述知识。 第一步：定义谓词如下： BCity(x)：x是一个美丽的城市 HCity(x)：x是一个沿海城市 Boy(x):x是男孩 Girl(x):x是女孩 High(x,y):x比y长得高; 这里涉及的个体有：武汉（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(