第7章几种结构化知识表示及其推理.ppt

例7.1 下面是一个描述“教师”的框架： 框架名:教师 类属:知识分子 工作:范围:(教学，科研) 缺省:教学 性别:(男，女) 学历:(中师，高师) 类型:(小学教师，中学教师，大学教师) 例7.2 下面是一个描述“大学教师”的框架： 框架名:大学教师 类属:教师 学历:(学士，硕士，博士) 专业:学科专业 职称:(助教，讲师，副教授，教授) 外语:语种:范围:(英，法，日，俄，德，…) 缺省:英 水平:(优，良，中，差) 缺省:良 例7.3 下面是描述一个具体教师的框架: 框架名:教师-1 类属:大学教师 姓名:李明 性别:男 年龄:25 职业:教师 职称:助教 专业:计算机应用 部门:计算机系软件教研室 工作: 参加工作时间:1995年8月 工龄:当前年份-参加工作年份 工资:工资单 例7.4 下面是关于房间的框架: 框架名:房间 墙数x1: 缺省:x1=4 条件:x10 窗数x2: 缺省:x2=2 条件:x2≥0 门数x3: 缺省:x3=1 条件:x30 这是一个PROLOG的“事实”，其谓词及领域说明如下: domains name=name(string) body=body(subtree list) subtreelist=subtree* subtree=st(string，subtreelist) database frame(name，body) 其中的subtreelist是递归定义的。按此定义所有框架都取统一的表示形式。 2.分类（或从属、泛化）关系 分类关系是指事物间的类属关系，图7―5就是一个描述分类关系的语义网络。在图7―5中，下层概念节点除了可继承、细化、补充上层概念节点的属性外，还出现了变异的情况：鸟是鸵鸟的上层概念节点，其属性是“有羽毛”、“会飞”，但鸵鸟的属性只是继承了“有羽毛”这一属性，而把鸟的“会飞”变异为“不会飞”。其中，关系“是一种”一般标识为“akindof”或AKO。 语义网络中的语义关系是多种多样的，一般根据实际关系定义。如常见的还有before、after、at等表示时间次序关系和located-on、located-under等表示位置关系。进一步，还可对带有全称量词和存在量词的谓词公式的语义加以表示。 由上所述可以看出，语义网络实际上是一种复合的二元关系图。网络中的一条边就是一个二元关系，而整个网络可以看作是由这些二元关系拼接而成。 上面我们是从关系角度考察语义网的表达力的。下面我们从语句角度来考察语义网。 例如，对于如下的语句(或事件)： 小王送给小李一本书。 用语义网络可表示为图7―12，其中S代表整个语句。这种表示被称为是自然语言语句的深层结构表示。 语义网络也能表示用谓词公式表示的形式语言语句。例如：  x(student(x)∧read(x，三国演义)) 即“某个学生读过《三国演义》”，其语义网络表示为图7―13。 7.2.4 语义网络的程序语言实现 由于语义网络是一个二元关系图，所以用PROLOG可方便地实现语义网络知识表示。例如，图7―1所示的语义网络用PROLOG可表示如下: 　　a--kind--of(苹果，水果). 　　taste(苹果，甜). 　　a--kind--of(富士，苹果). 　　intro--from(富士，日本). 　　is--a(日本，亚洲国家). a--kind--of(秦冠，苹果). produ--in(秦冠，陕西). is--located--at(陕西，中国西部). a--part--of(中国西部，中国). ……… 也可以表示为 arc(a--kind--of，苹果，水果). arc(taste，苹果，甜). arc(a--kind--of，富士，苹果). arc(intro--from，富士，日本). arc(is--a，日本，亚洲国家). arc(a--kind--of，秦冠，苹果). arc(produ--in，秦冠，陕西). arc(is--located--at，陕