Xie-AI-第2章-知识表示方法_第1页
Xie-AI-第2章-知识表示方法_第2页
Xie-AI-第2章-知识表示方法_第3页
Xie-AI-第2章-知识表示方法_第4页
Xie-AI-第2章-知识表示方法_第5页
已阅读5页,还剩135页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

主讲:谢榕

武汉大学国际软件学院人工智能及其应用1.学习目的和意义对自动化、智能化的追求是我们的永久目标,使计算机具有智能、能够模仿人的思维和行为,成为人们的理想和追求。人工智能是一门具有实用价值的跨学科的科目。具有不同背景和专业的人们,正在从这个年轻的领域内发现某些新思想和新方法。人工智能也是一门非常有趣的学科,我们不仅将学习人工智能基本原理,而且将学习人工智能实现技术及其应用,并了解国内外研究领域的最新进展和研究方向。2.人工智能的研究与应用领域问题求解自然语言理解自动定理证明专家系统智能控制及智能系统模式识别机器人学数据挖掘与知识发现人工生命3.本课程主要内容概要

探讨人工智能研究领域的发展状况及其主要应用领域人工智能程序设计语言传统人工智能理论与方法知识表示方法搜索推理技术人工智能的新研究领域神经计算模糊计算进化计算人工生命人工智能的主要应用专家系统与知识发现

自动规划人工智能最新进展与研究方向第二章知识表示方法内容提要:◆知识与知识表示◆状态空间表示◆问题归约表示◆谓词逻辑表示◆语义网络表示◆框架表示◆本体技术(New)2.1知识与知识表示什么是知识?知识的分类什么是知识表示?知识表示方法什么是知识?什么是知识?知识是人类进行一切智能活动的基础。知识是人们对于可重复信息之间联系的认识,是信息经过加工整理、解释、挑选和改造而形成的。所以知识是人们对信息和信息之间联系的认识和人们利用这些认识解决实际问题的方法和策略。培根:知识就是力量数据信息知识知识信息数据概念概念例如:13亿中国人口数已经达到13亿中国是世界上人口最多的国家“为了中国的可持续发展,我们必须继续坚持计划生育政策”是决策。“13亿”是数据。“中国人口数已经达到13亿”是信息。“中国是世界上人口最多的国家”是知识。2.人工智能系统所关心的知识要使计算机系统具有智能,至少应使运行的系统拥有以下4个方面的知识。

事实知识

规则知识

控制知识

元知识2.人工智能系统所关心的知识事实知识事实知识是有关问题环境的一些事物的知识,常以“…是…”的形式出现。如事物的分类、属性、事物间关系、科学事实、客观事实等。事实是静态的、为人们共享的、可公开获得的、公认的知识,在知识库中属低层的知识。

例如,雪是白色的、鸟有翅膀、张三李四是好朋友等。2.人工智能系统所关心的知识规则知识规则知识是有关问题中与事物的行动、动作相联系的因果关系知识。它是动态的,常以“如果…那么…”形式出现。特别是启发式规则是属专家提供的专门经验知识,这种知识虽无严格解释但很有用处。

例如,如果下雨,则出门带伞。2.人工智能系统所关心的知识控制知识控制知识是有关问题的求解步骤、技巧性知识,告诉怎么做一件事。也包括当有多个动作同时被激活时应选哪一个动作来执行的知识。

例如,从北京到上海,是乘飞机还是坐火车的问题,乘飞机较快、较贵;坐火车较慢、较便宜。2.人工智能系统所关心的知识元知识元知识是有关知识的知识,是知识库中的高层知识。包括怎样使用规则、解释规则、校验规则、解释程序结构等知识。元知识与控制知识是有重迭的,对一个大的程序来说,以元知识或说元规则形式体现控制知识更为方便,因为元知识存于知识库中,而控制知识常与程序结合在一起出现,从而不容易修改。

例如,知识目录等。事实知识控制知识规则知识元知识人工智能系统2.人工智能系统所关心的知识什么是知识表示?人类拥有的知识如何才能被计算机系统所接受并用于实际问题的求解?必须以合适的方式将面向人的知识转化为计算机系统所能接受的形式,即知识表示研究的内容。知识表示是指将知识符号化,并输入计算机的过程和方法。用给定的结构,按一定的原则、组织方式表示知识。解释所表示知识的含义。理想的知识表示方法是模拟人脑的知识存储结构,但目前还难以做到。合理的知识表示能使得问题求解变得容易,并具有较高的求解效率。人工智能中几种知识表示方法状态空间法问题归约法谓词逻辑法语义网络法本体技术…框架表示剧本表示过程表示面向对象法2.2状态空间表示1.问题求解2.问题状态描述3.状态图示法例1:猴子和香蕉问题例2:推销员旅行间题1.问题求解问题求解(problemsolving)涉及归约、推断、决策、规划、常识推理、定理证明和相关过程的核心概念。在计算机程序上的应用:自然语言处理、情报检索、自动程序设计、机器人学、景物分析、博弈、专家系统和数学定理证明等。典型问题包括:求解智力测验难题求证逻辑或数学定理求解最短路径求解能够取胜的博弈走步序列求解符号积分问题的变换序列1.问题求解问题求解与人工智能

许多问题求解方法是采用试探搜索方法的。

这些方法是通过在某个可能的解空间内寻找一个解来求解问题的。1.问题求解什么是状态空间法?

状态空间法是基于解答空间的问题表示和求解方法,它是以状态(status)和算符(operator)为基础来表示和求解问题的。问题求解技术两个主要的方面问题的表示:如果描述方法不对,对问题求解会带来很大的困难;求解的方法:采用试探搜索方法。2.问题状态描述状态空间法三要点

状态(state)

算符(operator)

状态空间(statespace)定义状态(state)描述某类不同事物间的差别而引入的一组最少变量q0,q1,…,qn的有序集合。矢量形式如下:

Q=[q0,q1,,…,qn]T

式中每个元素qi(i=0,1,…,n)为集合的分量,称为状态变量。

给定每个分量的一组值就得到一个具体的状态,如qk=[q0k,q1k,…,qnk]T定义算符(operator)使问题从一种状态变化为另一种状态的手段称为操作符或算符。操作符可为走步、过程、规则、数学算子、运算符号或逻辑符号等。定义问题的状态空间(statespace)表示该问题全部可能状态及其关系的图包含三种说明的集合,即所有可能的问题的初始状态集合S

操作符集合F

目标状态集合G。可把状态空间记为三元状态(S,F,G)。例:三数码难题(3PuzzleProblem)状态空间Q=(S,F,G),其中初始状态集合S={}操作符集合F={上移2、左移1,下移3,右移2,上移1}目标状态集合G={}五子棋跳棋国际象棋应用实例中国象棋对一个问题的状态描述,必须确定3件事:状态描述方式,特别是初始状态描述

操作符集合及其对状态描述的作用

目标状态描述的特性2.问题状态描述用十五数码难题(15puzzleproblem)来说明状态空间表示的概念。十五数码难题:由15个编有1至15并放在4×4方格棋盘上的可走动的棋子组成。棋盘上总有一格是空的,以便可能让空格周围的棋子走进空格,这也可以理解为移动空格。初始棋局目标棋局3.状态空间表示详释如何把初始棋局变换为目标棋局呢?首先把适用的算符用于初始状态,以产生新的状态;然后,再把另一些适用算符用于这些新的状态;这样继续下去,直至产生目标状态为止。算符:棋子3右移或空格左移中间棋局初始棋局解题过程目标棋局把初始状态可达到的各状态所组成的空间设想为一幅由各种状态对应的节点组成的图。这种图称为状态图。图:十五数码难题部分状态图中间状态初始状态解题过程对于某些最优化问题,仅仅找到到达目标的任一路径是不够的,还必须找到按某个准则实现最优化的路径(例如,下棋走步最少)。初始状态解题过程图:十五数码难题部分状态图3.状态图示法1.图论中的几个术语节点(node)弧线(arc)有向图(directedgraph)后继节点(descendantnode)与父辈节点(parentnode)路径(route)代价(cost)显式表示隐式表示图论中的几个术语节点(node)

图形上的汇合点,用来表示状态、事件和时间关系的汇合,也可用来指示通路的汇合。弧线(arc)

节点间的连接线。有向图(directedgraph)

一对节点用弧线连接起来,从一个节点指向另一个节点。图论中的几个术语后继节点(descendantnode)与父辈节点(parentnode)

如果某条弧线从节点ni指向节点nj,那么节点nj就叫做节点ni的后继节点或后裔,而节点ni叫做节点nj的父辈节点或祖先。ninj路径(route)

某个节点序列(ni1,ni2,…,nik)当j=2,3,…,k时,如果对于每一个ni,j-1都有一个后继节点nij存在,那么就把这个节点序列叫做从节点ni1至节点nik的长度为k的路径。ni1nikni2图论中的几个术语代价(cost)

用c(ni,nj)来表示从节点ni指向节点nj的那段弧线的代价。两节点间路径的代价等于连接该路径上各节点的所有弧线代价之和。ninj图论中的几个术语显式表示

各节点及其具有代价的弧线由一张表明确给出。此表可能列出该图中的每一节点、它的后继节点以及连接弧线的代价。隐式表示

节点的无限集合{si}作为起始节点是已知的。后继节点算符Γ也是已知的,它能作用于任一节点以产生该节点的全部后继节点和各连接弧线的代价。产生式系统由下列3部分组成:一个总数据库(globaldatabase):它含有与具体任务有关的信息一套规则:它对数据库进行操作运算。

每条规则由左右两部分组成,左部鉴别规则的适用性或先决条件,右部描述规则应用时所完成的动作。规则的基本形式是“如果…那么…”,即“if…then…”。我们把这种规则称之为产生式规则。应用规则来改变数据库,就象应用算符来改变状态一样。一个控制策略:它确定应该采用哪一条适用规则,而且当数据库的终止条件满足时,就停止计算。控制策略由控制系统选择和确定。产生式系统的方法例1:猴子和香蕉问题猴子和香蕉问题(monkeyandbananaproblem):在一个房间内有一只猴子(可把这只猴子看做一个智能机器猴)、一个箱子和一束香蕉。香蕉挂在天花板下方,但猴子的高度不足以碰到它。这只猴子怎样才能摘到香蕉呢?解题过程用一个四元表列(W,x,Y,z)来表示这个问题的状态,其中:W-猴子的水平位置x-当猴子在箱子顶上时取x=1;否则取x=0Y-箱子的水平位置z-当猴子摘到香蕉时取z=1;否则取z=0解题过程该问题的操作(算符):1.goto(U)表示猴子走到水平位置U或者用产生式规则表示为:(W,0,Y,z)goto(U)(U,0,Y,z)2.pushbox(V)猴子把箱子推到水平位置V,即有:(W,0,W,z)pushbox(V)(V,0,V,z)3.climbbox猴子爬上箱顶,即有:(W,0,W,z)climbbox(W,1,W,z)4.grasp猴子摘到香蕉,即有:(c,1,c,0)grasp(c,1,c,1)该初始状态变换为目标状态的操作序列为:{goto(b),pushbox(c),climbbox,grasp}四元表列(W,x,Y,z):W-猴子的水平位置x-当猴子在箱子顶上时

取x=1;否则取x=0Y-箱子的水平位置z-当猴子摘到香蕉时取z=1;否则取z=0图:猴子和香蕉问题的状态空间图猴子和香蕉问题的演示过程例2:推销员旅行问题推销员旅行问题:一个推销员计划出访推销产品。他从一个城市(如A)出发,访问每个城市一次,且最多一次,然后返回城市A。要求寻找最短路线。总数据库是到目前为止所访问过的城市表。

初始数据库被描述为表(A)。不允许目录表中任一城市出现多于一次,只有城市A例外,但也只有当所有其它城市均已出现之后,才能再次出现A。规则对应于决策:(a)下一步走向城市A;(b)下一步走向城市B;…;(e)下一步走向城市E。一条规则除非能把某个数据库变为一合法数据库,否则就不适用于这个数据库。图:推销员旅行问题状态空间图控制策略

任一以A为起点和终点,并出现所有其它城市的总数据库,都满足终止条件。

提出条件:必须是具有最短距离的旅程。2.3问题归约法1.问题归约描述2.问题归约表示3.例:梵塔难题1.问题归约描述问题归约法(problemreduction)是另一种问题描述与求解方法。先把问题分解为子问题和子-子问题,然后解决较小的问题。对该问题的某个具体子集的解答就意味着对原始问题的一个解答。1.问题归约描述问题归约表示的组成部分:一个初始问题描述一套把问题变换为子问题的操作符一套本原问题描述问题归约的实质:从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直至最后把初始问题归约为一个平凡的本原问题集合。2.问题归约表示(与或图表示)与或图

一般地,用一个类似图的结构来表示把问题归约为后继问题的替换集合,这种结构图叫做问题归约图,或叫与或图。一些关于与或图的术语:与或图:由与节点及或节点组成的结构图。或节点:只要解决某个子问题就可解决其父辈问题的节点集合,如(N,M,H)。与节点:只有解决所有子问题,才能解决其父辈问题的节点集合,如(B,C)和(D,E,F)各个结点之间用一小圆弧连接标记。终叶节点:对应于原问题的本原节点。或节点与节点终叶节点可解节点终叶节点是可解节点(因为它们与本原问题相关连)。如果某个非终叶节点含有或后继节点,那么只要当其后继节点至少有一个是可解的时,此非终叶节点才是可解的。如果某个非终叶节点含有与后继节点,那么只有当其后继节点全部为可解时,此非终叶节点才是可解的。终叶节点可解节点可解节点不可解节点没有后裔的非终叶节点为不可解节点。如果某个非终叶节点含有或后继节点,那么只有当其全部后裔为不可解时,此非终叶节点才是不可解的。如果某个非终叶节点含有与后继节点,那么只要当其后裔至少有一个为不可解时,此非终叶节点才是不可解的。不可解节点不可解节点不可解节点与或图的构成规则规则1:与或图中的每个节点代表一个要解决的单一问题或问题集合。图中所含起始节点对应于原始问题。规则2:对应于本原问题的节点,叫做终叶节点,它没有后裔。规则3:对于把算符应用于问题A的每种可能情况,都把问题变换为一个子问题集合;有向弧线自A指向后继节点表示所求得的子问题集合。起始节点终叶节点有向弧线规则4:一般对于代表两个或两个以上子问题集合的每个节点,有向弧线从此节点指向此子问题集合中的各个节点。由于只有当集合中所有的项都有解时,这个子问题的集合才能获得解答。规则5:在特殊情况下,当只有一个算符可应用于问题A,而且这个算符产生具有一个以上子问题的某个集合时,由上述规则3和规则4所产生的图可以得到简化。

因此,代表子问题集合的中间或节点可以被略去,如下图所示。规则4规则5梵塔难题(TowerofHanoipuzzle)

有3个柱子(1,2和3)和3个不同尺寸的圆盘(A,B和C)。在每个圆盘的中心有一个孔,所以圆盘可以堆叠在柱子上。最初,3个圆盘都堆在柱子1上:最大的圆盘C在底部,最小的圆盘A在顶部。要求把所有圆盘都移到柱子3上,每次只许移动一个,而且只能先搬动柱子顶部的圆盘,还不许把尺寸较大的圆盘堆放在尺寸较小的圆盘上。3.例:梵塔难题[美]_课程_汉诺塔算法演示.flv解题要点将原始问题归约为一个较简单问题集合。要把所有圆盘都移至柱子3,我们必须首先把圆盘C移至柱子3,而且在移动圆盘C至柱子3之前,要求柱子3必须是空的。只有在移开圆盘A和B之后,才能移动圆盘C,而且圆盘A和B最好不要移至柱子3,否则就不能把圆盘C移至柱子3。因此,首先应该把圆盘A和B移到柱子2上。然后才能够进行关键的一步,把圆盘C从柱子1移至柱子3,并继续解决难题的其余部分。将原始难题归约(简化)为下列子难题:移动圆盘A和B移至柱子2的双圆盘难题。移动圆盘C移至柱子3的单圆盘难题。移动圆盘A和B移至柱子3的双圆盘难题。XXXCBA梵塔问题归约图:子问题2可作为本原问题考虑。子问题1和子问题3也可被归约为本原问题。与或图(AND/ORgraph)能有效地说明如何由问题归约法求得问题的解答。多圆盘梵塔难题演示/hanoi/index.htm梵塔难题演示.avi2.4谓词逻辑法1.命题逻辑vs.谓词逻辑2.谓词演算3.谓词公式4.置换与合一5.例:机器人行为规划1.命题逻辑vs.谓词逻辑我们能够很容易地把客观世界的各种事实表示为逻辑命题。命题,是数理逻辑中最基本的概念,实际上就是一个意义明确,能分辨真假的陈述句。

例如:中国是世界上人口最多的国家。最基本的命题逻辑的知识表达是给一个对象命名或陈述一个事实。1.命题逻辑vs.谓词逻辑但命题逻辑有一定的局限性。例1:“李明是软件工程班级学生,王华也是软件工程班级学生”。无法得出李明和王华相似性的结论。例2:“所有的人都要学习”,如果不对问题进行量化,我们就必须一个一个地写出已经知道的人都需要学习的独立命题。谓词逻辑(predicatelogic)允许我们表达那些无法用命题逻辑性应地加以表达的命题。在谓词逻辑中,我们能够表达客观世界事实为由合适公式(WFF)写成的命题。谓词逻辑可作为知识的一种表示方法。2.谓词演算谓词逻辑的基本组成部分:

谓词符号、变量符号、函数符号、常量符号、括号和逗号原子公式(atomicformulas)由若干谓词符号和项组成的谓词演算。原子公式是谓词演算基本积木块。运用连词和量词能够组合成多个原子公式以构成比较复杂的合式公式。原子公式例1,要表示"机器人(ROBOT)在1号房间(r1)内",可以应用原子公式:

当机器人ROBOT移到房间r2时,原子公式可以表示为:

这两个原子公式的通用形式就是原子公式例2,“李的母亲和他的父亲结婚”这句话的原子公式表示如下:连词与·合取(conjunction)用连词∧把几个公式连接起来而构成的公式。合取项是合取式的每个组成部分。例:我喜爱音乐和绘画 LIKE(I,MUSIC)∧LIKE(I,PAINTING)或·析取(disjunction)用连词∨把几个公式连接起来而构成的公式。析取项是析取式的每个组成部分。例:李力打篮球或踢足球 PLAYS(LILI,BASKETBALL)∨PLAYS(LILI,FOOTBALL)连词蕴涵(Implication)用连词=>连接两个公式所构成的公式,表示“如果-那么”语句。蕴涵的左式叫做前项,右式叫做后项。例:如果刘翔跑得最快,那么他取得冠军RUNS(LIUXIANG,FASTEST)=>WINS(LIUXIANG,CHAMPION)非(NOT)用来否定一个公式的真值,可用~、┑表示。例:机器人不在2号房间内

~INROOM(ROBOT,r2)量词全称量词(UniversalQuantifier)若一个原子公式P(x),对于所有可能变量x都具有T值,则用(x)P(x)表示。例:所有的机器人都是灰色的

(x)[ROBOT(x)=>COLOR(x,GRAY)]例:所有学生都穿彩色制服

(x)[Student(x)=>Uniform(x,Color)]存在量词(ExistentialQuantifier)若一个原子公式P(x),至少有一个变元X,可使P(X)为T值,则用(x)P(x)表示。例:1号房间内有个物体 (x)INROOM(x,r1)3.谓词公式谓词公式的定义原子谓词公式

用P(x1,x2,…,xn)表示一个n元谓词公式,其中P为n元谓词,x1,x2,…,xn为客体变量或变元。

通常把P(x1,x2,…,xn)叫做谓词演算的原子公式,或原子谓词公式。分子谓词公式

可以用连词把原子谓词公式组成复合谓词公式,并把它叫做分子谓词公式。合式公式(WFF,well-formedformulas)的递归定义(1)原子谓词公式是合式公式。(2)若A为合式公式,则~A也是一个合式公式。(3)若A和B都是合式公式,则(A∧B),(A∨B),(A=>B)也都是合式公式。(4)若A是合式公式,x为A中的自由变元,则(x)A,(x)A都是合式公式。只有按上述规则(1)至(4)求得的那些公式,才是合式公式。谓词公式例如:“对于所有的x,如果x是整数,则x或为正的或者为负的。”(x)(I(x)=>(p(x)∨N(x))),其中I(x)表示“x是整数”,P(x)表示“x是正数”,N(x)表示“x是负数”谓词公式合式公式的性质合式公式的真值表:谓词公式等价关系(Equivalence)

如果两个合式公式,无论如何解释,其真值表都是相同的,那么我们就称此两个合式公式是等价的。等价关系(Equivalence) 否定之否定

~(~P)等价于PP∨Q等价于~P=>Q狄.摩根定律

~(P∨Q)等价于~P∧~Q

~(P∧Q)等价于~P∨~Q分配律 P∧(Q∨R)等价于(P∧Q)∨(P∧R) P∨(Q∧R)等价于(P∨Q)∧(P∨R)交换律 P∧Q等价于Q∧P P∨Q等价于Q∨P结合律 (P∧Q)∧R等价于P∧(Q∧R) (P∨Q)∨R等价于P∨(Q∨R)逆否律 P=>Q等价于~Q=>~P其它等价关系

~(x)P(x)等价于(x)[~P(x)]

~(x)P(x)等价于(x)[~P(x)]

(x)[P(x)∧Q(x)]等价于(x)P(x)∧(x)Q(x)

(x)[P(x)∨Q(x)]等价于(x)P(x)∨(x)Q(x)

(x)P(x)等价于(y)P(y)

(x)P(x)等价于(y)P(y)下面举个用谓词演算来表示的英文句子的实例:Foreverysetx,thereisasety,suchthatthecardinalityofyisgreaterthanthecardinalityofx.4.置换与合一置换假元推理,是由合式公式W1和W1→W2产生合式公式W2的运算。全称化推理,是由合式公式(x)W(x)产生合式公式W(A),其中A为任意常量符号。举例:

表达式P[x,f(y),B]的一个置换为s1={z/x,w/y},则 P[x,f(y),B]s1=P[z,f(w),B]

一个表达式的置换就是在该表达式中用置换项置换变量。4.置换与合一合一寻找项对变量的置换,以使两表达式一致,叫做合一。如果一个置换s作用于表达式集{Ei}的每个元素,则用{Ei}s来表示置换例的集。称表达式集{Ei}是可合一的。如果存在一个置换s使得:E1s=E2s=E3s=…那么称此s为{Ei}的合一者,因为s的作用是使集合{Ei}成为单一形式。举例:表达式P[x,f(y),B]和表达式P[x,f(B),B]的合一者表达式P[x,f(y),B]的一个置换为s={A/x,B/y},则P[x,f(y),B]s=P[A,f(B),B]表达式P[x,f(B),B]的一个置换为s={A/x,B/y},则:P[x,f(B),B]s=P[A,f(B),B],s为二者的合一者。5.例:机器人行为规划设有—个含有凹室(alcove)的房间里有两张桌子A和B、一个机器人(robot)和一个箱子(box)。为了让机器人从凹室出发,将在桌子A上的箱子移到桌子B上,然后同到凹室。解题过程本问题涉及的常量定义为:机器人:robot积木块:box凹室:alcove桌子:A桌子:B解题过程Step1:定义与问题有关的谓词:

Table(x)x是桌子

Empty(y)y手中是空的At(y,z)y在z附近Holds(y,w)y手中拿着wOn(w,x)w在x之上

这些谓词表达了事物之间的关系,其中,变量x,y,z,w的客体域分别为{A,B},{robot},{A,B,a1cove},{box}。解题过程Step2:根据问题的描述,将问题的初始状态和目标状态分别用谓词公式表示出来初始状态为:At(robot,a1cove)Empty(robot)0n(box,A)Table(A)Table(B)目标状态为下列语句的合取:At(robot,a1cove)Empty(robot)on(box,B)Table(A)Table(B)解题过程Step3:定义操作、条件和行为如何从初始状态转移到目标状态,机器人要通道一系列的操作才能实现。Go-to-A(x)表示机器人从x处走到A处Pick-up-box(x)表示机器人从x处拿起箱子Set-down-box(x)表示机器人在x处放下箱子在机器人行动规则中,通常需要为每一个操作定义条件和行动。例如:Pick-up-box(A)条件:on(箱子,A)At(机器人,A)Empty(机器人)行动:删除Empty(机器人)增加Holds(机器人,箱子)如何从初始状态转移到目标状态,机器人要通道一系列的操作才能实现。机器人行动规划的问题求解过程为:初始状态At(机器人,Alcove)Empty(机器人)on(箱子,A)Table(A)Table(B)==>从Go-to-A(x)At(机器人,A)Empty(机器人)0n(箱子,A)Table(A)Table(B)=>Pick-up-box(x)At(机器人,A)Ho1ds(机器人,箱子)Table(A)Table(B)==>Go-to-B(x)At(机器人,B)Ho1ds(机器人,箱子)Table(A)Table(B)==>Set-down-box(x)At(机器人,A)Empty(机器人)on(箱子,B)Table(A)Table(B)=>Go-to-A1cove(x)At(机器人,Alcove)Empty(机器人)0n(箱子,B)Table(A)Table(B)谓词逻辑表示法的应用尽管谓词逻辑还有不尽入意之处,但确是一种应用较早,较广泛,也是较成功的知识表示方法,它比较适用于用定理证明方法求解问题的系统。例如,Green(1969)研制的自动问答系统,用逻辑方法表达知识,以定理证明方式推理,它是进行化学等方面的问题解答的通用系统。Fikes(1971)研制的机器人行动规划系统,在问题求解中采用了演绎推理方法,规划决策采用了“目标-手段”分析法。Filman(1976)研制了机器博弈系统。KoWalski(1979)研制了问题求解系统。2.5语义网络法1.语义网络的概念及其结构2.语义网络法的表示3.语义网络表示下的推理4.语义网络表示法举例Google翻译工具MSWord拼写与语法检查功能语法vs.语义一种语言是合法句子的集合。什么样的句子是合法的呢?语法和语义。语法:和文法结构有关语义:和按照这个结构所组合的单词符号的意义有关e.g.

雪是白的。--语法正确,语义正确

雪是红的。--语法正确,语义错误2.5语义网络法语义网络最初被提出是为了表达词汇之间的语义关系。后来,人们很快地发现语义网络在逻辑推理方面的潜在能力,从而使语义网络成为人工智能的一种知识表示方法获得迅速发展。“语义”一词主要是指语言结构(如词、短语、句子、段落等)及其意义上的联系。客观世界中的事物相互间除了具有因果关系、类属关系等表面上的一些关系外,各事物、各概念之间还存在着含义上的联系或者语义上的联系。图:狗的身体构成图:生物分类2.5语义网络法1968年J.R.Quillian在研究人类联想记忆时提出语义网络这一心理学模型。他认为,记忆是由概念间的联系实现的。1972年,Simon首先将语义网络表示法用于自然语言理解系统。

随后在他设计的可教式语言理解器(TeachableLanguageComprehenden,TCL)中将这种心理学模型(语义网络)用于知识表示。1.语义网络的概念及结构语义网络就是为了描述概念、事物、属性、情况、动作、状态等以及它们之间的语义联系而引入的。语义网络是知识的一种图解表示。它由节点和弧线组成。节点用于表示实体、概念和情况等。弧线用于表示节点间的关系。弧上的标注表示被连接的两个节点间的某种语义联系或语义关系。BRA语义网络表示知识的步骤语义网络中常用的语义联系二元语义网络的表示多元语义网络的表示2.语义网络法的表示Step1:确定问题中的所有对象以及各对象的属性Step2:确定所讨论对象间的关系Step3:将各对象作为语义网络的一个节点,各对象间的关系作为网络中的各节点间的弧,连接形成语义网络。节点可代表一个事物或一个具体概念,也可代表某种情况、事件或某一动作。当节点表示某种事件或某一动作,可以从该节点引出一组向外的弧,用于指出事件的因果或动作的主体及客体。语义网络表示知识的步骤语义联系反映了节点间的语义关系。常用的语义联系:实例联系泛化联系聚集联系属性联系…语义网络中常用的语义联系语义网络中常用的语义联系实例联系用于表示实例节点与所属类节点之间的联系,常用语言“是一个”描述,可表示为“ISA”或“is-a”。

泛化联系用于表示一种类节点与更抽象类节点之间的联系,常用语言“是一种”描述,可表示为“a-kind-of”或AKO。AKO是一种偏序联系,通过AKO可以将问题中的所有节点组织成一个AKO层次网络。语义网络中常用的语义联系聚集联系用于表示某一个体与其组成成分之间的联系,通常用PART-OF表示。聚集联系基于概念的分解性,将高层概念分解为若干低层概念的集合。语义网络中常用的语义联系属性联系

用于表示个体、属性及其取值之间的联系,通常用有向弧表示属性,用这些弧所指向的节点表示各自的值。语义网络中常用的语义联系其它联系

在客观世界中,事物间的联系是多种多样的、千变万化的。在使用语义网络进行知识表示时,可根据需要对事物间的各种联系进行定义。语义网络中常用的语义联系二元语义网络的表示1.表示简单的事实

两节点以“是一个”(ISA)链相连。

例1:所有的燕子都是鸟二元语义网络的表示2.表示占有关系和其它情况

例2:小燕是一只燕子,燕子是鸟;巢-1是小燕的巢,巢-1是巢中的一个。二元语义网络的表示3.选择语义基元

试图用一组基元来表示知识,以便简化表示,并可用简单的知识来表示更复杂的知识。

例3:我椅子的颜色是咖啡色的;椅子包套是皮革;椅子是一种家具;椅子是座位的一部分;椅子的所有者是X;X是个人。多元语义网络的表示语义网络是一种网络结构。从本质上讲,结点之间的连接是二元关系。例如,TRIANGLE(a,b,c)表示一个三角形由三条边a,b,c构成,可表述为, cat(a,b)cat(b,c)cat(c,a)

其中,cat表示将两条边串接起来。如果要表示的事实是多元关系,必须将多元关系转化为二元关系。把多元关系转化成一组二元关系的组合,即二元关系的合取。具体地,多元关系R(X1,X2,…Xn)可以转换成R1(X11,X12)R2(X21,X22)…Rn(Xn1,Xn2)3.语义网络表示下的推理语义网络的推理过程主要有两种。继承匹配3.语义网络表示下的推理1.继承在语义网络中,所谓的继承是把对事物的描述从概念节点或类节点传递到实例节点。一共有3种继承过程。值继承“如果需要”继承“缺省”继承值继承值继承最简单的值继承是ISA关系下的直接继承。

ISA是IS-A的缩写,表示“是一种”关系。AKO(akindof)弧也用于语义网络中的描述特性的继承。AKO是A-KIND-OF的缩写,表示“是某种”关系。图:语义网络的值继承ISA和AKO链直接地表示类的成员关系以及子类和类之间的关系,提供了一种把知识从某一层传递到另一层的途径。“如果需要”继承当不知道某个值时,可以利用已知信息来计算。进行上述计算的程序称为if-needed程序。图:语义网络的"如果需要"继承"缺省"继承当我们对事物所作的假设不是十分有把握时,最好对所作的假设加上“可能”这样的字眼。把这种具有相当程度真实性但又十分肯定的值称为“缺省”值。这种类型值被放入DEFAULT(缺省)中。图:语义网络的"缺省"继承例如,从整体来说,积木的颜色很可能是蓝色的,但在砖块中,颜色可能是红的。对BLOCK和BRICK节点来说,在COLOR中找到的侧面都是DEFAULT侧面,在图中以括弧加以标志。3.语义网络表示下的推理2.匹配

在语义网络中,事物是通过语义网络这种结构来描述的,事物的匹配则为结构上的匹配,包括结点的匹配和弧的匹配。推理步骤为:第一、构造问题的目标网络块,然后在事实网络中寻找匹配;第二、推理从一条弧连接的两个结点的匹配开始,再匹配与该两个结点相连接的所有其它结点,直到问题得到解答。语义网上的知识表示与查询语言.pdf4.语义网络表示法举例用语义网络表示以下事实: “武汉大学是一所具有百年历史的综合性大学,它位于武汉市笔直、宽广的珞瑜路。张广义今年36岁,男性,中等身材,他任职于武汉大学。”解题分析本事实涉及的对象:各对象的属性:武汉大学、武汉市珞瑜路、张广义张广义:36岁、男性、中等身材武汉大学:百年历史、综合性大学武汉市珞瑜路:笔直、宽广 “武汉大学是一所具有百年历史的综合性大学,它位于武汉市笔直、宽广的珞瑜路。张广义今年36岁,男性,中等身材,他任职于武汉大学。”解题分析各对象间的关系: “武汉大学是一所具有百年历史的综合性大学,它位于武汉市笔直、宽广的珞瑜路。张广义今年36岁,男性,中等身材,他任职于武汉大学。”“张广义”和”武汉大学”间的关系是“工作于”“武汉大学”和”武汉市珞瑜路”之间的关系是“位于”若用WORKAT表示“工作于”,用LOCATED表示“位于”,本事实的语义网络为:张广义武汉大学武汉市珞瑜路男性36岁中等身材综合性大学百年历史笔直宽广WORKATLOCATED性别年龄特点大学性质成立时间特点1特点22.6框架表示法1.框架的构成2.框架的推理3.框架表示法的应用2.6框架表示法1975年美国人工智能专家M.Minsky在论文“Aframeworkforrepresentingknowledge”中提出了框架理论,受到了人工智能的广泛重视,后来逐步发展为一种被广泛使用的知识表示方法,成为理解视觉、自然语言对话和其他复杂行为的基础。框架理论的提出基于心理学的研究成果:在人类日常思维及理解活动中已存储了大量的典型情景。当分析和理解所遇到的新情况时,人们并不是从头分析新情况,而是从记忆中选择(即匹配)某个轮廓的基本知识结构(即框架)与当前的现实情况

进行某种程度的匹配。这个框架是以前记忆的一个知识空框,而具体的内容又随新的情况而改变,即新情况的细节不断填充到这个框架中,形成新的认识存储到人的记忆中。2.6框架表示法例1:到一个新开张的饭馆吃饭

根据以往的经验,可以想象到在这家饭店里将看到菜单、桌子、椅子和服务员等,然而关于菜单的内容、桌子、椅子的式样和服务员穿什么样的衣服等具体信息要等到饭馆观察后才可以得到。2.6框架表示法例2:走进一个教室

当一个人将要走进一个教室之前,他就可以想象这个教室一定有四面墙,有门、窗、天花板和地板,还有黑板、讲台、课桌、座椅等,尽管他对这个教室的具体细节如教室的大小、门窗的个数等还不清楚,但对教室的结构是可以预见的。他已在其头脑中建立起了有关“教室”这一概念的基本框架。2.6框架表示法这种可以预见的知识结构在计算机中表示成数据结构,就是框架。框架理论将框架作为知识的单元。将一组有关的框架链接起来便形成框架系统。许多推理过程可以在框架系统内完成。1.框架的构成框架中的定义框架:框架表示一个对象、一个概念、一个事件、或问题领域的一个实体。它是属性(槽)及其相关值的集合。槽:槽是框架的属性。侧面:对象的侧面是对槽的进一步细化。值:值是侧面的具体属性值。框架的基本结构为:一个框架(Frame)由一组槽(Slot)组成,一个槽可以由若干个侧面(Face)组成,每个侧面可以有一个或多个值(Value)。对于大多数问题,不能简单地用一个框架来表示,必须同时使用许多框架,组成一个框架系统。<框架名><槽1><侧面11><值111><侧面12><值121>……<槽2><侧面21><值211>………<槽n><侧面n1><值n11>……<侧面nm><值nm1>…例1:关于优质商品的框架框架名:<优质商品>

商品名称:

生产厂家:

生产日期:

生产地点:

获奖级别:

国家级:

省部级:

县市级:

获奖时间:

单位(年、月、日): 颁发部门:槽名侧面框架名例2:关于大学教师的框架框架名:<大学教师>类属:<知识分子>姓名:单位(姓、名)年龄:单位(岁)性别:范围:(男、女) 缺省:男学历:范围(学士、硕士、博士)职称:范围(教授、副教授、讲师、助教)部门:单位(系、教研室)外语:语种:范围:(英、日、俄、法、德) 缺省:英水平:范围:(优、良、中、差) 缺省:良住址:<住址框架>工资:<工资框架>框架名框架名框架名槽名侧面例3:关于某大学教师的框架框架名:<教师-1>类属:<大学教师>姓名:李殷颖年龄:33性别:男学历:博士职称:副教授部门:计算机系计算机应用教研室住址:<住址-1>工资:<工资-1>用框架表示方法的步骤框架是一种描述所论对象属性并反映相关各对象间的各种关系的数据结构,可以将它视做知识的单位。对于要被表达的知识,其中可能包含着许多对象,对象之间有着各种各样的联系,将这些有关系的对象的框架联结起来便形成了要被表达知识的框架系统。用框架表示方法的步骤框架表示知识的步骤:Step1:分析待表达知识中的对象及其属性,对框架中的槽进行合理设置。Step2:对各对象间的各种联系进行考察,使用一些常用的名称或根据具体需要定义一些表达联系的槽名,来描述上、下层框架间的联系。Step3:对各层对象的“槽”及“侧面”进行合理的组织安排,避免信息描述的重复。2.框架的推理框架比较适合表达具有结构性的知识,像概念、对象等。框架表示法的特点,即结构性、自然性和继承性。基于框架的推理方法就是继承。继承是指子框架可以拥有父框架的槽及其槽值。这样就建立起了复杂知识的框架网络,下层框架可以继承上层框架的槽值,可以进行补充和修改,保证了知识的一直性。实现继承的操作有匹配、搜索和填槽。具体来讲,求解某个问题时,先把问题用一个框架表示,然后到知识库中去查已知的框架进行匹配。如果匹配成功,下层框架可以继承上层框架的槽值。2.框架的推理Step1:把待求解问题用一个框架表示出来,其中有的槽是空的,表示待求解的问题,称做未知处。Step2:与知识库中已有的框架进行匹配。这种匹配是通过对相应的槽的槽名及槽值进行逐个比较实现的。比较的结果可能不是完全匹配,如果两个框架的各对应槽没有矛盾或满足预先规定的某些条件,就认为这两个框架可以匹配。找出一个或几个可匹配的预选框架作为初步假设,在初步假设的引导下收集进一步的信息。Step3:使用一种评价方法对预选框架进行评价,以便决定是否接受它。Step4:若可接受,则与问题框架的未知处相匹配的事实就是问题的解。2.框架的推理例如,某教师的有关档案已在教师知识库中,现在来查她的外语水平,可编写下面的框架予以匹配。框架名:<教师-1>继承:大学教师姓名:李殷颖年龄:33性别:女学历:博士职称:副教授部门;计算机系计算机应用教研室外语水平:住址:<住址-1>工资:<工资-1>

在例中原框架子框架无外语水平槽,但是它的父框架“大学教师”中有外语水平槽,还有“语种”侧面和“水平”侧面以及缺省值.通过继承,可以知道教师-1学的是英语,水平良好。3.框架表示法的应用Bobrow(1977)研究了基于框架方法的知识表达语言KRL(KnowledgeRepresentationLanguage)。Bobrow等(1977)研制的通用理解系统GUS(GeneralUnderstandingSystem),是用框架方法的“人·机”对话系统。Stcfik(1979,1980)研究用画面表达知识的多层规划系统。Grelner(1980)研究了知识表示语言的语言RLL(RepresentationLanguageLanguage)。历史本体源自哲学之中“形而上学”的分支。关注现实的本质,即存在的本质。作为哲学的一个基本分支,分析存在的各种类型或模式,尤其是共相与殊相之间、内在特性与外在特性之间、以及本质与存在之间的关系。人工智能领域认为知识的

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论