2.知识表示分析重点.pptVIP

（2）分块语义网络表示法要求，子空间中的所有非全称变量的节点都是全称变量节点的函数，那些不是全称变量节点函数的其它节点，应该拉到空间之外去。 【例2】：命题“每个学生都读过《红楼梦》”，就应该表示成如下形式的语义网络： GS g 学生 读 书 s r 红楼梦 个体 F ? 个体 个体 个体 动作 主体 动作 对象 【例3】：试将命题“每个学生都读过所有的书”表示成分块语义网络的形式。 【解】：先将上述命题表示成谓词公式： (?s)学生(s) (?b)书(b)[读过(s,b)] 其分块语义网络如下： GS g 学生 读 书 s r b 个体 F ? 个体 个体 个体 动作 主体 动作 对象 ? （1）A-Member-of联系:表示个体与集体（类或集合）之间的关系，它们之间有属性继承性和属性更改权。例如，“张三是工会会员”。 （2）Composed-of联系：表示“构成”联系，是一种一对多的联系，被它联系的节点间不具有属性继承性。例如，“整数由正整数、0及负整数组成”。 （3）Have联系：表示属性或事物的“占有”关系。例如，“鸟有翅膀”。 （4）Before, After, At联系：表示事件之间的时间先后关系。 常用的语义联系 其中，Before表示一个事件在另一个事件之前发生；After表示一个事件在另一个事件之后发生；At表示一事件发生的时间。例如，“唐