第7部分几种结构化知表示及其推理.pptVIP

例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)