人工智能基础知识

LOGO人工智能基础知识人工智能和物理引擎 设计 领导形象设计圆作业设计ao工艺污水处理厂设计附属工程施工组织设计清扫机器人结构设计 第八章人工智能基础知识本章主要内容8.1知识表示8.2确定性推理8.3不确定性推理8.1知识表示 知识与知识表示的概念 一阶谓词逻辑表示法 产生式表示法 框架表示法 语义网络表示法知识的概念 知识：在长期的生活及社会实践中、在科学研究及实验中积累起来的对客观世界的认识与经验。 知识：把有关信息关联在一起所形成的信息结构。 知识反映了客观世界中事物之间的关系，不同事物或者相同事物间的不同关系形成了不同的知识。信息关联形式：“如果……，则……”如果大雁向南飞，则冬天就要来临了。——规则——事实例如：“雪是白色的”。“如果头痛且流涕，则有可能患了感冒”。知识的特性 相对正确性任何知识都是在一定的条件及环境下产生的，在这种条件及环境下才是正确的。1+1=2（十进制）1+1=10(二进制） 不确定性 随机性引起的不确定性 模糊性引起的不确定性 经验引起的不确定性 不完全性引起的不确定性知识状态：“真”“假”“真”与“假”之间的中间状态“如果头痛且流涕，则有可能患了感冒”小李很高知识的特性 可表示性与可利用性 知识的可表示性:知识可以用适当形式表示出来，如用语言、文字、图形、神经网络等。 知识的可利用性:知识可以被利用。知识的分类 事实性知识：有关概念、事实、事物的属性及状态等。 过程性知识：有关系统状态变化、问题求解过程的操作、演算和行动的知识。 控制性知识（深层知识或元知识）：关于如何运用已有的知识进行问题求解的知识。糖是甜的。西安是一个古老的城市。一年有春、夏、秋、冬四个季节。 按知识的作用范围 按知识的作用及表示 常识性知识：通用性知识。 领域性知识：专业性的知识。1个字节由8个“位”构成。一个扇区有512个“字节”的数据。知识的分类 例如：从北京到上海是乘飞机还是火车的问题表示如下： 事实性知识：北京、上海、飞机、时间、费用。 过程性知识：乘飞机、坐火车。 控制性知识：乘坐飞机较快、较贵；坐火车较慢、较便宜。 按知识的作用及表示知识的分类 确定性知识：可指出其真值为“真”或“假”的知识，是精确性的知识。 不确定性知识：具有不精确、不完全及模糊性等特性的知识。3.按知识的结构及表现形式4.按知识的确定性 逻辑性知识：反映人类逻辑思维过程的知识。 形象性知识：通过事物的形象建立起来的知识。例：什么是树?知识的表示 知识表示（knowledgerepresentation）：将人类知识形式化或者模型化。 知识表示是对知识的一种描述，或者说是一组约定，一种计算机可以接受的用于描述知识的数据结构。 选择知识表示方法的原则：（1）充分表示领域知识。（2）有利于对知识的利用。（3）便于对知识的组织、维护与管理。（4）便于理解与实现。一阶谓词逻辑知识表示方法 谓词公式表示知识的步骤：（1）定义谓词及个体。（2）变元赋值。（3）用连接词连接各个谓词，形成谓词公式。 例如：用一阶谓词逻辑表示下列关系数据库。住户房间电话号码房间Zhang201491201Li201492201Wang202451202Zhao203451203OccupantTelephone 用一阶谓词表示：Occupant（Zhang，201）Occupant（Li，201）Occupant（Wang，202）Occupant（Zhao，203）Telephone（491，201）Telephone（492，201）Telephone（451，202）Telephone（451，203）一阶谓词逻辑知识表示方法一阶谓词逻辑表示法的特点 优点： 自然性 精确性 严密性 容易实现 应用：（1）自动问答系统（Green等人研制的QA3系统）（2）机器人行动 规划 污水管网监理规划下载职业规划大学生职业规划个人职业规划职业规划论文 系统（Fikes等人研制的STRIPS系统）（3）机器博弈系统（Filman等人研制的FOL系统）（4）问题求解系统（Kowalski等设计的PS系统） 局限性： 不能表示不确定的知识 组合爆炸 效率低产生式表示法 “产生式”：1943年，美国数学家波斯特（E.Post）首先提出。 1972年，纽厄尔和西蒙在研究人类的认知模型中开发了基于规则的产生式系统。 产生式通常用于表示事实、规则以及它们的不确定性度量，适合于表示事实性知识和规则性知识。产生式表示法 确定性规则知识的产生式表示2.不确定性规则知识的产生式表示 基本形式：IFPTHENQ（置信度）或者：（置信度）例如：IF发烧THEN感冒（0.6）产生式表示法3.确定性事实性知识的产生式表示4.不确定性事实性知识的产生式表示 三元组表示：（对象，属性，值）或者：（关系，对象1，对象2） 例：老李年龄是40岁：（Li，age，40）老李和老王是朋友：（friend，Li，Wang） 四元组表示：（对象，属性，值，置信度）或者：（关系，对象1，对象2，置信度） 例：老李年龄很可能是40岁：（Li，age，40，0.8）老李和老王不大可能是朋友：（friend，Li，Wang，0.1）产生式表示法 产生式的形式描述及语义——巴科斯范式BNF（backusnormalform）<产生式>::=<前提><结论><前提>::=<简单条件>|<复合条件><结论>::=<事实>|<操作><复合条件>::=<简单条件>AND<简单条件>[AND<简单条件>…|<简单条件>OR<简单条件>[OR<简单条件>…<操作>::=<操作名>[(<变元>，…)]符号“::=”表示“定义为”；符号“|”表示“或者是”；符号“[]”表示“可缺省”。产生式系统的例子——动物识别系统 例如：动物识别系统——识别虎、金钱豹、斑马、长颈鹿、鸵鸟、企鹅、信天翁等七种动物的产生式系统。2.3.3产生式系统的例子——动物识别系统 规则库：r1：IF该动物有毛发THEN该动物是哺乳动物r2：IF该动物有奶THEN该动物是哺乳动物r3：IF该动物有羽毛THEN该动物是鸟r4：IF该动物会飞AND会下蛋THEN该动物是鸟r5：IF该动物吃肉THEN该动物是食肉动物r6：IF该动物有犬齿AND有爪AND眼盯前方THEN该动物是食肉动物r7：IF该动物是哺乳动物AND有蹄THEN该动物是有蹄类动物r8：IF该动物是哺乳动物AND是反刍动物THEN该动物是有蹄类动物产生式系统的例子——动物识别系统r9：IF该动物是哺乳动物AND是食肉动物AND是黄褐色AND身上有暗斑点THEN该动物是金钱豹r10：IF该动物是哺乳动物AND是食肉动物AND是黄褐色AND身上有黑色条纹THEN该动物是虎r11：IF该动物是有蹄类动物AND有长脖子AND有长腿AND身上有暗斑点THEN该动物是长颈鹿r12：IF该动物有蹄类动物AND身上有黑色条纹THEN该动物是斑马r13：IF该动物是鸟AND有长脖子AND有长腿AND不会飞AND有黑白二色THEN该动物是鸵鸟r14：IF该动物是鸟AND会游泳AND不会飞AND有黑白二色THEN该动物是企鹅r15：IF该动物是鸟AND善飞THEN该动物是信天翁产生式表示法的特点1.产生式表示法的优点（1）自然性（2）模块性（3）有效性（4）清晰性2.产生式表示法的缺点（1）效率不高（2）不能表达结构性知识3.适合产生式表示的知识（1）领域知识间关系不密切，不存在结构关系。（2）经验性及不确定性的知识，且相关领域中对这些知识没有严格、统一的理论。（3）领域问题的求解过程可被表示为一系列相对独立的操作，且每个操作可被表示为一条或多条产生式规则。框架表示法 1975年，美国明斯基提出了框架理论：人们对现实世界中各种事物的认识都是以一种类似于框架的结构存储在记忆中的。 框架表示法：一种结构化的知识表示方法，已在多种系统中得到应用。*用框架表示知识的例子框架名：〈教师〉姓名：单位（姓、名）年龄：单位（岁）性别：范围（男、女）缺省：男职称：范围（教授，副教授，讲师，助教）缺省：讲师部门：单位（系，教研室）住址：〈住址框架〉工资：〈工资框架〉开始工作时间：单位（年、月）截止时间：单位（年、月）缺省：现在 例1教师框架用框架表示知识的例子框架名：〈教师-1〉姓名：夏冰年龄：36性别：女职称：副教授部门：计算机系软件教研室住址：〈adr-1〉工资：〈sal-1〉开始工作时间：1988，9截止时间：1996，7 例2教师框架当把具体的信息填入槽或侧面后，就得到了相应框架的一个事例框架。用框架表示知识的例子框架名：〈教室〉墙数：窗数：门数：座位数：前墙：〈墙框架〉后墙：〈墙框架〉左墙：〈墙框架〉右墙：〈墙框架〉门：〈门框架〉窗：〈窗框架〉黑板：〈黑板框架〉天花板：〈天花板框架〉讲台：〈讲台框架〉 例3教室框架用框架表示知识的例子 例4将下列一则地震消息用框架表示：“某年某月某日，某地发生6.0级地震，若以膨胀注水孕震模式为 标准 excel标准偏差excel标准偏差函数exl标准差函数国标检验抽样标准表免费下载红头文件格式标准下载 ，则三项地震前兆中的波速比为0.45，水氡含量为0.43，地形改变为0.60。” 解：地震消息用框架如下图所示。框架名：〈地震〉地点：某地日期：某年某月某日震级：6.0波速比：0.45水氡含量：0.43地形改变：0.60用框架表示知识的例子框架表示法的特点（1）结构性便于表达结构性知识，能够将知识的内部结构关系及知识间的联系表示出来。（2）继承性框架网络中，下层框架可以继承上层框架的槽值，也可以进行补充和修改。（3）自然性框架表示法与人在观察事物时的思维活动是一致的。语义网络表示法 语义网络最早是1968年Quillian在他的博士论文中作为人类联想记忆的一个显式心理学模型提出的。 语义网络是一种采用网络形式表示人类知识的方法。 一个语义网络是一个带标识的有向图。其中，带有标识的结点表示问题领域中的物体、概念、事件、动作或者态势。 在语义网络知识表示中，结点一般划分为实例结点和类结点两种类型。结点之间带有标识的有向弧表示结点之间的语义联系，是语义网络组织知识的关键。语义网络表示法示例 例5描述桌子的语义网络。语义网络表示法示例 例6设有下图所示动物分类网络片断，现在要求证明小贝贝是灰色的。语义网络表示法的特点 优点：（1）结构性：能把事物的属性及事物间的各种语义联系显式地表示出来。（2）联想性：便于以联想的方式实现对系统的检索，使之具有记忆心理学中的联想特性。（3）自然性：便于理解，自然语言与语义网络间的转换易实现。语义网络表示法的特点 缺点：（1）非严格性：没有公认的形式表示体系，所表达的含义依赖于处理程序如何对它进行解释。（2）处理上的复杂性：表示形式的不一致性导致处理复杂。第3章确定性推理方法8.2确定性推理方法推理的基本概念 推理的定义 推理方式及其分类 推理的方向 冲突消解策略*推理的定义 推理： 知识 专家的经验、医学常识 初始证据 病人的症状、化验结果 证据 中间结论（1）演绎推理(deductivereasoning):一般→个别 三段论式（三段论法） 足球运动员的身体都是强壮的； 高波是一名足球运动员； 所以，高波的身体是强壮的。推理方式及其分类 演绎推理、归纳推理、默认推理（大前提）（小前提）（结论）推理方式及其分类 演绎推理、归纳推理、默认推理检查全部产品合格该厂产品合格完全归纳推理检查全部样品合格该厂产品合格不完全归纳推理推理方式及其分类 演绎推理、归纳推理、默认推理（3）默认推理（defaultreasoning，缺省推理）知识不完全的情况下假设某些条件已经具备所进行的推理。推理方式及其分类2.确定性推理、不确定性推理（1）确定性推理：推理时所用的知识与证据都是确定的，推出的结论也是确定的，其真值或者为真或者为假。（2）不确定性推理：推理时所用的知识与证据不都是确定的，推出的结论也是不确定的。X：鸟→X：会飞→X:企鹅推理方式及其分类3.单调推理、非单调推理（1）单调推理：随着推理向前推进及新知识的加入，推出的结论越来越接近最终目标。（2）非单调推理：由于新知识的加入，不仅没有加强已推出的结论，反而要否定它，使推理退回到前面的某一步，重新开始。默认推理是非单调推理基于经典逻辑的演绎推理推理方式及其分类4．启发式推理、非启发式推理 启发性知识：与问题有关且能加快推理过程、提高搜索效率的知识。 目标：在脑膜炎、肺炎、流感中选择一个 产生式规则r1：脑膜炎r2：肺炎r3：流感 启发式知识：“脑膜炎危险”、“目前正在盛行流感”。推理的方向冲突消解策略 已知事实与知识的三种匹配情况：（1）恰好匹配成功（一对一）；（2）不能匹配成功；（3）多种匹配成功（一对多、多对一、多对多）冲突消解冲突消解策略 多种冲突消解策略：（1）按针对性排序（2）按已知事实的新鲜性排序（3）按匹配度排序（4）按条件个数排序（5）按上下文限制排序（6）按冗余限制排序（7）根据领域问题的特点排序r1:IFA1ANDA2THENH1r2:IFA1ANDA2ANDA3ANDA4THENH2确定性推理方法 3.1推理的基本概念 3.2自然演绎推理 3.3谓词公式化为子句集的方法 3.4海伯伦定理 3.5鲁宾逊归结原理 3.6归结反演 3.7应用归结反演求解问题 自然演绎推理：从一组已知为真的事实出发，运用经典逻辑的推理规则推出结论的过程。 推理规则：P规则、T规则、假言推理、拒取式推理确定性推理方法--自然演绎推理（1）如果下雨，则地上是湿的（P→Q）；（2）没有下雨（﹁P）；（3）所以，地上不湿（﹁Q）。确定性推理方法--自然演绎推理 错误1——否定前件：P→Q,﹁P﹁Q（1）如果行星系统是以太阳为中心的，则金星会显示出位相变化（P→Q）；（2）金星显示出位相变化（Q）；（3）所以，行星系统是以太阳为中心（P）。确定性推理方法--自然演绎推理 例1已知事实：（1）凡是容易的课程小王(Wang)都喜欢；（2）C班的课程都是容易的；（3）ds是C班的一门课程。求证：小王喜欢ds这门课程。确定性推理方法--自然演绎推理 证明： 定义谓词：EASY(x)：x是容易的LIKE(x,y)：x喜欢yC(x)：x是C班的一门课程 已知事实和结论用谓词公式表示：()(EASY(x)→LIKE(Wang,x))()(C(x)→EASY(x))C(ds)LIKE(Wang,ds)确定性推理方法--自然演绎推理 应用推理规则进行推理：()(C(x)→EASY(x))C(y)→EASY(y)全称固化 优点： 表达定理证明过程自然，易理解。 拥有丰富的推理规则，推理过程灵活。 便于嵌入领域启发式知识。确定性推理方法--自然演绎推理确定性推理方法—归结演绎推理 反证法：，当且仅当，即Q为P的逻辑结论，当且仅当是不可满足的。 定理：Q为，，…，的逻辑结论，当且仅当是不可满足的。确定性推理方法—归结演绎推理 思路：定理不可满足子句集不可满足海伯伦定理鲁宾逊归结原理3.6归结反演 应用归结原理证明定理的过程称为归结反演。 用归结反演证明的步骤是：（1）将已知前提表示为谓词公式F。（2）将待证明的结论表示为谓词公式Q，并否定得到﹁Q。（3）把谓词公式集{F，Q}化为子句集S。（4）应用归结原理对子句集S中的子句进行归结，并把每次归结得到的归结式都并入到S中。如此反复进行，若出现了空子句，则停止归结，此时就证明了Q为真。确定性推理方法—归结演绎推理确定性推理方法—归结演绎推理 例12某公司招聘工作人员，A，B，C三人应试，经面试后公司表示如下想法：（1） 三人中至少录取一人。（2） 如果录取A而不录取B，则一定录取C。（3）如果录取B，则一定录取C。 求证：公司一定录取C。确定性推理方法—归结演绎推理 证明：公司的想法用谓词公式表示：。 把要求证的结论用谓词公式表示出来并否定，得： 把上述公式化成子句集：确定性推理方法—归结演绎推理 应用归结原理进行归结：确定性推理方法—归结演绎推理 例13已知：规则1：任何人的兄弟不是女性；规则2：任何人的姐妹必是女性。事实：Mary是Bill的姐妹。求证：Mary不是Tom的兄弟。 证明：定义谓词brother(x,y):x是y的兄弟sister(x,y):x是y的姐妹woman(x):x是女性确定性推理方法—归结演绎推理 证明：将规则与事实用谓词公式表示： 把要求证的结论用谓词公式表示出来并否定，得： 把上述公式化成子句集：（1）（2）（3）（4） 将子句集进行归结：*PPT模板下载：www.1ppt.com/moban/行业PPT模板：www.1ppt.com/hangye/节日PPT模板：www.1ppt.com/jieri/PPT素材下载：www.1ppt.com/sucai/PPT背景图片：www.1ppt.com/beijing/PPT图表下载：www.1ppt.com/tubiao/优秀PPT下载：www.1ppt.com/xiazai/PPT教程：www.1ppt.com/powerpoint/Word教程：www.1ppt.com/word/Excel教程：www.1ppt.com/excel/资料下载：www.1ppt.com/ziliao/PPT 课件 超市陈列培训课件免费下载搭石ppt课件免费下载公安保密教育课件下载病媒生物防治课件 可下载高中数学必修四课件打包下载 下载：www.1ppt.com/kejian/范文下载：www.1ppt.com/fanwen/试卷下载：www.1ppt.com/shiti/ 教案 中职数学基础模块教案 下载北师大版¥1.2次方程的根与系数的关系的教案关于坚持的教案初中数学教案下载电子教案下载 下载：www.1ppt.com/jiaoan/感谢你的聆听LOGO**