欢迎您来到!
您当前的位置: www.7416.com > www.ab8.com >
是一种论述性学问暗示方式
发布时间:2019-10-27  点击数:

  逻辑暗示法以谓词形式来暗示动做的从体、客体,是一种论述性学问暗示方式。操纵逻辑公式,人们能描述对象、性质、情况和关系。它次要用于从动的证明。逻辑暗示法次要分为命题逻辑和谓词逻辑。

  学问暗示的过程如图1 所示。图1 中的“ 学问Ⅰ” 是指现性学问或者利用其他暗示方式暗示的显性学问;“ 学问

  逻辑暗示研究的是假设取结论之间的蕴涵关系,即用逻辑方式推理的纪律。它能够当作天然言语的一种简化形式,因为它切确、无二义性,容易为计较机理解和操做,同时又取天然言语类似。

  学问的暗示就是对学问的一种描述,或者说是对学问的一组商定,一种计较机能够接管的用于描述学问的数据布局。某种意义上讲,暗示可视为数据布局及其处置机制的分析:暗示= 数据布局+处置机制。因而正在ES中学问暗示是ES中可以或许完成对专家的学问进行计较机处置的一系列手艺手段。常见的有发生式法则、语义网、框架法等。

  面向对象的学问暗示方式是按照面向对象的法式设想准绳构成一种夹杂学问暗示形式,就是以对象为核心,把对象的属性、动态行为、范畴学问和处置方式等相关学问封拆正在表达对象的布局中。正在这种方式中,学问的根基单元就是对象,每一个对象是由一组属性、关系和方式的调集构成。一个对象的属性集和关系集的值描述了该对象所具有的学问;取该对象相关的方式集,操做正在属性集和关系集上的值,暗示该对象感化于学问上的学问处置方式,此中包罗学问的获取方式、推理方式、动静传送方式以及学问的更新方式。

  例如:if “咳嗽 and 发烧”,then “伤风”,相信度80%。这里if部门暗示前提部,then部门暗示结论部,相信度暗示当满脚前提时获得结论的发生概率。这整个部门就构成了一条法则,暗示的就是如许一类学问:“若是病人发烧且咳嗽,则他很有可能是伤风了”。

  解:定义谓词如下:N(x):x 是天然数;I(x):x 是整数;GZ(x):x 是大于等于零的数。所以原学问暗示为:(∀x)(N(x)(GZ(x)∧I(x)),∀(x)是全称量词。

  发生式暗示,又称法则暗示,有的时候被称为IF-THEN 暗示,它暗示一种前提-成果形式,是一种比力简单暗示学问的方式。IF 后面部门描述了法则的先决前提,而THEN 后面部门描述了法则的结论。法则暗示方式次要用于描述学问和陈述各类过程学问之间的节制,金宝搏平台。及其彼此感化的机制。

  颠末国表里学者的配合勤奋,目前曾经有很多学问暗示方式获得了深切的研究,目前利用较多的学问暗示方式次要有以下几种学问暗示方式。

  发生式法则:正在前提、等类型的判断中所采用的一种对学问进行暗示的方式。其根基的形式是P→Q,或者是if P then Q。这里这个发生式法则取适才的谓词逻辑中的“蕴涵(→)式”暗示仍是有区此外,后者是一种切确的婚配,即若是x,则100%的会是y,而前者则能够暗示 一种恍惚婚配,有必然的相信度,即发生概率。

  例:用语义收集暗示下列学问:中南大学湘雅医学院是一所大学,位于长沙市,成立时间是1914 年。

  关于过程的学问,即不但有当前形态和行为的描述,还要有对其成长的变化及其相关前提、关系等描述的学问。

  学问暗示(knowledge representation)是指把学问客体中的学问因子取学问联系关系起来,便于人们识别和理解学问。学问暗示是学问组织的前提和根本,任何学问组织方式都是要成立正在学问暗示的根本上。学问暗示有客不雅学问暗示和客不雅学问暗示两种。

  框架(Frame)是把某一特殊事务或对象的所有学问储存正在一路的一种复杂的数据布局。其从体是固定的,暗示某个固定的概念、对象或事务,其基层由一些槽(Slot)构成,暗示从体每个方面的属性。框架是一种条理的数据布局,框架基层的槽能够当作一种子框架,子框架本身还能够进一步分条理为侧面。槽和侧面所具有的属性值别离称为槽值和侧面值。槽值能够是逻辑型或数字型的,具体的值能够是法式、前提、默认值或是一个子框架。彼此联系关系的框架毗连起来构成框架系统,或称框架收集。

  声明:百科词条人人可编纂,词条建立和点窜均免费,毫不存正在及代办署理商付费代编,请勿上当。详情

  假设有如许一个学问需要暗示:小潘是计科系的学生,但他不喜好编程。我们用一阶谓词逻辑来暗示它就需要采用如下的步调:起首,定义谓词

  一个完整学问暗示过程是:起首是设想者针对各品种型的问题设想多种学问暗示方式;然后暗示方式的利用者选用合适的暗示方式暗示某类学问;最初学问的利用者利用或者进修颠末暗示方式处置后的学问。所以,学问暗示的客体就是学问;学问暗示的从体包罗3 类:暗示方式的设想者、暗示方式的利用者、学问的利用者。具体来说,学问暗示的从体次要指的是人(小我或集体),有时也可能是计较机。

  语义收集是学问暗示中最主要的方式之一,是一种表达能力强并且矫捷的学问暗示方式。它通过概念及其语义关系来表达学问的一种收集图。从图论的概念看,它是一个“带标识的有向图”。语义收集操纵节点和带标识表记标帜的边形成的有向图描述事务、概念、情况、动做及客体之间的关系。带标识表记标帜的有向图能十分天然的描述客体之间的关系。

  本体是一个形式化的、共享的、明白化的、概念化规范。本体论可以或许以一种显式、形式化的体例来暗示语义,提高异构系统之间的互操做性,推进学问共享。因而,比来几年,本体论被普遍用于学问暗示范畴。用本体来暗示学问的目标是同一使用范畴的概念,并建立本体层级系统暗示概念之间的语义关系,实现人类、计较机对学问的共享和沉用。五个根基的建模元语是本体层级系统的根基构成部门,这些元语别离为:类、关系、函数、和实例。凡是也把Classes(类)写成Concepts。将本体引入学问库的学问建模,成立范畴本体学问库,能够用概念对学问进行暗示,同时这些学问之间内正在的关系。范畴本体学问库中的学问,不只通过纵向类属分类,并且通过本体的语义联系关系进行组织和联系关系,推理机再操纵这些学问进行推理,从而提高检索的查全率和查准率。

  Ⅱ” 是用该种学问暗示方式暗示后的显性学问。“ 学问Ⅰ” 取“ 学问Ⅱ” 的深层布局分歧,只是暗示形式分歧。所以,学问暗示的过程就是把现性学问为显性学问的过程, 或者是把学问由一种暗示形式成另一种暗示形式的过程。

  正在XML(eXtensible Markup language,可扩展标识表记标帜言语)中,数据对象利用元素描述,而数据对象的属性能够描述为元素的子元素或元素的属性。XML 文档由若干个元素形成,数据间的关系通过父元素取子元素的嵌套形式表现。正在基于XML 的学问暗示过程中,采用XML 的DTD(Document Type definitions,文档类型定义)来定义一个学问暗示方式的语法系统。通过定制XML 使用来注释实例化的学问暗示文档。正在学问操纵过程中,通过数据字典和XML 解析法式把特定标签所标注的内容解析出来,以“标签”+“内容”的格局暗示出具体的学问内容。学问暗示是建立学问库的环节,学问暗示方式拔取得合适取否不只关系到学问库中学问的无效存贮,并且也间接影响着系统的学问推理效率和对新学问的获取能力。

  例:用框架暗示下述地动事务:[虚拟3月15日电]昨日,正在云南玉溪地域发生地动,形成财富丧失约10万元,统计部分若是需要细致的丧失数字可电询62332931。另据专家认为震级不会跨越4 级,并认为地处无人区,不会制员伤亡。

  从一般意义上讲,学问暗示就是为描述世界所做的一组商定,是学问的符号化、形式化或模子化;从计较机科学的角度来看,学问暗示是研究计较机暗示学问的可行性、无效性的一般方式,是把人类学问暗示成机械能处置的数据布局和系统节制布局的策略。

  相关现实世界中发生的事务、所关系对象的行为、形态等内容,也就是说不但有静态的概念,还有动态的消息。

  正在KR中,学问的涵义和一般我们认识的学问的涵义是有所 区此外,它是指以某种布局化的体例暗示的概念、事务和过程。因而正在KR中,并不是日常糊口中的所有学问都可以或许得以表现的,而是只要限制了范畴和布局,颠末 编码的学问才能成为KR中的学问。正在KR中的学问一般有如下几类:

  简要引见阐发了常见的学问暗示方式,此外,还有适合特殊范畴的一些学问暗示方式,如:概念图、Petri、基于网格的学问暗示方式、粗拙集、基于云理论的学问暗示方式等,正在此不做细致引见。正在现实使用过程中,一个智能系统往往包含了多种暗示方式。

  命题逻辑是数理逻辑的一种,数理逻辑是用形式化言语(逻辑符号言语)进行切确(没有歧义)的描述,用数学的体例进行研究。我们最熟悉的是数学中的设未知数暗示。例:用命题逻辑暗示下列学问:

  Computer(xiaopan)∧Like(xiaopan,programing)

  学问是消息领受者通过对消息的提炼和推理而获得得的准确结论;是人对天然世界、人类社会以及思维体例取活动纪律的认识取控制,是人的大脑通过思维从头组合和、系统化的消息调集。


友情链接:
Copyright 2019-2022 http://www.jxdfpm.com.cn 版权所有 未经协议授权禁止转载