基于知识的数据库技术知识分享.pptVIP

  • 2
  • 0
  • 约1.22万字
  • 约 59页
  • 2018-11-12 发布于天津
  • 举报
基于知识的数据库技术知识分享.ppt

数据库系统与技术(7) --基于知识的数据库技术;例如,摄氏39度是一个数据,如果用来表示一个人体温,则成为一种信息;对于医生或具有保健常识的人来说,如果一个人的体温达到摄氏39度,则其正在发烧,需要及时治疗,这就称为一种知识。 ?;2. 知识的要素 概念——给出知识的最基本内容,是知识的最底层基础,通常以名词形式出现,例如花,红色,太阳,风,雨等。 事实——是知识所表示的有关问题涉及到的事物、环境的常识性知识,如事物的分类、属性、事物之间的关系、科学事实和客观事实等。事实建立了概念之间的联系。事实是静态地为人们所共享、最低层次的——0层的知识,通常以“……是……”的形式出现。 规则——由事实组成,建立了事实间的联系。规则是有关问题中与事物的行动、动作相联系的因果关系知识,这种知识是动态的,通常以“如果……则……”的形式出现。例如启发式规则:如果下雨,则出门带伞。;3.知识的类型 过程型知识 过程型知识针对特定问题,用一系列过程来表达具体的处理步骤,优点是执行效率高,但它也有不少缺点: 不易表示大量知识,且表示的知识难于理解和修改。 只适合表达完全正确的知识,稍有含糊的知识就难于用程序表达。 只适合于处理完整、准确的数据。 过程型知识表示要求待处理的问题具有成熟的解法和完整、准确的数据,同时这也大大地限制了它的适用范围。 描述型知识 事实知识描述有关对象、事件以及行为等特征。例如“鸟会飞”、“雪是白色的”等。 判断型知识是指对事实的判断和推断的过程,基于主观理解和感情色彩对客观事件的解释和推理过程,例如“他看起来很开心”。;元知识 组织知识的元知识。这种元知识用来刻画知识的内容和一般特征,描述知识的分类、综合信息等。 利用知识求解问题方向的元知识。这类元知识对领域知识的运用起到指导作用。例如,在问题求解中所用到的推理方法,为解决一个特殊任务而完成活动的计划、组织和选择方面的知识。 从知识源获取知识的元知识。这类知识源包括书本、大脑和其他知识系统。 ;1.谓词逻辑方法 在知识库???目前大都采用“概念-事实-规则”三级层次的知识构造体系。这种体系的知识表示方法也很多,在人工智能和知识工程学科中知识表示方法已经成为一个专门领域。由于谓词逻辑本身很好的一些基本特点,当前的知识库系统中一般采用谓词逻辑表示方法。 ;知识表达与推理;3.语义网络表示法 逻辑表示法和产生式表示法常用于表示有关论域中各个不同状态间的关系,然而用于表示一个事物同其各个部分间的分类知识就不方便了。槽(slot)与填槽表示方法便于表示这种分类知识。语义网络和框架表示方法就属于其中的两种。 ;4.框架表示法 1975年Minsky的论文“A framework for representing knowledge”中提出了框架理论。 其基本观点是人脑已存储有大量典型情景,当人面临新的情景时,就从记忆中选择一个以框架形式存放的知识空框,其具体内容依新的情景而改变,对这空框的细节加工修改和补充,形成对新情景的认识又重新记忆于人脑中。框架理论将框架视作知识单位,将一组有关的框架连接起来便形成框架系统。系统中不同框架可以有共同结点,系统的行为由系统内框架的变化来表现。推理过程是由框架间的协调来完成的。 框架表示法是一种适应性强、概括性高、结构化良好、推理方式灵活又能把陈述性知识与过程性知识相结合的知识表示方法。 ;1.Prolog Prolog是一种基于一阶谓词的逻辑程序设计语言,它是由R.Kowalskv和A.Colmerauer首先提出的,它在AI和知识库的实现技术中具有重要作用。Prolog语言作为数据库系统中演绎推理公理系统的语言,具有很强的逻辑描述能力和推理能力。它使数据库系统和知识库系统两者具有共同的坚实的数学基础。实际上,利用Prolog的演绎推理及处理数据库中的检索等过程就是证明定理的过程。因此,在逻辑上Prolog对应于数学的证明论。 ;2.Datalog Datalog语言是Prolog语言的一种特殊形式,由于prolog语言是一种适应面较为广泛的通用语言,它在数据库、知识库领域中虽然也能适应,但是也存在一定的不足之处,这主要是数据库及知识库领域中具有一定的特殊性。 知识数量有限:在知识库中,知识个数是有限的; 操作受限:在知识库中,一般只有知识操作而很少有计算操作。 因此在实际上需要对prolog进行一定的限制,使其在知识库领域中发挥更大作用,而Datalog即是Prolog的一种适应于知识库的改进形式语言,是一种受限的Prolog语言,适用于知识库。 ;3.LISP LISP(LISt Processing),由约翰.麦卡锡在1960年创造的一种基于λ演算的函数式编程语言。约翰.麦卡锡1960年发表了一篇非凡的论文,

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档