人工智能ppt课件 213 产生式表示法.ppt
《人工智能ppt课件 213 产生式表示法.ppt》由会员分享,可在线阅读,更多相关《人工智能ppt课件 213 产生式表示法.ppt(31页珍藏版)》请在三一办公上搜索。
1、2022/12/11,中国矿业大学计算机学院,1,2.3 产生式表示法,第2章 知识表示,2.1 概 述,2.2 谓词逻辑表示法,2022/12/11,中国矿业大学计算机学院,2,产生式系统(Production System): 1943年,由珀斯特(Post)提出,他用这种规则对符号串作替换运算。 1965年美国的纽威尔和西蒙利用这种原理建立了认知模型。同年,斯坦福大学设计第一个专家系统DENDRAL时,就采用产生式系统的结构。 产生式系统是目前已建立的专家系统中知识表示的主要手段之一,如MYCIN、CLIPS/JESS系统等。 在产生式系统中,把推理和行为的过程用产生式规则表示,所以又称
2、基于规则的系统。,2.3 产生式表示法,2022/12/11,中国矿业大学计算机学院,3,一般地,一个规则由前项和后项两部分组成。前项表示前提条件,各个条件由逻辑连接词(合取、析取等)组成各种不同的组合。后项表示当前提条件为真时,应采取的行为或所得的结论。产生式系统中每条规则是一个“条件结论”或“前提结论”的产生式,起简单形式为: IF前提THEN结论 IF条件THEN动作,2.3.1 规则的表示,2022/12/11,中国矿业大学计算机学院,4,为了严格地描述产生式,下面用巴科斯范式给出它的形式描述和语义:=|=|= And (And ) | Or (Or ) =(,),2022/12/11
3、,中国矿业大学计算机学院,5,1. 产生式规则通常用于表示事物间的因果关系;【基本形式】IF P then Q 或 P Q,其中P表示规则的条件(或称前提);谓词、多元组、常量、变量、关系运算Q表示规则激活时应该执行的动作(或得到的结论);激活规则条件P满足;【规则分类】前提-结论型条件-动作型,2022/12/11,中国矿业大学计算机学院,6,1. 产生式规则前提-结论型规则(P Q)例如,关于动物世界的产生式系统中有规则IF 动物是哺乳动物,且吃肉;Then 这种动物是食肉动物。或形式化为:Mammal(x) Eat(x,Meat)Carnivore(x)(Mammal,?x) (Eat,
4、?x,Meat) (Carnivore,?x) P谓词、多元组、关系表达式和真值函数的任意 组合;不要求遵从一阶谓词演算的表示形式 变量视为隐含地受全称量词约束;Q结论任意数据结构,如向量、数组、表格等。,2022/12/11,中国矿业大学计算机学院,7,1. 产生式规则条件-动作型规则(P Q)P谓词、多元组、关系表达式和真值函数的任意 组合;不要求遵从一阶谓词演算的表示形式 变量可视为隐含地受全称量词约束;Q动作,任意操作函数操作综合数据库;屏幕、图像、文件操作;执行各种预定的计算功能;例如:x-1 1 null(y) x:=0,2022/12/11,中国矿业大学计算机学院,8,1. 产生
5、式规则前提-结论型规则(P Q)条件-动作型规则(P Q),左部(前件),右部(后件),谓词,关系表达式,真值函数,2022/12/11,中国矿业大学计算机学院,9,1确定性和不确定性规则知识的产生式表示 确定性规则知识可用前面介绍的产生式的简单形式表示即可。 不确定性规则知识对基本形式作一定的扩充,用如下形式表示 PQ (可信度) 或者 IF P THEN Q (可信度) 其中,P是产生式的前提或条件,用于指出该产生式是否是可用的条件;Q是一组结论或动作,用于指出该产生式的前提条件P被满足时,应该得出的结论或因该执行的操作。这一表示形式主要在不确定推理中当已知事实与前提中的条件不能精确定匹配
6、时,只要按照“可信度”的要求达到一定的相似度,就认为已知事实与前提条件匹配,再按照一定的算法将这种可能性(或不确定性)传递到结论。,2.3.2 事实的表示,2022/12/11,中国矿业大学计算机学院,10,2确定性和不确定性事实性知识的产生式表示 确定性事实性知识一般使用三元组 (对象,属性,值)或 (关系,对象1,对象2)来表示,其中对象就是语言变量,这种表示的机器内部实现就是一个表。如事实“老李年龄是35岁”,便可以表示成 (Lee, Age, 35)其中,Lee是事实性知识涉及的对象,Age是该对象的属性,而35岁是该对象属性的值。而老李、老张是朋友,可表示成 (Friend, Lee
7、, Zhang ),2022/12/11,中国矿业大学计算机学院,11,而有些事实性知识带有不确定性和模糊性,若考虑不确定性,这种知识就可以用四元组的形式表示如下 (对象,属性,值,不确定度量值)或 (关系,对象1,对象2,不确定度量值)如不确定性事实性知识 “老李年龄可能是35岁”,这里老李是35岁的可能性取90%,便可以表示成 (Lee, Age, 35,0.9)而老李、老张是朋友的可能性不大,这里老李、老张是朋友的可能性取20%,可表示成(Friend, Lee, Zhang,0.2 ),2022/12/11,中国矿业大学计算机学院,12,2.3.3 产生式系统的组成部分,产生式系统一般
8、由三个基本部分组成:规则库、综合数据库和推理机。它们之间的关系如图所示。,产生式系统的基本结构,2022/12/11,中国矿业大学计算机学院,13,用于描述某领域内知识的产生式集合,是某领域知识(规则)的存储器,其中的规则是以产生式形式表示的。规则库中包含着将问题从初始状态转换成目标状态(或解状态)的那些变换规则。 规则库是专家系统的核心,也是一般产生式系统赖以进行问题求解的基础,其中知识的完整性和一致性、知识表达的准确性和灵活性以及知识组织的合理性,都将对产生式系统的性能和运行效率产生直接的影响。,1.规则库:,2022/12/11,中国矿业大学计算机学院,14,综合数据库又称为事实库,用于
9、存放输入的事实、从外部数据库输入的事实以及中间结果(事实)和最后结果的工作区。当规则库中的某条产生式的前提可与综合数据库中的某些已知事实匹配时,该产生式就被激活,并把用它推出的结论放入综合数据库中,作为后面推理的已知事实。 显然,综合数据库的内容是在不断变化的,是动态的。,2.综合数据库:,2022/12/11,中国矿业大学计算机学院,15,推理机是一个或一组程序,用来控制和协调规则库与综合数据库的运行,包含了推理方式和控制策略。控制策略的作用就是确定选用什么规则或如何应用规则。 通常从选择规则到执行操作分3步完成:匹配、冲突解决和操作。,3.推理机:,(1) 匹配:匹配就是将当前综合数据库中
10、的事实与规则中的条件进行比较,如果相匹配,则这一规则称为匹配规则。,2022/12/11,中国矿业大学计算机学院,16,(2) 冲突解决:冲突解决的策略有很多种 , 其中专一性排序、规则排序、规模排序和就近排序是比较常见的冲突解决策略。,(3) 操作:操作就是执行规则的操作部分。经过操作以后,当前的综合数据库将被修改,其他的规则有可能将成为启用规则。,因为可能同时有几条规则的前提条件与事实相匹配,究竟选哪一条规则去执行呢?这就是规则冲突解决。通过冲突解决策略选中的在操作部分执行的规则称为启用规则。,2022/12/11,中国矿业大学计算机学院,17,2. 产生式系统组成3个部分组成:规则库;综
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能ppt课件 213 产生式表示法 人工智能 ppt 课件 产生 表示
![提示](https://www.31ppt.com/images/bang_tan.gif)
链接地址:https://www.31ppt.com/p-1622012.html