第2章++知识表示方法(蔡自兴).pptVIP

2.6 本体技术;对“概念化”解释;概念化 领域空间D,W中D的概念化定义为一个有序三元组C=D,W,R上概念关系的集合。 从上述定义可见，概念化是定义在一个领域空间上的所有概念关系的集合。 意图结构 S 是可能世界 关于C的意图结构，S =D,R ,其中R ={p( )|p R},表示R中概念关系的 的外延集合。 符号Sc表示概念化C的所有意图世界结构。;模型 假定逻辑语言L具有词汇表V，词汇表V有常量符号集合和谓词符号集合构成。逻辑语言L的模型定义为结构S,I，其中S=D,R表示一个世界结构；I： 表示一个解释函数，把V中的常量符号映射为D中的元素，把V中的谓词符号映射为R中的元素。 有以上定义可见，一个模型确定了一种语言的特定外延解释。类似的，通过概念话可以确定内涵解释C,3为一个结构C,3，其中C=D,W,R是一个概念化， 3： 表示一个解释函数，把V中的常量符号映射为D中的元素，把V中的谓词符号映射为R中的元素。;本体承诺 逻辑语言L的一个本体承诺K=C,3定义为L的一个内涵解释模型，其中C=D,W,R, 3： 表示一个解释函数，把V中的常量符号映射为D中的元素，把V中的谓词符号映射为R中的元素。 如果K=C,3是逻辑语言L的本体承诺，则称逻辑语言L通过本体承诺K承诺于概念化C，同时，C是K的基本概念化。 ;已知逻辑语言L和其词汇表V，K=C,3是逻辑语言的本体承诺，则模型S,I与K兼容需要满足以下条件： 对每一个常量c,I(c)=3(c)； 存在一个可能世界 ,对于每个谓词符号p,满足I把谓词p映射为3(p)允许的外延。即存在一个概念上的关系p,满足;意图模型 逻辑语言L的所有与K兼容的模型M(L)构成一个集合，称为L关于K的内涵模型，记为 。 给定逻辑语言L和其本体承诺K=C,3,L的本体是按照本体的模型集合最逼近于L关于K的内涵模型集合的方式设计的公理集合。 本体 本体是一种说明形式化词汇内涵的逻辑理论，即一种词汇世界特定概念化的本体承诺。使用该词汇表的逻辑语言L的内涵模型受本体承诺K的约束。 ; 如果存在本体承诺K=C,3使本体O包含L关于K 的内涵模型，那么称语言L的本体O相似于概念化C。 如果本体O的设计目的是为了描述概念化C的特征，同时本体O相似于概念化C，那么称本体承诺于C。如果逻辑语言L承诺于某个概念化C，以致本体O承诺于概念化C，那么逻辑语言L承诺于本体O。;图1表示语言L、本体O与概念话C之间关系的示意图。本体O是用于解释形式化词汇内涵意义的逻辑理论，使用这种词汇表的逻辑语言L的内涵模型受本体承诺K的约束。本体通过接近这些内涵模型间接地反应这些本体承诺，本体O是语言相关的，而概念化C是语言无关的。;本体的组成与分类;函数是一种特殊的关系，其中第n个元素对于前面n-1个元素是唯一确定的。一般地，函数用F: 表示。 公理用于描述一些永真式。具体地说，公理是领域中在任何条件下都成立的断言。 实例是指属于某种概念的具体实例，特定领域的实例构成领域概念类在该领域中的指称域。;图2是一个ontology实例,具体说明ontology的内容。途中表示的内容为某领域研究人员ontology库的一部分，是对研究人员(person)和出版物(publication)这两个概念，以及研究人员的合作关系(cooperatesWith)、研究人员与出版物之间相互关系公里的定义。;本体的分类;本体的建模;阶段1：数据收集和分析 阶段2：建立一个词典 阶段3：对字典进行求精，建立内容更丰富的表 阶段4：用RDFS语言描述上述各表 阶段5：定义关系的代数属性，定义知识的推理规范;2.7 过程表示;2.7 过程表示;2.7 过程表示;特点 效率高：过程表示法是用程序表示知识的，而程序中嵌入推理过程的控制策略，它能决定程序执行时先做什么，后做什么以及怎样做，从而可以避免选择和匹配那些无关的知识，也不需要跟踪那些不必要的路径，提高了系统的运行效率。 控制系统设计容易：由于控制性知识已融入程序中，因而控制系统设计容易，且它仅起着解释过程规则的作用。 局限性：不易修改及添加新的知识，而且当对某一过程进行修改时，有可能影响到其它过程，对系统的维护带来了