1.文化之定义

《葫芦兄弟》是上海美术电影制片厂被1986年原创产品的13汇系列剪纸动画片,至今已改为中国卡通经典。而葫芦娃是陪同我们立即一代人童年之神奇小子,一粒葫芦藤冒出了7单本领超群的兄弟,本领还诸不一样,太high了。

Feigenbaum认为文化是透过削减、塑造、解释与转换的音讯。简单地游说,知识是通过加工之信息。

咱的孩提记

Bernstein说知识是一定领域的讲述、关系及过程组成。

今天凯叔来分析一下拐单葫芦娃本领的真面目。

Hayes-Roth认为文化是事实、信念与启发式规则。

世家需要点的虽然是七只主导计量单位。

知而自(范围,目的,有效性)加以三维描述。其中文化之范围是由于现实到一般,知识之目的是由说明到指定,知识的卓有成效是由于确定及不确定。例如“为了说明
A→B,只待证明A∧~B是不行满足的”这种文化是平常、指示性、确定性的。而像“桌子有四长腿”这种知识是切实可行的、说明性、不确定性。

国际单位制(SI单位制)基本单位

知识表示是研究用机器表示知识的来头、有效性的一般法,是均等栽多少结构和控制结构的三位一体,既考虑知识之贮存又考虑知识的利用。知识表示只是看做是同一组描述事物之预定,以把人类知识表示成机器会处理的数据结构。

国际单位制又如公制或米制,是现今天天下最广采用的标准度量衡单位系统。国际单位制源自18世纪最后科学家的竭力,最早被法国大革命时代的1799年吃法国看作度量衡单位。

2.人造智能体系所关心的文化

发生没来觉察,它们为是七个,而且和葫芦娃的本领之间有基本对应之涉。凯叔猜测,葫芦娃应该是古中国之科技大侠,它们的本领来自头顶的葫芦控制器,并因为这个决定一个常量。如下:

一个智能程序高品位的周转需要有关的事实知识、规则知识、控制知识与长知。

大娃可以控制质量单位,力大无穷,无论多少千克的事物对客都非是题材。如果其失去搬砖,不知晓一个月份可赚取多少钱?

真相:是有关问题环境的有物的文化,常因“…是…”的样式出现。如事物的分类、属性、事物间关系、科学真相、客观事实等,在知识库中属于低层的文化。如雪是逆的、鸟有翼、张三李四是好爱人。

大娃是勇士

规则:是有关问题中以及物之走动、动作相联系的报应关系知识,是动态的,常为“如果…那么…”形式出现。特别是启发式规则是属家提供的特别经验知识,这种文化就无严格讲可特别有因此处。

第二崽可以决定长单位,无论多少米之距离在他看来就是近,天生的信息收集人才啊。

决定:是关于题材的求解步骤,技巧性知识,告诉怎么开一样起事。也包括当起差不多只动作同时给激活时许选择哪一个动作来实行之知识。

老二崽是千里眼和顺风耳

元知:是关于文化之文化,是知识库中之高层知识。包括怎样利用规则、解释规则、校验规则、解释程序结构相当学问。

老三崽可以操纵热力学温度单位,适当的温度,物质分子间力足够强大,没有啊好破坏其。所以世界上极坚强的头非三崽莫属。

4.2 逻辑表示拟

老三崽是钢筋铁骨,刀枪不入

针对学识通过引入谓词、函数来加以形式描述,获得有关的逻辑公式,进而因为机器内部代码表示。

季崽可以决定电流强度单位,真正的发电人才,估计起带核聚变发电机组,搁现在绝属于国宝级人才。

如若于一个室里,有一个机器人ROBOT,一个壁室ALCOVE,一个积木块BOX,两个桌子A和B。机器人可把积木块BOX从平栽状态变换成另外一样种植状态。

季娃会喷火和闪电

引入谓词:

五崽可以控制物质的量单位,多少番都可转换,如果与我们中国的南水北调和抗洪救旱,绝对好发表非小之企图。

TABLE(A)表示A是桌子

五崽会自主吸水吐水

EMPTYHANDED(ROBOT)表示机器人双手是拖欠的

六崽可以控制发光强度,绝对的视觉欺骗大师,估摸着会国家之藏身材料研究让提供些灵感和材料。

AT(ROBOT,A)表示机器人在A旁

六崽会暗藏

HOLDS(ROBOT,BOX)表示机器人将在积木块

七娃还太小,在动画里即使依靠着一个关联空间能力的宝葫芦,我估算着时空不分开家,要是实在觉醒矣,是勿是不怕会操纵时单位呀。回溯时光,返老还童不是梦境。

ON(BOX,A)表积木块BOX在A上

七崽的宝葫芦可以收万物

4.3产生式表示法

葫芦兄弟的故事古已有之,只是直接单独当民间流传,也许我们的总祖先已经在生活中发现了这些计量单位的用处,并以如此的故事薪火相传。

产生式是同一栽文化表达方法,具有和Turing机一样的表达能力。

世家可带来在男女看《葫芦兄弟》,并顺便学习七单计量单位的学问。也许有那等同天,我们为可享有一个融洽的葫芦头饰控制器。

4.3.1 事实以及规则的意味

眼看是凯叔的第69篇稿子。

事实而作是预言一个语言变量的价值或是基本上个语言变量间的干的陈述句,语言变量的值或语言变量间的涉及得以是一个乐章。不自然是数字。如雪是白的,其中雪是言语变量,其值是反动的。John喜欢Mary,其中John、Mary是简单个语言变量,两者的涉及值是喜欢。

诚如采用三元组(对象,属性,值)或(关系,对象1,对象2)来代表事实,其中目标就是是语言变量,若考虑非明了就成为了四元组表示(增加而信度)。这种代表的机器内部贯彻即是一个申明。

假如事实“老李年龄是35年”,便勾成(Lee,age,35)

真情“老李、老张是朋友”,可写成(friend,Lee,Zhang)

对规则是意味着事物间的因果关系,以下列形式表示:

condition->action

condition作为前件或模式,而action称作动作要后件或结论。前件有经常是部分实际Ai的合取,而结论常是某一样事实B,如考虑无强烈,需外附可信度度量值。

4.3.2 产生式系统的做和演绎

大部分较为简单的专家系统(Expert
System)都是以产生式表示知识之,相应的网称作产生式系统。

产生式系统,由知识库和推理机两有的构成。其中知识库由规则库和数据库组成。规则库是产生式规则的汇聚,数据库是事实的聚集。

平整是以产生式表示的。规则集蕴涵着用问题打初始状态转换解状态的那些易规则,规则库是专家系统的中坚。规则而表成与或培养形式,基于数据库被的真相对当时同或培训之求值过程即是演绎。

数据库被存放着起来事实、外部数据库输入的实情、中间结果事实及最后结果事实。

推理机是一个先后,控制协调规则库与数据库的运行,包含推理方式以及控制策略。

产生式系统的演绎方式发出正往推理、反向推理与双向推理

刚好为推理:从已经领略事实出发,通过规则库求得结论,或称数令方式。推理过程是

  • 规则集中的条条框框前件与数据库中之实进行匹配,得相当的平整集合。

  • 从今匹配规则集合中挑选相同长规则作为以规则。

  • 实行下规则的后件。将欠采取规则之后件送入数据库被
  • 双重这进程直至达到目标

切实说而数据库中富含事实A,而规则库中产生规则A->B,那么这长长的规则就是是匹配规则,进而以后件B送入数据库中。这样可不断扩大数据库直至包含目标就成功了。如产生差不多长达匹配规则要从中挑选同长长的作为以规则,不同之取舍方式直接影响在求解效率,选规则之题目称作控制策略。正往推理会得出有些与对象无直接关乎之实,是生浪费的。

反向推理:从目标(作为假设)出发,反向使用规则,求得已了解事实,或称目标驱动方式,推理过程是:

  • 规则集中的平整后件与目标事实进行匹配,得相当的规则集合;
  • 起匹配的条条框框集合中甄选一样久规则作为利用规则;
  • 以采用规则的前件作为子目标;
  • 再度这过程直至各子目标均为就掌握事实成功了;

倘目标显然,使用反向推理方式效率比高。

双向推理:同时采用正朝着推理又使反向推理。

4.3.3 产生式表示的风味

产生式表示格式固定,形式单一,规则(知识单位)间互为比较独立,没有直接涉及如果知识库的立较容易,处理较为简单的题材是优点的。另外推理方式只有,也从来不复杂计算。特别是知识库与推理机是分别之,这种组织为文化之改动带来好,无须修改程序,对系统的演绎路径也易于作出解释。所以,产生式表示知识时作为组织专家系统的第一挑的学识表示方法。

4.4 语义网络表示拟

逻辑表示拟以及产生式表示法常用于表示有关论域中相继不同状态里的关联,然而用于表示一个物和其各个部分内的归类知识就未便于了。槽(slot)与填槽表示方法好代表这种分类知识。语义网络及框架表示方法就是属于内部的点滴种。

4.4.1 语义网络的结构

语义网络是指向文化之有于图表示方法。一个语义网络是由局部坐出往图表示的三元组(结点1,弧,结点2)连接而改为。

结点表示概念、事物、事件、情况等。

弧是有方向的起号的。方向体现主次,结点1为主,结点2为辅。弧上的标号表示结点1的性能或结点1和结点2次的涉嫌。

苟事实“雪是白的”,可代表成:

科学 1

一旦规则“如果A那么B”,可代表成:

科学 2

这般事实和规则之表示是同等之,区别只是弧上的标有别。

自逻辑表示法来拘禁,一个语义网络相当给平组第二第一称词。因为三元组(结点1,弧,结点2)可写成P(个体1,个体2),其中个人1、个体2针对性许吃结点1、结点2,而弧及其上标注的结点1及结点2底涉嫌由称为词P来体现。

语义网络当作一种植文化之单位,人脑的记是由存储了大气底语义网络来反映的。而产生式表示法是以同长长的产生式规则作为文化之单位,而诸修产生式规则没有一直的关联。

结点间的干来isa,a-part-of,is型

(1)ISA链用来代表具体-抽象关系,或说表示无异种植隶属关系,体现某种层次分类。特点是现实层结点可承抽象层结点的性。

科学 3

(2)a-part-of链用来表示有-全体关系,或说代表包含关系。特点是part-of关系下各个层结点的性能可能是可怜无同等之。

科学 4

(3)is链用于表示一个结点是任何一个结点的特性

科学 5

章:苹果之语义网络

科学 6

4.4.2 语义网络表示产的推理

语义网络表示产之推理方法不像逻辑表示法及产生式表示法之推理方法那样了解了。语义网络表示法是随匹配同持续来进展推导的。最简便易行的isa关系下的演绎是一直接轨,如:

科学 7

呢得用语义网络引入逻辑含义,表示出∧,∨,~关系,便足以采取归结推理法。

再有人口用语义网络被的结点看成有限自动机(DFA),为寻求几个概念里的干,起动相应的自动机,如产生回合点便可求得解答。

4.5 框架表示拟

4.5.1 框架理论

1975年Minsky的论文“A framework for respresenting knowledge”中提出了框架理论。其核心见是脑已囤积有大量名列前茅场景,当口面临初的气象经常,就由记忆受到精选一个号称框架的基本知识结构,这个框架是以前记忆的一个知识空框,而那具体内容依新的面貌要改变,对这空框的底细加工修改及补充,形成对新状况的认又记忆于人脑中。框架理论以框架当作的文化单位,将一律组有关的框架连接起来便形成框架体系。系统面临不同框架可以来一头结点,系统的作为由系统内框架的成形来见的。推理过程是出于框架之中的调和来成功的。

框架表示拟是相同种植适应性强、概括性高、结构化良好、推理方式灵活又会管陈述性知识及过程性知识互动结合的学问表示法。

4.5.2 框架结构

框架是由于几结点和涉及(统称为槽slot)构成的网。是语义网络一般化形式化的平等种植结构,同语义网络没有本质区别。将语义网络中结点间弧上的号为放入槽内即成了框架表示拟。

框架是表示有一样看似现象的结构化的一样种植多少结构。框架由框架名和部分扇(slot)组成,每个槽有一部分价值,槽值可以是逻辑的、数字的,可以是先后、条件、默认值或是一个子框架。槽值含有什么行使框架信息、下一样步可能产生的音讯、预计不落实该怎么做的信息等。

框架的相似格式:

FRAMEWORK:<framework name>

<slot 1>

<face 11>:value

<face 1n>:value

<slot 2>

<face 21>:value

<face 2n>:value

例:

framework: <大学讲师>

类属:<教师>

学历:(学士,硕士,博士)

正规:<学科专业>

职称:(助教,讲师,副教授,教授)

外语:

范围:(英,法,德,…)

默认:英

水平:(优、良、中、差)

默认:良

4.5.3 框架表示产之演绎

框架表示拟无定点的演绎机理。但框架体系的推理与语义网络同样按匹配同延续的条件,而且框架中要if-needed、if-added等槽的槽值是外加过程,在推演过程中于第一作用。如确定一个人数的岁,已配合的知识库中之框架为

槽名

年龄:NIL

if-needed:ASK

if-added:CHECK

以推演的长河被就是启动了if-needed和if-added两独槽的增大过程ASK和CHECK。

4.5.4 框架和产生式表示法之于

  production framework
知识表示单位 规则 框架
推理 固定、与知识库独立 可变,与知识库成一体
建立知识库 容易 困难
通用性
应用 简单问题 复杂问题
用户 初学者 专家

 

http://blog.sina.com.cn/s/blog_55f932c6010008wu.html