知识表示的常用方法——课件

知识表示的常用方法 东源改支命运 高 Technolog) ci Raplists Connected Educated Generation 3.3知识表示的常用方法 知识表示的常用方法 谓词逻辑 产生式规则表示 空间状态图表示 3.3.1谓词逻辑 表现形式：谓词名（参数1，参数2，…） 例如：小芳喜欢足球用likes(xiaofang,football)表示 表示步骤：(1)定义谓词；(2)用连词符号连接谓词 例如：likes(xy) 检测： 1、凡是喜欢乒乓球的都是小华的朋友 3.3.1一阶谓词逻辑 全称量词(Universal Quantifier)通常代表“所有”、”一 切”、“全体”等相关意思，记为X。 存在量词(Existential Quantifier）通常代表“在”、“有 些”、“至少一个”等相关意思，记为]X。 永真蕴含符号→ 1、凡是喜欢乒乓球的都是小华的朋友 5、VXbird(X)→has(X,wings) 一个房间里，天花板 上挂有一串香蕉，有 一只猴子可在房间里 任意活动（到收处走 动，推移箱子，攀登 箱子等)。设房间里 还有一只可被猴子移 动的箱子，且猴子登 上箱子时才能摘到香 B 蕉，问猴子在某一状 谓词逻辑 态下（设猴子位置为 定义谓词： 猴子走到箱子处 A,箱子位置为B, WALK(m,n)猴子从m走到n;个体域：m,n∈{a,b,c 把箱子推到香蕉底下 香蕉位置在C),如 PUSH(s,r)猴子将s推到r处个体域：r∈b,C,s∈box: 站到箱子上 何行动可摘取到香 CLIMB(u,C)猴子在c处爬上u; 摘取香蕉 GRASP(t,r)猴子在r处摘到t 蕉。 如何表示行动的规则序列？ WALK(a,b)→ 3.3.1一阶谓词逻辑 特点：接近于人类的自然语言，便于人们理解， 同时便于在计算机中存储和精确处理 3.3.2产生式规则表示 表现形式：IF<P>THEN<Q> 如IF某动物吃肉THEN它是食肉动物 P是产生式的前提，即前件；Q是产生式的结论或操作， 即后件 检测： 20世纪20~30年代以后，人类合成的一种叫“氯氟烃”(CFC)的物质 被广泛使用。氯氟烃释放到大气中，再上升到高空时，会分解出氧。自 由的氯遇上臭氧分子后，会夺走臭氧分子中的一个氧原子，使之变成为 氧分子。 一个房间里，天花板 上挂有一串香蕉，有 一只猴子可在房间里 任意活动（到收处走 C 动，推移箱子，攀登 箱子等)。设房间里 还有一只可被猴子移 动的箱子，且猴子登 上箱子时才能摘到香 A B 蕉，问猴子在某一状 产生式规则表示 态下（设猴子位置为 1、IF猴子在A处，箱子在B处，香蕉在C处THEN猴子走到B处： 猴子走到箱子处 A,箱子位置为B, 把箱子推到香蕉底下 香蕉位置在C),如 2、IF猴子和箱子在一起THEN猴子将箱子推到C处； 站到箱子上 何行动可摘取到香 3、IF猴子和箱子同时在C处THEN猴子爬到箱子上： 摘取香蕉 蕉。 4、IF猴子和箱子同时在C处，猴子在箱子上THEN猴子摘取香蕉 3.3.2产生式规则表示 特点：表示格式固定，形式单一，知识单元间相 互较为独立，处理较为简单的问题是可取的 3.3.3状态空间图表示 表现形式：节点与节点之间的连线所构成的图 节点对应问题的具体状态，连线通常是有向线，成 为弧线，对应状态转换操作 2 切始棋局 目标林岛