人工智能导论-第二章001-2014分解.pptx

第二章知识表示方法2.1知识和知识表示2.2状态空间表示2.3问题归约表示2.4谓词逻辑表示2.5语义网络表示2.6产生式表示2.7框架表示2.8面向对象表示2016-12-11人工智能导论-刘珊11个字节由8个“位”构成。一个扇区有512个“字节”的数据。糖是甜的。一年有春、夏、秋、冬四个季节。知识的概念知识的定义(1)Feigenbaum：知识是经过剪裁、塑造、解释、选择和转换了的信息(2)把有关信息关联在一起所形成的信息结构。(3)反映了客观世界中事物之间的关系，不同事物或者相同事物间的不同关系形成了不同的知识。知识的类型常识性知识--陈述性知识领域性知识--过程性知识--控制性知识2016-12-11人工智能导论-刘珊22.1知识和知识表示的概念知识的特性相对正确性任何知识都是在一定的条件及环境下产生的，在这种条件及环境下才是正确的。1+1=2（十进制）1+1=10(二进制）不确定性随机性引起的不确定性模糊性引起的不确定性经验引起的不确定性不完全性引起的不确定性知识状态：“真”、“假”“真”与“假”之间的中间状态“如果头痛且流涕，则有可能患了感冒”小李很高2.1知识和知识表示的概念2016-12-11人工智能导论-刘珊3知识的特性可表示性与可利用性知识的可表示性:知识可以用适当形式表示出来，如用语言、文字、图形、神经网络等。知识的可利用性：知识可以被利用。2016-12-11人工智能导论-刘珊42.1知识和知识表示的概念知识表示的概念知识表示对知识的描述，即用一组符号把知识编码成可以被计算机直接识别、并便于系统使用的数据结构。知识表示的要求表示能力可利用性可组织性与可维护性可实现性自然性与可理解性2016-12-11人工智能导论-刘珊52.1知识和知识表示的概念表示方法2016-12-11人工智能导论-刘珊6表示方法直接表示局部表示分布表示陈述性表示过程性表示语义网络表示产生式表示逻辑表示框架表示脚本表示替代表示第二章知识表示方法2.1知识和知识表示2.2状态空间表示2.3问题归约表示2.4谓词逻辑表示2.5语义网络表示2.6产生式表示2.7框架表示2.8面向对象表示2016-12-11人工智能导论-刘珊72.2状态空间表示状态空间表示法的基本思想将待求解的问题通过状态和算符表示出来状态：描述某类不同事物间的差别而引入的一组最少变量q0，q1，…，qn的有序集合。算符也称为操作符：将问题从一种状态变换为另一种状态的手段状态空间：表示该问题全部可能状态及其关系，三元状态（S，F，G）或二元状态（S,O）2016-12-11人工智能导论-刘珊82.2状态空间表示9例:三数码难题（3puzzleproblem）初始棋局目标棋局2016-12-11人工智能导论-刘珊2.2状态空间表示10有向图：由节点的集合构成，一对节点用有向弧线连接。状态空间图：表示状态空间的有赋值的有向图。路径代价图的显示说明：各节点及其代价的弧线由一张表明确给出。图的隐式说明：节点的无限集合{si}作为起始节点已知，后续节点算符Γ已知，由Γ和{si}规定隐式图。状态图示法2016-12-11人工智能导论-刘珊2.2状态空间表示状态空间表示举例例：猴子摘香蕉问题2016-12-11人工智能导论-刘珊112.2状态空间表示12解题过程用一个四元表列（M，p1，B，p2）来表示这个问题状态.初始状态：（a，0，b，0）目标状态：（c，1，c，1）这个问题的算符如下：goto（U）表示猴子走到水平位置U或者用产生式规则表示为 （M，0，B，0）goto（U）（U，0，B，0）2016-12-11人工智能导论-刘珊2.2状态空间表示13pushbox（V）猴子把箱子推到水平位置V，即有 （B，0，B，0）pushbox（V）（V，0，V，0）climbbox猴子爬上箱顶，即有 （B，0，B，0）climbbox（B，1，B，0）2016-12-11人工智能导论-刘珊2.2状态空间表示解题过程14grasp猴子摘到香蕉，即有 （c，1，c，0）grasp（c，1，c，1）初始状态变换为目标状态的操作序列为 {goto(b),pushbox(c),climbbox,grasp}2016-12-11人工智能导论-刘珊2.2状态空间表示解题过程15猴子摘香蕉问题的状态空间图2016-12-11人工智能导论-刘珊2.2状态空间表示第二章知识表示方法2.1知识表示的概念2.2状态空间表示2.3问题归约表示2.4谓词逻辑表示2.5语义网络表示2.6产生式表示2.7框架表示2.8面向对象表示2016-12-11人工智能导论-刘珊16172.3问题归约表示子问题1子问题n原始问题子问题集本原问题2016-12-11人工智能导论-刘珊2.3问题归约表示18问题归约表示的组成部分：一