人工智能-2知识工程研究.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 层次结构表示法主要指框架表示法和面向对象表示法。 1. 框架理论 1975年美国著名的人工智能学者明斯基在其论文“A framework for representing knowledge”中提出了框架理论，并把它作为理解视觉、自然语言对话及其复杂行为的基础。 * 框架是一种描述所论对象(一个事物、一个事件或一个概念)属性的数据结构。 一个框架由若干个“槽”组成，一个槽又可划分为若干个“侧面”。一个槽用于描述所论对象某一方面的属性，一个侧面用于描述相应属性的一个方面。 * 框架名 槽名1: 侧面名1 值1,值2,…,值p1 侧面名2 值1,值2,…,值p2 … 侧面名m1 值1,值2,…,值pm1 槽名2: 侧面名1 值1,值2,…,值q1 侧面名2 值1,值2,…,值q2 … 侧面名m2 值1,值2,…,值qm2 … 槽名n: 侧面名1 值1,值2,…,值r1 侧面名2 值1,值2,…,值r2 … 侧面名mn 值1,值2,…,值rmn 约束: 约束条件1 约束条件2 … 约束条件n * 框架名：教师 姓名：单位(姓、名) 年龄：单位(岁) 性别：范围(男、女) 缺省：男 职称：范围(教授、副教授、讲师、助教) 缺省：讲师 部门：单位(系，教研室) 住址：住址框架 工资：工资框架 开始工作时间：单位(年、月) 截止时间：单位(年、月) 缺省：现在 * 框架名：教师-1 姓名：夏冰 年龄：36 性别：女 职称：副教授 部门：计算机系软件教研室 住址：addr-1 工资：sal-1 开始工作时间：1988，9 截止时间：1996，7 * 框架中的槽值或侧面值都可以是另外一个框架，也就是说框架之中还可以包含框架。这就在框架之间建立起了联系。这种联系是一种包含关系，称为横向联系。 框架之间还可以有继承关系，称为纵向联系。框架中可以有“继承”槽，指明上下关系。 * * * 在用框架表示知识的系统中，求解问题主要通过匹配与添槽实现。 首先把这个问题用一个框架表示出来； 然后与知识库中已有的框架进行匹配，找出一个或者多个可匹配的预选框架作为初步假设； 在初步假设的引导下收集进一步的信息； 最后用某种评价方法对预选框架进行评价，决定是否接受。 框架的匹配是通过对相应槽的槽名及槽值逐个进行比较实现的。 语义网络（Semantic Network）和Petri网（Petri Net） 语义互联网（Semantic Web）在下一代互联网研究中有着十分重要的地位 * Petri网由德国学者卡尔·A·佩特里（Cah Abam Petri）在1962年首先提出。 基本的Petri网可用三元组（P, T, F）来表示。 P（Place）表示位置集合 T（Transition）表示转换集合 F表示有向弧集合 有向弧只能存在于P和T或者T和P之间 在并发系统中，一个位置可以拥有多个令牌（Token），用于进行并发控制 * 便于描述系统状态的变化以及对系统动态特性进行分析； 可以在不同层次上变换描述，而不必注意细节及相应的物理表示。 * 语义网络是奎廉(J.R.Quillian)于1968年在他的博士论文中作为人类联想记忆的一个显式心理学模型最先提出的。 随后在他设计的可教式语言理解器TLC(Teachable Language Comprehenden)中用作知识表示。 1972年西蒙将其用于自然语言理解系统。 目前语义网络已经广泛地应用于人工智能的许多领域中，是一种表达能力强而且灵活的知识表示方法。 * 语义网络是通过概念及其语义关系来表达知识的一种网络图。 从图论的观点看，它就是一个“带标识的有向图”。有向图的节点表示各种事物、概念、情况、属性、状态动作等等。弧表示各种语义联系，也称为联想弧。 * * 结构性 联想性 直观性 非严格性 处理复杂性 * 脚本表示法 夏克（R．C．Schank）根据他的概念依赖理论提出的一种知识表示方法。脚本与框架类似，由一组槽组成，用来表示特定领域内一些事件的发生序列。 过程表示法 认为知识主要是过程性的。其表示方法应将知识及如何使用这些知识的控制性策略均表述为求解问题的过程。 过程性表示方法着重于对知识的利用，它把与问题有关的知识以及如何运用这些知识求解问题的控制策略都表述为一个或多个求解问