安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(PPT课件讲稿)第六章 基于产生式规则的机器推理(机器学习与知识发现)

第6章基于产生式规则的机器推理 第6章基于产生式规则的机器推理 6.1产生式规则 6.2产生式系统 习题六 BACK
第 6 章 基于产生式规则的机器推理 第 6 章 基于产生式规则的机器推理 6.1 产生式规则 6.2 产生式系统 习题六

第6章基于产生式规则的机器推理 6.1产生式规则 6.1.1产生式规则 产生式(Production)一词,首先是由美国数学家波斯特 (E.Post)提出来的。波斯特根据替换规则提出了一种称为波斯 特机的计算模型,模型中的每一条规则当时被称为一个产生式。 后来,这一术语几经修改扩充,被用到许多领域。例如,形式 语言中的文法规则就称为产生式。产生式也称为产生式规则 或简称规则
第 6 章 基于产生式规则的机器推理 6.1 产 生 式 规 则 6.1.1 产生式(Production)一词, 首先是由美国数学家波斯特 (E.Post)提出来的。波斯特根据替换规则提出了一种称为波斯 特机的计算模型, 模型中的每一条规则当时被称为一个产生式。 后来, 这一术语几经修改扩充, 被用到许多领域。例如, 形式 语言中的文法规则就称为产生式。产生式也称为产生式规则, 或简称规则

第6章基于产生式规则的机器推理 产生式的一般形式为 (前件〉→〈后件〉 其中,前件就是前提,后件是结论或动作,前件和后件可以是 由逻辑运算符AND、OR、NOT组成的表达式。 产生式规则的语义是:如果前提满足,则可得结论或者执 行相应的动作,即后件由前件来触发。所以,前件是规则的执 行条件,后件是规则体
第 6 章 基于产生式规则的机器推理 产生式的一般形式为 〈前件〉→〈后件〉 其中, 前件就是前提, 后件是结论或动作,前件和后件可以是 由逻辑运算符AND、OR、NOT组成的表达式。 产生式规则的语义是: 如果前提满足,则可得结论或者执 行相应的动作, 即后件由前件来触发。 所以, 前件是规则的执 行条件, 后件是规则体

第6章基于产生式规则的机器推理 例如,下面就是几个产生式规则: (1)如果银行存款利率下调, 那么股票价格上涨。 (2) 如果炉温超过上限,则立即关闭风门。 (3) 如果键盘突然失灵,且屏幕上出现怪字符,则是病 毒发作。 (4) 如果胶卷感光度为200,光线条件为晴天,目标距离 不超过5米,则快门速度取250,光圈大小取f16
第 6 章 基于产生式规则的机器推理 例如, 下面就是几个产生式规则: (1) 如果银行存款利率下调, 那么股票价格上涨。 (2) 如果炉温超过上限, 则立即关闭风门。 (3) 如果键盘突然失灵, 且屏幕上出现怪字符, 则是病 毒发作。 (4) 如果胶卷感光度为200, 光线条件为晴天, 目标距离 不超过5米, 则快门速度取250, 光圈大小取f16

第6章基于产生式规则的机器推理 可以看出,产生式与逻辑蕴含式非常相似。是的,逻辑蕴 含式就是产生式,但它只是一种产生式。除逻辑蕴含式外,产 生式还包括各种操作、规则、变换、算子、函数等等。比如 上例中的(2)是一个产生式,但并不是一个逻辑蕴含式。概括 来讲,产生式描述了事物之间的一种对应关系(包括因果关系 和蕴含关系),其外延十分广泛。例如,图搜索中的状态转换 规则和问题变换规则就都是产生式规则。另外还有程序设计语 言的文法规则、逻辑中的逻辑蕴含式和等价式、数学中的微分 和积分公式、化学中分子结构式的分解变换规则等等,也都是 产生式规则;甚至体育比赛中的规测、国家的法律条文、单位 的规章制度等等,也都可以表示成产生式规则
第 6 章 基于产生式规则的机器推理 可以看出,产生式与逻辑蕴含式非常相似。是的, 逻辑蕴 含式就是产生式, 但它只是一种产生式。除逻辑蕴含式外, 产 生式还包括各种操作、规则、变换、算子、函数等等。 比如 上例中的(2)是一个产生式, 但并不是一个逻辑蕴含式。 概括 来讲, 产生式描述了事物之间的一种对应关系(包括因果关系 和蕴含关系), 其外延十分广泛。例如, 图搜索中的状态转换 规则和问题变换规则就都是产生式规则。另外还有程序设计语 言的文法规则、逻辑中的逻辑蕴含式和等价式、数学中的微分 和积分公式、化学中分子结构式的分解变换规则等等, 也都是 产生式规则;甚至体育比赛中的规则、国家的法律条文、 单位 的规章制度等等, 也都可以表示成产生式规则

第6章基于产生式规则的机器推理 6.1.2基于产生式规则的推理模式 由产生式的涵义可知,利用产生式规则可以实现有前提条 件的指令性操作,也可以实现逻辑推理。实现操作的方法是 当测试到一条规则的前提条件满足时,就执行其后部的动作 这称为规则被触发或点燃。利用产生式规则实现逻辑推理的 方法是当有事实能与某规则的前提匹配(即规则的前提成立)时, 就得到该规则后部的结论(即结论也成立)
第 6 章 基于产生式规则的机器推理 6.1.2 由产生式的涵义可知,利用产生式规则可以实现有前提条 件的指令性操作, 也可以实现逻辑推理。实现操作的方法是 当测试到一条规则的前提条件满足时, 就执行其后部的动作。 这称为规则被触发或点燃。利用产生式规则实现逻辑推理的 方法是当有事实能与某规则的前提匹配(即规则的前提成立)时, 就得到该规则后部的结论(即结论也成立)

第6章基于产生式规则的机器推理 实际上,这种基于产生式规则的逻辑推理模式,就是逻辑 上所说的假言推理(对常量规则而言)和三段论推理(对变量规 则而言),即: A →B A B 这里的大前提就是一个产生式规则,小前提就是证据事实。 其实,我们也可以把上面的有前提条件的操作和逻辑推理 统称为推理。那么,上面的式子也就是基于产生式规则的一般 推理模式。这就是说,产生式系统中的推理是更广义的推理
第 6 章 基于产生式规则的机器推理 实际上,这种基于产生式规则的逻辑推理模式, 就是逻辑 上所说的假言推理(对常量规则而言)和三段论推理(对变量规 则而言), 即: A →B A B 这里的大前提就是一个产生式规则, 小前提就是证据事实。 其实, 我们也可以把上面的有前提条件的操作和逻辑推理 统称为推理。那么,上面的式子也就是基于产生式规则的一般 推理模式。这就是说, 产生式系统中的推理是更广义的推理

第6章基于产生式规则的机器推理 6.2产生式系统 6.2.1系统结构 产生式系统由三部分组成:产生式规则库、 推理机和动 态数据库,其结构如图6一1所示。 产生式规则库亦称产生式规则集,由领域规则组成,在机 器中以某种动态数据结构进行组织。一个产生式规则集中的规 则,按其逻辑关系,一般可形成一个称为推理网络的结构图。 推理机亦称控制执行机构,它是一个程序模块,负责产生式 规则测的前提条件测试或匹配,规则的调度与选取,规则体的解释 和执行。即推理机实施推理,并对推理进行控制,它也就是规 则的解释程序
第 6 章 基于产生式规则的机器推理 6.2 产 生 式 系 统 6.2.1 产生式系统由三部分组成: 产生式规则库、 推理机和动 态数据库, 其结构如图6-1所示。 产生式规则库亦称产生式规则集, 由领域规则组成, 在机 器中以某种动态数据结构进行组织。一个产生式规则集中的规 则, 按其逻辑关系, 一般可形成一个称为推理网络的结构图。 推理机亦称控制执行机构,它是一个程序模块,负责产生式 规则的前提条件测试或匹配,规则的调度与选取,规则体的解释 和执行。即推理机实施推理, 并对推理进行控制, 它也就是规 则的解释程序

第6章基于产生式规则的机器推理 产生式规则库 推理机 帝安地手得发大学此阪社 品姿心子到发大孝放版自 品实电子科发大曾出版妇 动态数据库 西安心手种发大学成成烈 品美 图6-1产生式系统的结构
第 6 章 基于产生式规则的机器推理 图 6-1 产生式系统的结构

第6章基于产生式规则的机器推理 6.2.2运行过程 产生式系统运行时,除了需要规则库以外,还需要有初 始事实(或数据)和目标条件。目标条件是系统正常结束的条 件,也是系统的求解目标。产生式系统启动后,推理机就开 始推理,按所给的目标进行问题求解。 推理机的一次推理过程可如图6-2所示
第 6 章 基于产生式规则的机器推理 6.2.2 产生式系统运行时, 除了需要规则库以外, 还需要有初 始事实(或数据)和目标条件。目标条件是系统正常结束的条 件, 也是系统的求解目标。产生式系统启动后, 推理机就开 始推理, 按所给的目标进行问题求解。 推理机的一次推理过程可如图 6-2所示
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(PPT课件讲稿)第五章 基于谓词逻辑的机器推理(知识表示与推理).ppt
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(PPT课件讲稿)第七章 几种结构化知识表示及其推理.ppt
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(PPT课件讲稿)第四章 基于遗传算法的随机优化搜索.ppt
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(PPT课件讲稿)第三章 图搜索与问题求解.ppt
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(PPT课件讲稿)第二章 逻辑程序设计语言(Prolog语言).ppt
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(PPT课件讲稿)第一章 人工智能概述.ppt
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(试卷习题)paper-10.doc
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(试卷习题)paper-9.doc
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(试卷习题)paper-8.doc
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(试卷习题)paper-7.doc
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(试卷习题)paper-6.doc
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(试卷习题)paper-5.doc
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(试卷习题)paper-4.doc
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(试卷习题)paper-3.doc
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(试卷习题)paper-2.doc
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(试卷习题)paper-1.doc
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(试卷习题)paper-1.doc
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(实验指导书).pdf
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(授课计划).pdf
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(教学大纲).pdf
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(PPT课件讲稿)第九章 机器学习与知识发现.ppt
- 安徽理工大学:《人工智能导论 Introduction to Artificial Intelligence》课程教学资源(PPT课件讲稿)第八章 不确定性知识的表示与推理.ppt
- 安徽理工大学:《人工智能原理》课程教学资源(课件讲稿)人工智能 Artificial Intelligence(AI)Part 1-Part 5.ppt
- 安徽理工大学:《人工智能原理》课程教学资源(课件讲稿)人工神经网络 ANN.pdf
- 烟台理工学院:《检测技术及控制仪表》理论课教学大纲 Measurement Technologies and Control Instruments.doc
- 烟台理工学院:《嵌入式系统原理及应用》课程教学资源(教学大纲)Principles and Applications of Embedded System.doc
- 烟台理工学院:《可编程控制器原理及应用》课程教学资源(教学大纲)Principle and Application of PLC.doc
- 烟台理工学院:《智能控制》课程教学资源(教学大纲)Intelligent Control.doc
- 烟台理工学院:《计算机控制系统课程设计》课程教学资源(教学大纲)Course Design of Computer Control.doc
- 烟台理工学院:《计算机控制系统》课程教学资源(教学大纲)Computer Control System.doc
- 烟台理工学院:《自动控制原理 Automatic Control Theory》课程教学资源(教学大纲).doc
- 烟台理工学院:《自动控制原理 Automatic Control Theory》课程教学资源(课件讲稿)第七章 线性离散系统的分析.pdf
- 烟台理工学院:《自动控制原理 Automatic Control Theory》课程教学资源(课件讲稿)第六章 线性系统的校正方法.pdf
- 烟台理工学院:《自动控制原理 Automatic Control Theory》课程教学资源(课件讲稿)第五章 线性系统的频域分析法(频率法,5.4-5.5).pdf
- 烟台理工学院:《自动控制原理 Automatic Control Theory》课程教学资源(课件讲稿)第五章 线性系统的频域分析法(频率法)5.3 频域稳定判据.pdf
- 烟台理工学院:《自动控制原理 Automatic Control Theory》课程教学资源(课件讲稿)第五章 线性系统的频域分析法(频率法,5.1-5.2).pdf
- 烟台理工学院:《自动控制原理 Automatic Control Theory》课程教学资源(课件讲稿)第四章 线性系统的根轨迹法.pdf
- 烟台理工学院:《自动控制原理 Automatic Control Theory》课程教学资源(课件讲稿)第三章 线性系统的时域分析法(3.1-3.4).pdf
- 烟台理工学院:《自动控制原理 Automatic Control Theory》课程教学资源(课件讲稿)第二章 控制系统的数学模型(拉氏变换).pdf
- 烟台理工学院:《自动控制原理 Automatic Control Theory》课程教学资源(课件讲稿)第二章 控制系统的数学模型.pdf