产生式推理,即利用产生式知识表示法所进行的推理,而由此产生的系统称为产生式系统。

文章目录

  • 基本结构
    • 综合数据库
    • 规则库
    • 控制系统
  • 推理方式
    • 正向推理
      • 算法过程
      • 优点
      • 缺点
    • 逆向推理
      • 算法过程
      • 优点
      • 缺点

基本结构

产生式的基本结构包括:

  • 控制系统(control system)
  • 规则库(rule base)
  • 综合数据库(data base)

综合数据库

也被称为事实库,主要用来存放与求解问题有关的各种当前信息的数据结构。例如,问题的初始状态、输入的事实、推理得到的中间结论以及最终结论

规则库

规则库(rule base)是一个用来存放与求解问题有关的所有规则的集合,也称为知识库(knowledge base)。它包含了将问题从初始状态转换成目标状态所需要的所有变换规则,所以规则库是产生式系统进行问题求解的基础

控制系统

控制系统(control system),也称为推理机,用来控制整个产生式系统的运行,决定问题求解过程的推理线路。

推理方式

正向推理

一种从已知事实出发、正向使用推理规则的推理方式,也称为数据驱动推理前向链推理

算法过程

  1. 把用户提供的初始证据放入综合数据库
  2. 检查综合数据库中是否包含问题的解,若已包含,则求解结束,并成功推出,否则执行下一步。
  3. 检查知识库中是否有可用知识,若有形成当前可用知识集,执行下一步;否则转到(5)。
  4. 按照某种冲突消解策略,从当前可用知识集中选出一条知识进行推理,并将推出的新事实加入到综合数据库中,然后转到(2)
  5. 询问用户是否可以进一步补充新的事实,若可补充,则将新事实加入综合数据库中,然后转(3);否则表示无解,失败退出。

例如:假设有以下两条规则

  • r1r_1r1​:如果动物有羽毛,那么动物是鸟
  • r2r_2r2​:如果动物是鸟且动物善飞,那么动物是信天翁。

假设已知事实“动物有羽毛,动物善飞”。
要求采用正向推理,求满足以上事实的动物是何种动物。

  1. 把“动物有羽毛,动物善飞”放入综合数据库
  2. 检查综合数据库中是否包含问题的解,结果为否。
  3. 检查知识库中的可用知识,形成可用知识集,集合中仅包含r2r_2r2​。
  4. 从当前知识库选出r2r_2r2​进行推理,将结果“动物是鸟” 放入综合数据库。
  5. 检查综合数据库中是否包含问题的解,结果为否。
  6. 检查知识库中的可用知识,形成可用知识集,集合中仅包含r1r_1r1​。
  7. 从当前知识库选出r1r_1r1​进行推理,将结果“动物是信天翁” 放入综合数据库。
  8. 检查综合数据库中是否包含问题的解,结果为真

优点

比较直观,允许用户主动提供有用的事实信息,适合于诊断、设计、预测、监控等领域的问题求解。

缺点

推理无明确的目标或求解问题时会执行许多与解无关的操作,导致效率较低。

逆向推理

逆向推理,即以某个假设目标作为出发点的推理方法,也称为目标驱动推理,或逆向链推理。(从结论推条件是否满足初始条件)

算法过程

  1. 将问题的初始证据和要求证的目标(假设)分别放入综合数据库假设集
  2. 从假设集中选出一个假设,检查该假设是否在综合数据库中。若在,则该假设成立。此时,若假设集为空,则成功退出,否则仍执行(2)。若假设不在综合数据库中,则执行下一步。
  3. 检查该假设是否可由知识库某个知识导出。若不能由某个知识导出,则询问用户该假设是否为可有用户正是的原始事实。若是,则该假设成立,并将其放入综合数据库,若不是,则转(5)。若能由某个知识导出,则执行下一步。
  4. 将知识库中可以导出该假设的所有知识构成一个可用知识集
  5. 检查可用知识集是否为空,若是则退出,否则执行下一步
  6. 按冲突消解策略从可用知识库中取出一个知识,执行下一步
  7. 将该知识的前提中的每个子条件作为新的假设放入假设集,转(2)

例如在正向推理中的那个例子,如果使用逆向推理,过程如下:

  1. 将初始证据“动物有羽毛”和“动物善飞”放入综合数据库,把“动物是信天翁”放入假设集
  2. 从假设集中取出假设“动物是信天翁”,判断该假设是否为综合数据库的已知事实,结果为否。
  3. 再检查“动物是信天翁”能否被知识库中的知识所导出,发现可由r2r_2r2​导出,于是r2r_2r2​被放入可用规则集。
  4. 从可用规则集中取出r2r_2r2​并将其前提条件`“动物是鸟”和“动物善飞”放入假设集。
  5. 在假设集取出一个假设“动物是鸟”,检查该假设是否为综合数据库中的事实,结果为否。
  6. 再检查“动物是鸟”能否被知识库中的知识所导出,发现可由r1r_1r1​导出,于是r1r_1r1​被放入可用知识库。
  7. 从可用知识库中取出r1r_1r1​,将其前提条件“动物有羽毛”放入假设集。
  8. 此时假设集中的假设已全部被综合数据库中的已知事实所满足。

优点

不必寻找和使用那些与假设目标无关的信息和知识,推理过程的目标明确,也有利于向用户提供解释。

缺点

当用户对解的情况认识不清时,由系统自主选择目标的盲目性比较大,若选择不好,可能需要多次提出假设,会影响系统效率。

人工智能—产生式推理相关推荐

  1. 人工智能 —— 产生式推理

    什么是产生式推理 通常人们把利用产生式知识表示方法所进行的推理称为产生式推理,把由此所产生的系统称为产生式系统.按照推理的控制方向,产生式推理可分为正向.逆向和混合三种方式. 产生式推理的基本结构 规 ...

  2. 产生式推理的简单识别系统

    文章目录 前言 一.完成功能 二.设计方案 三.算法原理 四.代码下载地址 前言 大学课程<人工智能>的实验–简单识别系统的产生式推理的代码开源及讲解,如果要识别动物,则增加动物的规则即可 ...

  3. 人工智能--产生式表示法

    人工智能---产生式表示法 产生式表示法又称为产生规则表示法,"产生式"这一术语是由美国数学家波斯特在1943年首先提出来的,他根据串替代规则称为一个产生式.它可以描述形式语言的语 ...

  4. [人工智能AI]之推理

    [人工智能AI]之推理 部分图片和来源自: NJU-人工智能-高阳教授 的课件 目录:1. P-->Q和﹁P∨Q的等价性2. 合取范式(CNF)与析取范式(DNF)3. 合一法4. 消解法(归结 ...

  5. LLM推理提速2.8倍,CMU提出投机式推理引擎,小模型撬动大模型高效推理

    ©作者 | 机器之心编辑部 来源 | 机器之心 近日,来自卡耐基梅隆大学(CMU)的 Catalyst Group 团队发布了一款「投机式推理」引擎 SpecInfer,可以借助轻量化的小模型来帮助大 ...

  6. 论文浅尝 | 端到端神经视觉问答之上的显式推理

    链接:http://www.public.asu.edu/~cbaral/papers/2018-aaai-psl.pdf 概述 视觉问答(Visual Question Answering)现有两大 ...

  7. 确定性知识推理方法--产生式推理

    通常把利用产生式知识表示方法进行的推理称为产生式推理,把由此产生的系统称为产生式系统.按照推理的分为正向推理,逆向推理,混合推理三种方式. 产生式推理的基本结构 综合数据库: data base也称为 ...

  8. 【人工智能】不确定性推理(QDU)

    转载请务必经过我的同意 [人工智能]不确定性推理(QDU) [人工智能]传统机器学习算法(QDU) [人工智能]非线性分类器(QDU) [人工智能]机器学习基础(QDU) [人工智能]深度学习(QDU ...

  9. 实验5:简单恐龙识别系统的产生式推理

    实验目的 理解和掌握产生式系统的推理方法,能够编程实现推理机 实验内容 完成实验2的题目中对恐龙类别的推理 实验2:编程实现简单恐龙识别系统的知识表示 参考代码: ''' 简单恐龙识别系统的产生式推理 ...

最新文章

  1. 从五个经典工作看语义SLAM
  2. 怎么才能转入大数据领域 ,成为一名合格的大数据分析师...
  3. DataGridView的使用
  4. kafka maven没有下载_构建工具的进化:ant, maven, gradle
  5. android 官方说明文档,Android官方文档翻译-Accessibility
  6. acid(数据库事务正确执行的四个基本要素的缩写)
  7. 作者:孟磊,山东省农业信息中心助理农经师。
  8. 重磅炸弹!马云正式宣布:1天1个亿,全世界沸腾了!
  9. 收集常用的PHP正则表达式及使用
  10. 在线随机抛硬币正反面统计工具
  11. iOS 自定义视频播放器
  12. a标签去掉下划线,html,超链接去掉下划线
  13. MF前传——探索者一号液晶屏接线
  14. 解决了sql server 用户 sa 登录失败的问题
  15. matlab拟合成指数函数,用Matlab如何拟合指数函数?
  16. 软件测试教程第2版(宫云战主编)
  17. 声音均衡器怎么调好听_酷狗均衡器怎么调好听 - 卡饭网
  18. zzulioj.1055 兔子繁殖问题
  19. matlab解算平差实例,MATLAB软件在测量平差解算中的应用
  20. 水星路由app服务器无响应,手机登录不了水星路由器的管理界面解决方法

热门文章

  1. [RN] React Native 使用精美图标库react-native-vector-icons
  2. 北言奥鹏计算机基础其末试卷答题,北理工大学《汽车维修质量检验》期末试卷...
  3. 终于把mt6771的ahd转mipi的yuv摄像头搞定了。
  4. 卸载CUDA,安装pytorch
  5. NY8A053E 例程 之 PWM Ouput
  6. ART与SART代数重建算法
  7. MAC下连接Windows的远程桌面Microsoft Remote Desktop
  8. 关于图像变换的总结(仿射变换,刚体变换等)
  9. 图片头顶距离顶部百分比怎么修改_ps图片处理修改文字:学习如何用PS制作金色华丽的立体文字...
  10. 数学知识——概率统计(8)统计推断之参数估计:极大似然估计和最大后验概率