02第二章 常识表示办法.pptVIP

知识的分类（一） 按内容分 客观原理性知识: 客观事物及其规律的认识 主观方法性知识: 解决问题的方法及策略 按形式分 显示的知识: 文字的、图形的，如书本知识 隐式的知识:只可意会, 不可言传，如各种技能 按可信度分（确定性与不确定性） 理论知识: 可靠严密, 如平面图判别定理 经验知识: 随机模糊, 不确定, 如“发烧-感冒” 饯菲蓟农砍紊捅迹浮岂郧介波峦窜祁秋串匡询喳倾蓄曝幸诅丢跳躺级笑昼02第二章 知识表示方法02第二章 知识表示方法 知识的分类（二） 按适用范围分: 常识性知识: 一般通用性知识 领域性知识: 具体领域的专业知识 按作用分 事实性知识: 描述概念、属性、状态等情况的知识 反映事物的静态特征，也称叙述性知识 过程性知识: 描述操作、演算、行为等规律的知识 控制性知识: 知识的知识，也称元知识或超知识 拉纫宣猜浆醛翌澳异老咱赡神欺杖映啊辣成芜郝僳立滩奎寿锐屉梅愈朗丽02第二章 知识表示方法02第二章 知识表示方法 知识的分类（三） 按性质分：概念、命题、公理、定理、规则、方法等 按层次分：表层知识（经验）、深层知识(理论） 按等级分：零级、一级、二级 按结构及表现形式分：逻辑性知识、形象性知识 闷潜声毯卿涸题墨未沤撞晌墒洱见痉娇慷青蚜旁峦焚汞了柄宰航潍瞥箱舟02第二章 知识表示方法02第二章 知识表示方法 知识的表示 面向计算机的知识描述形式及方法 人的知识与机器的知识 知识表示的重要性(麦卡赛问题) 知识的陈述表示和过程表示,如求N! 　N! = 　N*(N-1)! 　N! =　 N*(N-1)*(N-2)*…*3*2*1 (N0, 0!=1) 知识的确定性表示和不确定性表示 多种知识表示的综合 俘疾派面斟阶琉磕凝充妇谢烩拓钨覆种混腑人聚枉牙钩无著痹因罚语缩卓02第二章 知识表示方法02第二章 知识表示方法 知识表示的要求 数据结构 + 算法 =〉 表示 + 推理 表示能力：广泛性、高效性、非确定 可利用性：对推理的支持 可组织性与可维护性 可实现性 自然性与可理解性 例如：词典的表示 数组 链表 渗氧悲赡镀整眼崭捏守砷饰挡聋馁攫纂掺总泡在乳舵川猫眺磕瞅郝悟剔艺02第二章 知识表示方法02第二章 知识表示方法 麦卡赛问题的表示 2n 2n (原始问题) 麦卡赛问题： 请判别是否能将右图的黄色部分划分为1x2的小长方块（2n2-1个）？ 陌闰咆杜据阶囚龙掠血苫等倘沙龟瓮膳酷堂砂闹魄富换区警掺谈安冬蛀地02第二章 知识表示方法02第二章 知识表示方法 麦卡赛问题的表示 2n 2n 2n 2n (原始问题) (同构问题) 暴帧痞吼舰摔掉计趁蒙由纶统熔脏辗挺艇为娜序悄甩膛泵下妒售陕好螺者02第二章 知识表示方法02第二章 知识表示方法 2.4 逻辑表示法 一阶谓词逻辑是谓词逻辑中最直观的一种逻辑。它以谓词形式来表示动作的主题、客体。客体可以多个。 如：张三与李四打网球（Zhang and Li play tennis），可写为：play (Zhang, Li, tennis) 这里谓词是play，动词主体是Zhang及 Li，而客体是tennis。 谓词逻辑规范表达式： P ( x1, x2, x3, …)， 这里P是谓词, xi是主体与客体。 递琴寞哨蝉汀沾囤羚掐容屯呐枢标贤怪造孟进槽汗屋伶罩詹钩研元钞名坪02第二章 知识表示方法02第二章 知识表示方法 逻辑表示法－特点 谓词比命题更加细致地刻画知识： 表达能力强 如：北京是个城市， City(x) 把城市这个概念分割出来。把“城市” 与“北京”两个概念连接在一起，而且说明“北京”是“城市”的子概念。（有层） 谓词可以代表变化的情况 如：City(北京),真。 City(煤球)，假 在不同的知识之间建立联系………. 2.3 逻辑表示法 垂蚊济碟垒政疚腆征吞沿功推用莱俩病笛缨琳笼献吼等看纷釜姥扳肾妈糯02第二章 知识表示方法02第二章 知识表示方法 逻辑表示法－特点 在不同的知识之间建立联系 如：Human(x) → Lawed(x)， 人人都受法律管制，x是同一个人。 Commit(x) → Punished(x)， x不一定是人也可以是动物。 而，{[Human(x) → Lawed(x)]→[commit(x) → Punished(x)]}， 意为如果由于某个x是人而受法律管制，则这个人犯了罪就一定要受到惩罚。 2.3 逻辑表示法 葛彰讲最贸彬羞恤及植榜御芹牟烈赤林酒娱炒缚尝舱塘隅绳下嘎筑香遂龙02第二章 知识表示方法02第二章 知识表示方法 逻辑表示法－特点 谓词逻辑法是应用最广的方法之一，其原因是： 谓词逻辑本身具有比较扎实的数学基础（数理统计） 一阶谓词逻辑具有完备的逻辑推理算法。如果对逻辑的