人工智能导论 0022014

1、人工智能导论 0022014产生式产生式通常用于表示事实、规则以及它们的不确定性度量，适合于表示事实性知识和规则性知识。事实断言一个语言变量的值或断言多个语言变量之间关系的陈述句。规则领域知识2.6 产生式表示2022/9/52 四元组表示：（对象，属性，值，置信度） 或者： （关系，对象1，对象2，置信度）例：老李年龄很可能是40岁: (Li，age，40，) 老李和老王不大可能是朋友: (friend，Li，Wang，0.1)产生式表示1. 确定性事实性知识的产生式表示2. 不确定性事实性知识的产生式表示 三元组表示：（对象，属性，值） 或者：（关系，对象1，对象2） 例： 老李年龄是40

2、岁： （Li，age，40） 老李和老王是朋友：（friend，Li，Wang）2.6 产生式表示2022/9/53产生式表示3. 确定性规则知识的产生式表示4. 不确定性规则知识的产生式表示 基本形式： IF P THEN Q 或者：PQ 例如： r4：IF 动物会飞 AND 会下蛋 THEN 该动物是鸟 基本形式： IF P THEN Q （置信度） 或者： PQ （置信度） 例如： IF 发烧 THEN 感冒 （）2.6 产生式表示2022/9/54产生式与蕴含式区别1除逻辑蕴含外，产生式还包括各种操作、规则、变换、算子、函数等。区别2蕴含式只能表示精确知识，而产生式不仅可以表示精确的知

3、识，还可以表示不精确知识。蕴含式的匹配总要求是精确的。产生式匹配可以是精确的，也可以是不精确的，只要按某种算法求出的相似度落在预先指定的范围内就认为是可匹配的。2.6 产生式表示2022/9/55产生式的形式描述及语义巴科斯范式BNF:= : = | : = | : = ANDAND)|OROR) : = (, )符号“:=”表示“定义为”；符号“|”表示“或者是”；符号“ ”表示“可缺省”。 2.6 产生式表示2022/9/56产生式系统的基本结构控制规则库推理机综合数据库2.6 产生式表示2022/9/57产生式系统的组成综合数据库它含有与具体任务有关的信息随着应用情况的不同，这些数据库可

4、能简单，或许复杂。规则库用于对数据库进行操作运算。每条规则由左部鉴别规则的适用性或先决条件以及右部描述规则应用时所完成的动作。控制、推理机确定应该采用哪一条适用规则，当数据库的终止条件满足时，停止计算。2.6 产生式表示2022/9/58控制和推理机的工作从规则库中选择与综合数据库中的已知事实进行匹配。 匹配成功的规则可能不止一条，进行冲突消解。执行某一规则时，如果其右部是一个或多个结论，则把这些结论加入到综合数据库中：如果其右部是一个或多个操作，则执行这些操作。 对于不确定性知识，在执行每一条规则时还要按一定的算法计算结论的不确定性。检查综合数据库中是否包含了最终结论，决定是否停止系统的运行

5、。 2.6 产生式表示2022/9/59简单的动物识别例：设有以下两条规则r3：IF 动物有羽毛 THEN 动物是鸟r15：IF 动物是鸟 AND 动物善飞 THEN 动物是信天翁其中，r3和r15是上述两条规则在动物识别系统中的规则编号。假设已知有以下事实：动物有羽毛，动物善飞，求满足以上事实的动物是何种动物？2.6 产生式表示2022/9/510动物识别系统例：识别虎、金钱豹、斑马、长颈鹿、鸵鸟、企鹅、信天翁的产生式系统2.6 产生式表示2022/9/511规则库r1： IF 该动物有毛发 THEN 该动物是哺乳动物r2： IF 该动物胎生 THEN 该动物是哺乳动物r3： IF 该动物有

6、羽毛 THEN 该动物是鸟r4： IF 该动物会飞 AND 会下蛋 THEN 该动物是鸟r5： IF 该动物吃肉 THEN 该动物是食肉动物r6： IF 该动物有犬齿 AND 有爪 AND 眼盯前方 THEN 该动物是食肉动物r7： IF 该动物是哺乳动物 AND 有蹄 THEN 该动物是有蹄类动物r 8： IF 该动物是哺乳动物 AND 是反刍动物 THEN 该动物是有蹄类动物2.6 产生式表示2022/9/512r9： IF 该动物是哺乳动物 AND 是食肉动物 AND 是黄褐色 AND 身上有暗斑点 THEN 该动物是金钱豹 r10：IF 该动物是哺乳动物 AND 是食肉动物 AND 是

7、黄褐色 AND 身上有黑色条纹 THEN 该动物是虎 r11： IF 该动物是有蹄类动物 AND 有长脖子 AND 有长腿 AND 身上有暗斑点 THEN 该动物是长颈鹿 r 12：IF 该动物有蹄类动物 AND 身上有黑色条纹 THEN 该动物是斑马r13：IF 该动物是鸟 AND 有长脖子 AND 有长腿 AND 不会飞 AND 有黑白二色 THEN 该动物是鸵鸟r14： IF 该动物是鸟 AND 会游泳 AND 不会飞 AND 有黑白二色 THEN 该动物是企鹅 r15： IF 该动物是鸟 AND 善飞 THEN 该动物是信天翁规则库2.6 产生式表示2022/9/513动物识别系统已知

8、该动物身上有：暗斑点，长脖子，长腿，胎生，蹄，判断它是什么动物。解：该已知事实存放在综合数据库中，根据规则库进行推理：（1）从规则库中取出r1，检查其前提是否可与综合数据库中的已知事实匹配。匹配失败，则r1不能被用于推理。然后取r2进行同样的工作。匹配成功，则r2被执行。综合数据库更新为：该动物身上有：暗斑点，长脖子，长腿，胎生，蹄，哺乳动物2.6 产生式表示2022/9/514动物识别系统（2）分别用r3，r4，r5，r6综合数据库中的已知事实进行匹配，均不成功。 r7匹配成功，执行r7 （3） r11匹配成功，推出 “该动物是长颈鹿”。 综合数据库更新为：该动物身上有：暗斑点，长脖子，长腿

9、，胎生，蹄，哺乳动物，有蹄类动物2.6 产生式表示2022/9/515动物识别系统2.6 产生式表示2022/9/516产生式表示的特点主要优点自然性：与人类的判断性知识基本一致。模块性有效性：可以表示多种知识 主要缺点效率较低不便于表示结构性知识2.6 产生式表示2022/9/517适合产生式表示的知识（1）领域知识间关系不密切，不存在结构关系。（2）领域问题的求解过程可被表示为一系列相对独立的操作，且每个操作可被表示为一条或多条产生式规则。（3）经验性及不确定性的知识，且相关领域中对这些知识没有严格、统一的理论。2.6 产生式表示2022/9/518第二章 知识表示方法2.1 知识和知识表

10、示2.2 状态空间表示2.3 问题归约表示2.4 谓词逻辑表示2.5 语义网络表示2.6 产生式表示2.7 框架表示2.8 面向对象表示2022/9/519定义框架一种描述所论对象（事物、事件或概念）属性的数据结构。一个框架由若干个被称为“槽”的结构组成，每一个槽又可根据实际情况划分为若干个“侧面”。一个槽用于描述所论对象某一方面的属性。一个侧面用于描述相应属性的一个方面。槽和侧面所具有的属性值分别被称为槽值和侧面值。2.7 框架表示2022/9/520框架的BNF描述: : = : : = 框架名 : : = ，: : = 约束 ，: : = | （，）: : = | : : = | : :

11、 = | | | | : : = ，: : = : : = | : : = | | | | : : = | | | : : = | ，: : = 2.7 框架表示2022/9/521 Frame槽名1： 侧面名11 侧面值111 ， ，侧面值11P1 侧面名1m 侧面值1m1 ， ，侧面值1mPm 槽名n： 侧面名n1 侧面值n11 ， ，侧面值n1P1 侧面名nm 侧面值nm1 ， ，侧面值nmPm一般结构2.7 框架表示2022/9/522“缺省”值：当缺少有关事物的信息，同时又无直接反面证据时，就假设按惯例或者一般情况下的填充值。 “如果需要”值：过程信息。“如果加入”值：应该做什么的信

12、息。 框架的一般结构 Slot（槽） VALUE （值侧面） DEFAULT （缺省值侧面） IF-NEEDED （如果需要值侧面） IF-ADDED （如果加入值侧面）2.7 框架表示2022/9/523实例例： 一个描述硕士生有关情况的框架Frame Name：Unit（Last-name，First-name） Sex：Area（male，female） Default： male Age：Unit（Years） Major：Unit（Major） Field：Unit（Field） Advisor：Unit（Last-name，First-name） Project ：Area（Nat

13、ional，Provincial，Other） Default：National Paper：Area（SCI，EI，Core，General） Default：Core Address： Telephone：Home Unit（Number） Mobile Unit（Number）2.7 框架表示2022/9/524实例框架硕士生-1框架： Frame ISA： /是一个 Name：Yang Ye Sex： female Major：Computer Field：Web-Intelligence /方向 Web智能 Advisor：Lin Hai /导师 林海 Project ：Provin

14、cial /项目 省部级2.7 框架表示2022/9/525框架表示学生框架Frame Name：Unit（Last-name，First-name） Sex：Area（male，female） Default：male /缺省 Age：Unit（Years） If-Needed：Ask-Age /询问赋值 Address： Telephone：Home Unit（Number） Mobile Unit（Number） If-Needed：Ask-Telephone /询问赋值2.7 框架表示2022/9/526定义实例框架当人们把观察或认识到的具体细节填入一个框架后得到的该框架的一个具体实例

15、。框架系统把一组有关的框架连结起来可形成一个框架系统。框架系统推理由框架之间的协调来完成2.7 框架表示2022/9/527框架表示硕士生框架Frame AKO： /预定义槽名 Major：Unit（Major） /专业 If-Needed：Ask- Major /询问赋值 If-Added：Check-Major /后继处理 Field：Unit（Direction-Name） /方向 If- Needed：Ask Field /询问赋值 Advisor：Unit（Last-name，First-name） /导师 If- Needed：Ask -Visor /询问赋值 Project ：A

16、rea（National，Provincial，Other）/项目 Default：National /缺省 Paper：Area（SCI，EI，Core，General） /论文 Default：Core /缺省2.7 框架表示2022/9/528框架系统的基本结构框架系统的基本结构通过诸框架之间的横向或纵向联系来实现。框架之间的横向联系一个框架的槽值或侧面值可以是另外一个框架的名字框架之间的纵向联系用框架表示具有演绎关系的知识结构时，下层框架与上层框架之间所具有的一种继承关系具有横向联系及纵向联系的一组框架称为框架网络2.7 框架表示2022/9/529框架网络StudentCollegi

17、anMasterDoctorMaster-1Master-2S-AddressISAISAAKOAddressAKOAKO2.7 框架表示2022/9/530框架的继承特性的继承通过ISA、AKO链来实现。继承技术，通常由框架中设置的3个侧面：Default、If- Needed、If-Added所提供的缺省推理功能来组合实现如果该槽提供有Default侧面值，就继承该默认值作为查询结果返回。如果该槽提供有If-Needed侧面供继承，则执行If-Needed操作，去产生一个值作为查询结果。如果对某个事物的某一属性进行了赋值或修改操作，则系统会自动沿ISA和AKO链追溯到具有相应的类或超类框架

18、，去执行If-Added操作，作相应的后继处理。2.7 框架表示2022/9/531If-Needed与If-Added的区别主要区别在于激活时机和操作目的不同。If- Needed操作是在系统试图查询某个事物框架中未记载的属性值时激活，并根据查询需求，被动地即时产生所需要的属性值；If-Added操作是在系统对某个事务框架的属性作赋值或修改工作后激活，目的在于通过这些后继处理，主动做好配套操作，以消除可能存在的不一致。2.7 框架表示2022/9/532继承实例硕士生-2框架： Frame ISA： Name：Liu Qing Age：22 Major：Computer Advisor：Li

19、n Hai Paper： EI 硕士生框架Frame AKO： Major：Unit（Major） If-Needed：Ask- Major If-Added：Check-Major Field：Unit（Direction-Name） If- Needed：Ask Field Advisor：Unit（Last-name，First-name） If- Needed：Ask -Visor Project ：Area（National，Provincial，Other） Default：National Paper：Area（SCI，EI，Core，General） Default：Core学

20、生框架2.7 框架表示2022/9/533框架表示机器人纠纷问题的框架描述2.7 框架表示2022/9/534框架的推理框架没有固定的推理机理框架系统的推理和语义网络一样遵循匹配和继承原则。框架的匹配实际上是通过对相应槽的槽名和槽值逐个进行比较，并利用继承关系来实现的。2.7 框架表示2022/9/535推理实例例：假设前面讨论的学生框架系统已建立在知识库中，若要求从知识库中找出一个满足如下条件的硕士生： male，Age25， Major：Computer，Project：National解：1、用框架表示这些条件，可得到初始问题框架 Frame：Master-x Name： Sex: ma

21、le Age：Years 25 Major：Computer Project：National 2、用此框架和知识库中的框架匹配2.7 框架表示2022/9/536框架表示的特点优点结构性深层性继承性自然性缺点缺乏框架的形式理论缺乏过程性知识表示难以保证清晰些2.7 框架表示2022/9/537框架的程序语言实现FRL（Frame Representation Language）PROLOG例：“教师”框架用PROLOG表示 框架名:类属:工作范围:(教学，科研) 缺省:教学性别:(男，女)学历:(中师，高师)类型:(，)frame(name(教师)， kind-of()， work(scop

22、e(“教学”，“科研”)， default(教学)， sex(男，女)， reco-of-f-s(中师，高师)， type(“”，“”，“”). 2.7 框架表示2022/9/538剧本表示剧本是框架的一种特殊形式，用一组槽来描述某些时间的发生序列。剧本的组成(1) 开场条件：给出在剧本中描述的事件发生的前提条件。(2) 角色（支撑物）：用来表示在剧本所描述的事件中可能出现的有关人物的一些槽。(3) 道具（线索）：用来表示在剧本所描述的事件中可能出现的有关物体的一些槽。(4) 场景（场次）：描述事件发生的真实顺序，可以由多个场景组成，每个场景又可以是其它的剧本。(5) 结果（结局）：给出在剧本

23、所描述的事件发生以后通常所产生的结果。 2.7 框架表示2022/9/539餐厅剧本（1）开场条件 （a）顾客饿了，需要进餐厅 （b）顾客有足够的钱 （2）角色 顾客、服务员、厨师、老板 （3）道具 食品、桌子、菜单、钱 （4）场景 场景1 进入餐厅 （a）顾客走入餐厅 （b）寻找桌子 （c）在桌子旁坐下 场景2 点菜 （a）服务员给顾客菜单 （b）顾客点菜 （c）顾客把菜单还给服务员 （d）顾客等待服务员送菜 场景3 等待 （a）服务员把顾客所点的菜告诉厨师 （b）厨师做菜 场景4 吃菜 （a）厨师把做好的菜给服务员 （b）服务员给顾客送菜 （c）顾客吃菜 场景5 离开 （a）服务员拿来账单 （b）顾客付钱给服务员 （c）顾客离开