第二章 知识表示方法(1)

合集下载

知识表示方法

知识表示方法

知识的特性

相对正确性:所有的知识只在一定的范围内有 效性; 不确定性:现实生活中的信息具有模糊性; 可表示性:可以将知识数据化用于存储和处理; 可利用性:知识是可以利用的;
知识的分类
以知识的作用范围划分:常识性知识和领域性 知识; 以知识的作用及表示来划分:事实性知识;规 则性知识;控制性知识;元知识; 以知识的确定性划分:确定性知识和不确定性 知识; 按照人类的思维及认识方法划分:逻辑性知识 和形象性知识;

一阶谓词逻辑表示举例

谓词比命题更加细致地刻画知识:
– 表达能力强
• 如:北京是个城市, City(x) 把城市这个概念分割出来。把“城市” 与“北京” 两个概念连接在一起,而且说明“北京”是“城市” 的子概念。
– 谓词可以精确的表示逻辑结果
• 如:City(间建立联系:使用联结词,进 而组成公式表示事实性知识和规则性知识:
过程描述
AT(robot,c) EMPTY(robot) GOTO(x,y) TABLE(a) {c/x a/y} TABLE(b) ON(box,a) AT(robot,a) AT(robot,a) EMPTY(robot) PICK_UP(x) TABLE(a) TABLE(a) TABLE(b) {a/x} TABLE(b) HOLDS(robot,box) ON(box,a)
过程描述
AT(monkey,a) GOTO(x,y) EMPTY(monkey) BOX(c) {a/x c/y} AT(banana,b)
GOTO(x,y) {c/x b/y}
AT(monkey,c) PICK_UP(x) AT(monkey,c) EMPTY(monkey) HOLDS(monkey,box) BOX(c) {c/x} AT(banana,b) AT(banana,b) AT(monkey,b) AT(monkey,b) SET_DOWN(x) AT(box,b) HOLDS(monkey,box) EMPTY(monkey) AT(banana,b) {b/x} AT(banana,b) AT(monkey,b) AT(box,b) EMPTY(monkey) ON(monkey,bo x)

人工智能第二章知识表示方法

人工智能第二章知识表示方法

框架的构建与实现
80%
确定框架的结构
根据实际需求和领域知识,确定 框架的槽和属性,以及它们之间 的关系。
100%
填充框架的实例
根据实际数据和信息,为框架的 各个槽和属性填充具体的实例值 。
80%
实现框架的推理
通过逻辑推理和规则匹配,实现 基于框架的知识推理和应用。
框架表示法的应用场景
自然语言处理
模块化
面向对象的知识表示方法可以将 知识划分为独立的模块,方便管 理和维护。
面向对象表示法的优缺点
• 可扩展性:面向对象的知识表示方法可以通过继承和多态实现知识的扩展和复用。
面向对象表示法的优缺点
复杂性
面向对象的知识表示方法需要建立复 杂的类和对象关系,可能导致知识表 示的复杂性增加。
冗余性
面向对象的知识表示方法可能导致知 识表示的冗余,尤其是在处理不相关 或弱相关的事实时。
人工智能第二章知识表示方法

CONTENCT

• 知识表示方法概述 • 逻辑表示法 • 语义网络表示法 • 框架表示法 • 面向对象的知识表示法
01
知识表示方法概述
知识表示的定义
知识表示是人工智能领域中用于描述和表示知识的符号系统。它 是一种将知识编码成计算机可理解的形式,以便进行推理、学习 、解释和利用的过程。
知识表示方法通常包括概念、关系、规则、框架等元素,用于描 述现实世界中的实体、事件和状态。
知识表示的重要性
知识表示是人工智能的核心问题之一,它决定了知 识的可理解性、可利用性和可扩展性。
良好的知识表示方法能够提高知识的精度、可靠性 和一致性,有助于提高人工智能系统的智能水平和 应用效果。
知识表示方法的发展对于推动人工智能技术的进步 和应用领域的拓展具有重要意义。

第二章 知识表示方法

第二章  知识表示方法

第二章知识表示方法教学内容智能系统问题求解所采用的几种主要的知识表示方法(状态空间法.问题归约法.谓词逻辑法.语义网络法)以及基于不同表示法的问题求解方法。

教学重点1. 状态空间表示法中问题的状态描述.改变状态的操作和问题目标状态的搜索;2. 问题规约的一般步骤.规约的与或图表示;3. 谓词逻辑的语法和语义.量词的辖域.谓词公式的置换与合一;4. 语义网络的构成.语义基元的选择.语义网络的推理等。

教学难点状态描述与状态空间图示.问题归约机制.置换与合一。

教学方法课堂教学为主,同时结合《离散数学》等已学的内容实时提问.收集学生学习情况,充分利用网络课程中的多媒体素材来表示抽象概念。

教学要求1. 重点掌握用状态空间法.问题归约法.谓词逻辑法.语义网络法来描述问题.解决问题;2. 掌握这些表示方法之间的差别;并对其它表示方法有一般了解2.1 状态空间法教学内容本节讨论基于解答空间的问题表示和求解方法,即状态空间法,它以状态和操作符为基础来表示和求解问题。

教学重点问题的状态描述,操作符。

教学难点选择一个好的状态描述与状态空间表示方案。

教学方法以课堂教学为主;充分利用网络课程中的多媒体素材来阐述抽象概念。

教学要求重点掌握对某个问题的状态空间描述,学会组织状态空间图.用搜索图来求解问题。

2.1.1 问题状态描述1.基本概念状态(state)它是为描述某类不同事物间的差别而引入的一组最少变量q0,q1,…,qn的有序集合,其矢量形式如下:Q=[q0,q1,…,qn]' (2.1)式中每个元素qi(i=0,1,…,n)为集合的分量,称为状态变量。

给定每个分量的一组值就得到一个具体的状态,如Qk=[q0k,q1k,…,qnk]' (2.2)操作符(operator)称使问题从一种状态变化到另一种状态的手段为操作符或算符。

状态空间(state space)它是表示一个问题全部可能状态及其关系的图,它包含所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G。

第2章 知识表示方法

第2章 知识表示方法

CISIC
6
状态空间表示概念详释
Original State

Middle State

Goal State
状态空间法:从某个初始状态开始,每次加一个 操作符,递增地建立起操作符的实验序列,直至 达到目标状态止。 例如下棋、迷宫及各种游戏。
CISIC
7
3 Puzzle Problem(3数码难问题)
CISIC
34
示例—分子结构识别问题 (DENDRAL系统)
把分子式重写为原子数较少的分子式和原子间结 合关系的混合结构,例如:
H
C5H12
C2H5
C
H
C2H5
CISIC
35
将混合结构的识别再分解为子识别问题,直至不出现分 子式为至,每个子问题只是单一分子式或原子间结合关系 的表示。 H
C2H5 H C
V=c,climbbox (c,1,c,0) grasp
(c,1,c,1) 目标状态
goto(U)
(U,0,V,0)
goto(U)
初始状态变换为目标状态的操作序列为: {goto(b), pushbox(c), climbbox, grasp} 猴子和香蕉问题的状态空间图
CISIC
17
猴子和香蕉问题自动演示:
climbbox :猴子爬上箱顶
(W,0,W,z)
climbbox
(W,1,W,z)
应用算符climbbox的先决条件是什么?
CISIC
15
初始状态 (a,0,b,0)
goto(U)
pushbox(V) U=b
goto(U) (U,0,b,0)
U=b,climbbox (b,1,b,0) U=V

第2章(知识表示方法1-状态空间法)

第2章(知识表示方法1-状态空间法)

)
nk
引入代价的概念后,我们的问题可能是: 寻找初始节点到目标节点之间的代价最小的 路径 对应的原始问题:寻找从初始状态到目标状 态的操作符代价之和最小的操作符序列
2015-01-08
利用图论的技术,我们要解决两个问题: 第一、找出初始节点到目标节点的一条路径。对应 于寻找初始状态到目标状态的操作符序列 第二、找出初始节点到目标节点的一条代价最小的 路径。对应于寻找将初始状态变换到目标状态所用 操作符代价之和最小的操作符序列
2015-01-08
(b, 1, b, 0) a c b 部分状态空间图
climbbox
目标状态
例5:四皇后问题
状态:任意一种合法的摆法 操作符:摆下一个皇后,先摆第一行,每一
行从左开始摆,并满足皇后不成线的规则 Q Q
2015-01-08
思考题: 小结用状态空间法表示八数码问题的讲课内容, 考虑如何在计算机上加以实现?
ni
c (ni , nj) 表示从节点 ni 指向节点 nj (相邻)的 那一段弧的代价
2015-01-08
nj
(不相邻的)两个节点 间路径的代价等于连接 该路径的各个节点的所 有弧线的代价之和
n0 C(n0,n1)
C(nk-1,nk)
∑ c(n , n
i =0 i
2015-01-08
k −1
i +1
2015-01-08
例:描述在坐的同学 根据要解决的问题、从 变量可以有 年级 班级 姓名 性别 学号 ……
2015-01-08
中选择最少的一组变量 例: 9 区分哪一个班:年级、 班级 9 区分哪一位同学:姓 名、性别、学号
矢量形式: Q=[ q0, q1, …, qn ]

AI(知识表示1)

AI(知识表示1)
例3:凡是大学生都学过计算机,王明是大学 生,试推理:王明学过计算机。 解:令S(x):x是大学生, C(x):x学过计算机,a: 王明 上述命题可用谓词公式表示为: ∀x(S(x) →C(x)) [前提1] S(a) [前提2]
表示方法 —逻辑表示法 —逻辑表示法
形式推理过程: (1) ∀x(S(x) →C(x)) (2) S(a) →C(a) (3) S(a) (4) C(a) [前提1] [全称固化] [前提2] [(2)、(3)及假言推理]
表示方法 —逻辑表示法
(5) 凡是喜欢编程序的人都喜欢计算机。
解:定义谓词 P(x):x是人 L(x, y):x喜欢y 将知识用谓词表示为:
(∀x) (P(x)∧L(x,pragramming)→L(x, computer))
表示方法 —逻辑表示法
参考答案: (1) 有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢
梅花又喜欢菊花 。
解:定义谓词 P(x):x是人 L(x,y):x喜欢y 其中,y的个体域是{梅花,菊花}。 将知识用谓词表示为: (∃x )(P(x)→L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(x, 菊花))
结果为C(a) 推理过程在第3章中介绍。
表示方法 —逻辑表示法 —逻辑表示法
思考:用谓词表达式写出下列命题:
1、并非每个实数都是有理数 2、没有不犯错误的人 3、尽管有人聪明,但未必所有人都聪明 4、小李比他父亲长得高 5、自然数都是大于零的整数
表示方法 —逻辑表示法 —逻辑表示法
参考答案:
1、 2、 3、 4、 5、 ¬(∀x)(R(x) →Q(x)) ¬(∃x(M(x) ∧ ¬F(x))) ∃x(M(x) ∧ P(x)) ∧ ¬(∀x(M(x) →P(x))) Higher(li,father(li)) ∀x(N(x) →GZ(x) ∧ I(x))

【2024版】人工智能及其应用蔡自兴)课后答案

【2024版】人工智能及其应用蔡自兴)课后答案

可编辑修改精选全文完整版人工智能及其应用(蔡自兴)课后答案第二章知识表示方法2-1 状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么?它们有何本质上的联系及异同点?答:状态空间法:基于解答空间的问题表示和求解方法,它是以状态和算符为基础来表示和求解问题的。

一般用状态空间法来表示下述方法:从某个初始状态开始,每次加一个操作符,递增的建立起操作符的试验序列,直到达到目标状态为止。

问题规约法:已知问题的描述,通过一系列变换把此问题最终变成一个子问题集合:这些子问题的解可以直接得到,从而解决了初始问题。

问题规约的实质:从目标出发逆向推理,建立子问题以及子问题的子问题,直至最后把出示问题规约为一个平凡的本原问题集合。

谓词逻辑法:采用谓词合式公式和一阶谓词算法。

要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演莱证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的。

语义网络法:是一种结构化表示方法,它节点和弧线或链组成。

节点用于表示物体、概念和状态,弧线用于表示节点间的关系。

语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络。

语义网络可用于表示多元关系,扩展后可以表示更复杂的问题2-2 设有3个传教士和3个野人来到河边,打算乘一只船从右岸渡到左岸去。

该船的负载能力为两人。

在任何时候,如果野人人数超过传教士人数,那么野人就会把传教士吃掉。

他们怎样才能用这条船安全地把所有人都渡过河去?用Si(nC, nY) 表示第i次渡河后,河对岸的状态,nC表示传教士的数目,nY表示野人的数目,于总人数的确定的,河对岸的状态确定了,河这边的状态也即确定了。

考虑到题目的限制条件,要同时保证,河两岸的传教士数目不少于野人数目,故在整个渡河的过程中,允许出现的状态为以下3种情况: 1. nC=0 2. nC=33. nC=nY>=0 (当nC不等于0或3)用di(dC, dY)表示渡河过程中,对岸状态的变化,dC表示,第i次渡河后,对岸传教士数目的变化,dY表示,第i次渡河后,对岸野人数目的变化。

人工智能2第二章知识表示方法

人工智能2第二章知识表示方法

2.状态空间表示详释
我们先用数码难题(puzzle problem)来 说明状态空间表示的概念。由15个编有1至 15并放在4×4方格棋盘上的可走动的棋子 组成。
11 9 4 15
13
12
7586
13 2 10 14
初试棋局
1 2 34 5 6 78 9 10 11 12 13 14 15
目标棋局
是有关知识的知识,是知识库中的高层知识。 包括怎样使用规则、解释规则、校验规则、解释 程序结构等知识。元知识与控制知识是有重迭的, 对一个大的程序来说,以元知识或说元规则形式 体现控制知识更为方便,因为元知识存于知识库 中,而控制知识常与程序结合在一起出现,从而 不容易修改。
知识表示是研究用机器表示知识的可行

求解过程实际上是一个搜索过程。
那么如果进行搜索呢?为了进行搜索,就必须
用某种形式把问题表示出来,其表示是否适当,将
直接影响到搜索效率。
状态空间法就是用来表示问题及其搜索过程的 一种方法。它是人工智能中最基本的形式化方法, 用“状态”和“算符”来表示问题。
状态空间法三要素
(1) 状态(state):表示问题解法中每一步问题状 况的数据结构;
·显式表示:各节点及其具有代价的弧线由 一张 表明确给出。此表可能列出该图中的每 一节点、它的后继节点以及连接弧线的代价。
Q [q0,q1,...qn ]T
式中每个元素qi(i=0,1,…,n)为集合的量,称 为状态变量。
·算符:使问题从一种状态变化为另一种状态的手 段称为操作符或算符。操作符可为走步、过程、规 则、数学算子、运算符号或逻辑符号等。
· 问题的状态空间(state space):是一个表示该问题 全部可能状态及其关系的图,它包含三种说明的 集合,即所有可能的问题初始状态集合S、操作符 集合F以及目标状态集合G。可把状态空间记为三 元状态(S,F,G)。

人工智能_第2章知识表示方法(1)

人工智能_第2章知识表示方法(1)
6
框架间的继承
◆框架的继承性,就是当子节点的某些槽值或侧面值没有被 直接记录时,可以从其父节点继承这些值。 继承性是框架表示法的一个重要特性,它不仅可以在两个框 架之间实现继承关系,而且还可以通过两两的继承关系,从 最低层追搠到最高层,使高层的信息逐层向低层传递。 例如,椅子一般都有4条腿,如果一把具体的椅子没有说明它 有几条腿,则可以通过一般椅子的特性,得出它也有4条腿。 如果一个在上层框架中描述的属性在下层框架需作进一步说 明时,则需要在下层框架中再次给出描述。 如果在下层框架中对某些槽没有作特别的声明,那么它将自 动继承上层框架相应槽的槽值。
缺省:男
框架名:<棋手> ISA: <运动员> 脑力:特好
12
标准槽名
2) AKO槽:用于具体的指出事物间的类属关系。其直观含义 是“是一种”,下层框架可以继承其上层框架所描述的属性及值。 对上面的例子,可将棋手框架中的ISA改为AKO。 3)Subclass槽:用于指出子类与类之间的类属关系。 上例中,由于“棋手”是“运动员的一个子类,故可将ISA该为 Subclass。 4) Instance槽:用来建立AKO槽的逆关系。 用它作为某框架的槽时,可用来指出它的下层框架是哪些。 【例】框架名:<运动员>
缺省:教师 开始工作时间:单位(年,月) 截止工作时间:单位(年,月)
缺省:现在 离退休状况:范围(离休,退休)
9
框架络-例
教师框架为: 框架名:<教师> 继承:<教职工> 部门:单位(系,教研室) 语种:范围(英语,法语,日语,
德语,俄语)
缺省:英语 外语水平:范围(优,良, 中,差)
缺省:良 职称:范围(教授,副教授,讲师,

知识表示方法

知识表示方法
❖ 状态空间法得三要素
(1) 状态(state):描述某类不同事物间得差别而引入得一组最 少变量 q0,q1,…,qn得有序集合,就是表示问题解法中每一步问 题状况得数据结构。有序集合中每个元素qi(i= 0,1,、、、,n) 为集合得分量,称为状态变量。给定每个分量得一组值就得 到一个具体得状态。
状态空间法
❖ 状态空间法举例: ✓ 猴子与香蕉问题:在一个房间内有一只猴子、一个箱子 与一束香蕉。香蕉挂在天花板下方,但猴子得高度不足 以碰到它。那么这只猴子怎样才能摘到香蕉呢?
猴子与香蕉问题
❖ 解题过程
✓ 用一个四元表列(W,x,Y,z)来表示这个问题状态
W:猴子得水平位置; x: 当猴子在箱子顶上时取1;否则取0; Y: 箱子得水平位置; z: 当猴子摘到香蕉时取1;否则取0。 初始状态为(a,0,b,0) ,目标状态为(c,1,c,1)
第二章:知识表示方法
1.状态空间法 2.问题归约法 3.谓词逻辑法 4.语义网络法 5.其她方法
内容提要
第二章:知识表示方法
1.状态空间法 2.问题归约法 3.谓词逻辑法 4.语义网络法 5.其她方法
状态空间法
❖ 人工智能虽然有多个研究领域,而且每个研究领域 又各有自己得规律与特点,都可抽象为一个“问题 求解”得过程。问题求解过程实际上就是一个搜 索过程。
(2) 算符(operator):使问题从一种状态变化为另一种状态得 手段称为操作符或算符。
(3) 状态空间方法:就是一个表示该问题全部可能状态及其关 系得图,它包含三种说明得集合,即三元状态(S,F,G)。S:所有 可能得问题初始状态集合;F:操作迷宫及各种游戏。
猴子与香蕉问题
❖ 状态空间图
goto(U)

第二章知识表示方法

第二章知识表示方法
第二章 知识表示方法
2.1 状态空间法 2.2 问题归约法 2.3 谓词逻辑法 2.4 语义网络法 2.5 其他方法 2.6 小结
知识表示的基本概念
什么是知识?(专家看法)
Feigenbaum 认 为 知 识 是 经 过 削 减 、 塑 造 、 解 释 和 转换的信息。简单地说,知识是经过加工的信息。
9
2.1 状态空间法
2. 状态空间表示概念详释
Original State
Middle State
Goal State
例如下棋、迷宫及 puzzle problem)
23 1
23 1
2 13
2.1 状态空间法
2 13
2
11
3
1
初始棋局
12
3
目标棋局
2.1.2 状态图示法 图论术语
算符:使问题从一种状态变化为另一种状态的手段称为 操作符或算符。
算符可分为走步、过程、规则、数学算子、运算符号、
逻辑符号等。
8
状态空间:是一个表示该问题全部可能状态及 其关系的图. 由三部分构成:问题的所有可能初始状态构成 的集合S;算符集合F;目标状态集合G。
问题的解 状态空间的问题求解就是从问题的初始状态集 S出发,经过一系列的算符运算,到达目标状 态。 由初始状态到目标状态所用算符的序列就构成 了问题的一个解。
14
香蕉挂在天花板下方,但猴子的高度不足以碰到它。那么这只猴子怎样才能摘到 香蕉呢?上图表示出猴子、香蕉和箱子在房间内的相对位置。
解题过程
2.1 状态空间法
用一个四元表列(W,x,Y,z)来表示这个问题状态.
W-猴子的水平位置 x-当猴子在箱子顶上时取x=1;否则取x=0 Y-箱子的水平位置 z-当猴子摘到香蕉时取z=1;否则取z=0

人工智能习题作业知识表示方法I习题答案

人工智能习题作业知识表示方法I习题答案

⼈⼯智能习题作业知识表⽰⽅法I习题答案第⼆章知识表⽰⽅法课后习题及答案⼀、选择题:1.下列说法正确的是:( C )(A)置换可以交换(B)公式集总可以合⼀(C)语义⽹络是知识的图解表⽰(D)“时间”是“春天”的实例2.在表⽰和求解⽐较复杂的问题时,往往采⽤哪些表⽰⽅法?( ABCD )(A)状态空间法 (B)框架表⽰法(C)语义⽹络法 (D)谓词逻辑法3.语义⽹络表⽰法⼀般以下哪种继承是不存在的?( D )(A)值继承 (B)“如果需要”继承(C)“默认”继承 (D)左右继承4.下列哪些不属于谓词逻辑的基本组成部分?( D )(A)谓词符号 (B)变量符号(C)函数符号 (D)操作符5. 假设P为真,Q为假,下列公式为真的是( A )(A) P∨Q (B) P∧Q (C) P=>Q (D) ~P6.下列⼈物哪些提出过语义⽹络⽅法?( AC )(A)Simmons (B)Brooks (C)Slocum (D)Winner7.下列知识表⽰⽅法属于陈述式知识表达⽅法的是。

( ABC )(A)语义⽹络 (B)框架 (C)剧本 (D)过程8. 下列关于知识的说法正确的是。

( ABC )(A)知识是经过削减、塑造、解释和转换的信息(B)知识是经过加⼯的信息(C)知识是事实、信念和启发式规则(D)知识是凭空想象的9.雪是⽩⾊的,这句话是( A )(A)事实 (B)规则 (C)控制 (D)元知识10.下列计算机语⾔⼀般属于基于对象的知识表⽰的⼈⼯智能语⾔的是( C )(A)Lisp (B)Prolog (C)Smalltalk (D)Visual Basic11.下列等价关系不成⽴的是( D )(A)~(~P)等价于P(B)PVQ等价于~P=>Q(C)~(P∨Q)等价于~P∧~Q(D)P=>Q等价于~P=>~Q12. 操作符可以为_____. ( ABCD )A.⾛步B.过程C.规则D.数学算⼦13.在梵塔问题归约图中,某⼦问题属于本原问题,那么此⼦问题的解应该包含_____步移动. ( A )A.1B.2C.3D.414.在与或图中,只要解决某个⼦问题就可解决其⽗辈问题的节点集合是指____ _. ( B )A.终叶节点B.或节点C.与节点D.后继节点15.下列节点中⼀定是不可解节点的是_____. ( D )A.没有后裔的节点B.终叶节点C.后继节点D.此节点是⾮终叶节点,如果它有或后继节点,那么其全部后裔都是不可解的16. 谓词演算的基本积⽊块是_____. ( C )A.谓词符号B.合适公式C.原⼦公式D.量词17.语义⽹络中的推理过程主要有 ( CD )A.假元推理B.合⼀C.继承D.匹配18.在框架表⽰法中,为了描述更复杂更⼴泛的事件,可把框架发展为(B).A.专家系统B.框架系统C.槽D.语义⽹络19.⾯向对象⽅法和技术是⼀种( )的⽅法. ( C )A.归纳B.既有演绎⼜有归纳C.演绎D.构造20. 问题归约的实质是:从⽬标(要解决的问题)出发逆向推理,建⽴⼦问题以及⼦问题的⼦问题,直⾄最后把初始问题归约为⼀个平凡的( )集合. ( B )A.初始问题B.本原问题C.解D.算法⼆、填空题:1.状态空间的三元状态是指_初始状态集合 _、操作符集合_和_⽬标状态集合 _。

人工智能课件第二章 知识表示(修改)

人工智能课件第二章 知识表示(修改)

19
• 接上一页
TABLE(a)
TABLE(a)
SETWODN(b) TABLE(b) GOTO( b,c) TABLE(b)
=======>状态5 ON(box,b) =======>状态6 ON(box,b)
EMPTY(robot)
EMPTY(robot)
AT(robot , a)
AT(robot ,b)
则称P是一个n元谓词,记为P(x1,x2,…,xn),其中, x1,x2,…,xn为个体。
7
定义2.2 设D是个体域,f:Dn→D是一个映射,则称 f是D上的一个n元函数,记作f(x1,x2,…,xn) 其中,x1,x2,…,xn为个体。
• 谓词与函数的区别: 谓词是D到{T,F}的映射,函数是D到D的映射; 谓词的真值是T和F,函数的值(无真值)是D中 的元素; 谓词可独立存在,函数只能作为谓词的个体。
5
二、谓词逻辑表示法
1. 基本概念
• 命题:具有真假意义的断言称为命题。 • 命题的真值:
T:表示命题的意义为真 F:表示命题的意义为假 • 命题真值的说明: 一个命题不能同时既为真又为假 一个命题可在一定条件下为真,而在另一条件下为假
6
• 论域:由所讨论对象的全体构成的集合。 • 个体:论域中的元素。 • 谓词:在谓词逻辑中命题是用形如P(x1,x2,…,xn)的谓词
是一种“一直往前走”不回头的方式,该方式是利用问 题给定的局部知识来决定选用的规则,就像动物识别系统一 样,选取一条与综合数据库进行匹配,然后作用到综合数据 库,再选取一条新的规则进行匹配,此时在选择上不再考虑 已经用过的规则了。
动物有暗斑点,有长脖子,有长腿,有奶,有蹄
• 该例子的部分推理网络如下:

人工智能[第二章知识表示方法]山东大学期末考试知识点复习

人工智能[第二章知识表示方法]山东大学期末考试知识点复习
(3)谓词逻辑表示知识的方法 用谓词公式表示知识的步骤: ①定义谓词及个体,确定每个谓词及个体的确切含义。 ②根据所要表达的事物或概念,为每个谓词中的变元赋以特定的值。 ③根据所要表达的知识的语义,用适当的连接符号将各个谓词连接起来,形 成谓词公式。 1.3 产生式表示法 1.产生式的基本形式 产生式通常用于表示具有因果关系的知识,其基本形式是
山东大学 期末考试知识点复习
蕴涵式是一个谓词公式,本身有真值,而产生式不是谓词公式,没有真值。 3.产生式系统 产生式系统一般由 3 个基本部分组成:规则库、综合数据库和推理机。它们 之间的关系如图 2.1 所示。
(1)规则库 规则库就是用于描述某领域内知识的产生式集合,是 图 2.1 产生式系 统的基本结构某领域知识(规则)的存储器,其中的规则是以产生式形式表示的。 规则库中包含着将问题从初始状态转换成目标状态(或解状态)的那些变换规则。 规则库是产生系统的核心,是进行问题求解的基础,其中知识的完整性和一致性、 知识表达的准确性和灵活性以及知识组织的合理性,都将对产生式系统的性能和 运行效率产生直接影响。 (2)综合数据库 综合数据库又称为事实库,用于存放输入的事实、外部数据库输入的事实以 及中间结果(事实)和最后结果的工作区。当规则库中的某条产生式的前提可与综 合数据库中的某些已知事实匹配时,该产生式就被激活,并把用它推出的结论放 人综合数据库中,作为后面推理的已知事实。显然,综合数据库的内容是在不断 变化的,是动态的。 (3)推理机 推理机是一个或一组程序,用来控制和协调规则库与综合数据库的运行,包 含了推理方式和控制策略。控制策略的作用就是确定选用什么规则或如何应用规 则。通常从选择规则到执行操作分 3 步完成:匹配、冲突解决和操作。 ①匹配。匹配就是将当前综合数据库中的事实与规则中的条件进行比较,如 果相匹配,则这一规则称为匹配规则。因为可能同时有几条规则的前提条件与事
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第二章知识表示方法人类的智能活动主要是获得并运用知识。

知识是智能的基础,为了使计算机具有智能,能模拟人类的智能行为,就必须使它具有知识。

但人类的知识需要用适当的模式表示出来,才能存储到计算机中并能够被运用第一节知识与知识表示的概念●什么是知识数据与信息➢数据和信息这两个概念是不可以分开的,它们是有关联的。

➢数据:用一组符号及其组合表示的信息称为数据,泛指对客观事物的数量、属性、位置及其相互关系的抽象表示。

例:27.6 53 ABCD 黎明➢数据和信息之间的关系⏹数据是信息的载体和表示,信息是数据在特定场合下的具体含义,即信息是数据的语义。

⏹如:6个人(6是个数据,人是一种信息) 6本书(6是个数据,书是一种信息)⏹对同一个数据,它在某一场合下可能表示这样一个信息,但在另一场合下却表示另一个信息。

知识➢知识:是把有关信息关联在一起所形成的信息结构称为知识。

⏹知识是人们在长期的生活及社会实践中、科学研究及实验中积累起来的对客观世界的认识与经验,人们把实践中获得的信息关联在一起,就获得了知识。

信息之间有多种关联形式,最常见的且便于计算机利用的一种表达形式为:”如果……,那么……” 或”如果……,则……”,它反映了信息间的某种因果关系。

例如把“大雁向南飞”与“冬天就要来临了”这两个信息关联在一起,就得到了如下一条知识:如果大雁向南飞,则冬天就要来临了。

➢不同事物或者相同事物间的不同关系形成了不同的知识。

例如,“雪是白色的”是一条知识,它反映了“雪”与“颜色”之间的一种关系。

又如“如果头痛且流涕,则有可能患了感冒”是一条知识,它反映了“头痛且流涕”与“可能患了感冒”之间的一种因果关系。

知识的特性1、相对正确性知识是否正确是有前提条件的如:1+1=2,但是它是在十进制前提下才是正确的2、不确定性⏹例如:甲有一头秀发,乙是两鬓如霜。

您认为甲一定是青年人,乙就是老年人吗?不能完全确定,因为相反的事例是很多的。

比如:当年的白毛女并不是老人,而现在的老人有一头黑发并不足奇。

⏹造成知识具有不确定性的原因有哪些:➢由随机性引起的不确定性, (也就是说,这件事是随机发生的,比如说,抛硬币,是正面朝上还是反面朝上,不确定。

随机事件只有发生的时候我们才知道。

)➢由模糊概念、模糊关系所形成的知识是不确定的。

(知识是有关信息关联在一起形成的信息结构,“信息”与“关联”是构成知识的两个要素。

由于现实世界的复杂性,信息可能是精确的,也可能是不精确的、模糊的;关联可能是确定的,也可能是不确定的。

比如说:人的个子高与个子矮,分界线是模糊的;再比如:如果张三跑得较快,那么他的跑步成绩就比较好,这里的“比较”、“成绩较好”都是模糊的)➢由不完全性引起的不确定性。

(就是说,有些事我们还不是很清楚,所以不能确定。

如:火星上没有水和生命其实是正确的,但我们对火星了解的不完全造成了人类对有关火星知识的不确定性)➢由经验性引起的不确定性。

(在人工智能的重要研究领域专家系统中,知识都是由领域专家提供的,这种知识大都是领域专家在长期的实践及研究中积累起来的经验性知识。

尽管领域专家能够得心应手地运用这些知识,正确地解决领域内的有关问题,但若让他们精确地表述出来却是相当困难的,这是引起知识不确定性的一个原因。

另外,由于经验性自身就蕴含着不精确性及模糊性,这就形成了知识不确定性的另一个原因。

因此,在专家系统中大部分知识都具有不确定性这一特性。

比如:老马识途,齐桓公应燕国的要求,出兵攻打入侵燕国的山戎,途中迷路了,于是放出有经验的老马,跟随老马找到了出路)3、可表示性与可利用性表示:(如我们可以用语言来表达知识、用文字来表达知识、还可以用图形来描述、在计算机中还可以用神经元网络来表示知识。

)利用:用知识解决所面临的各种各样的问题。

知识的分类1、从作用范围来划分:⏹常识性知识:是人们普遍知道的知识,适用于所有领域。

⏹领域性知识:是面向某个具体领域的知识,是专业性的知识,只有相应专业的人员才能掌握并用来求解领域内的有关问题。

2、从知识的作用划分⏹事实性知识:(就是真理)用于描述领域内有关概念、事实、事物的属性及状态等。

如:糖是甜的;大同是个古城;一年有春夏秋冬四个季节。

事实性知识一般采用直接表达的形式,如用谓词公式表示等。

⏹过程性知识:是与领域相关的知识,用于指出如何处理与问题相关的信息,以求得问题的解。

一般用产生式规则、语义网络求解。

⏹控制性知识:又称为深层知识、元知识。

用已有的知识进行问题求解的知识,即关于知识的知识。

例如问题求解中的推理策略(正向推理及逆向推理);信息传播策略(如不确定性的传递算法);搜索策略(广度优先、深度优先、启发式搜索等);求解策略(求第一个解、全部解、严格解、最优解等);限制策略(规定推理的限度)等等。

3、从确定性划分:⏹确定性知识:可指出其值为真或假的知识。

⏹不确定性知识:它是不精确的、不完全的、模糊的知识。

4、从知识结构及表现形式来划分:⏹逻辑性知识:反映人类逻辑思维过程的知识,一般具有因果关系,具有难以精确描述的特点。

它们通常是基于专家的经验,以及对一些事物的直观感觉。

一阶谓词逻辑表示法、产生式表示法用来表达这种知识。

⏹形象性知识:通过事物的形象建立起来的知识称为形象性知识。

如:我说一个人,长的什么什么样,有什么特征,我怎么说,你也未必能了解,我把你领到这个人面前,说这就是我说的那个人。

你就会很形象的了解了。

就是用文字难表达,但给你看具体的事物,就很形象、逼真。

5、从抽象的、整体的观点来划分⏹知识可分为:零级知识,一级知识,二级知识⏹这种关于知识的层次划分还可以继续下去,每一级知识都对其低一层的知识有指导意义。

其中,零级知识是指问题领域内的事实、定理、方程、实验对象和操作等常识性知识及原理性知识;一级知识是指具有经验性、启发性的知识,例如经验性规则、含义模糊的建议、不确切的判断标准等;二级知识是指如何运用上述两级知识的知识。

⏹在实际应用中,通常把零级知识与一级知识统称为领域知识,而把二级以上的知识统称为元知识。

知识的表示➢所谓知识表示实际上就是对知识的一种描述,或者说是一组约定,一种计算机可以接受的用于描述知识的数据结构。

对知识进行表示的过程就是把知识编码成某种数据结构的过程。

➢知识表示方法又称为知识表示技术,其表示形式称为知识表示模式。

目前用得较多的知识表示方法主要有:一阶谓词逻辑表示法,产生式表示法,框架表示法,语义网络表示法,脚本表示法,过程表示法,Petri 网表示法,面向对象表示法。

第二节状态空间表示●问题状态描述状态空间表示法➢状态空间表示法就是用来表示问题及其搜索过程的一种方法。

➢状态空间表示法是人工智能中最基本的形式化方法,也是讨论问题求解技术的基础。

➢状态空间表示法的基础是状态和算符问题状态描述➢状态是描述某一类不同事物间的差别而引入的一组最少变量q0,q1,……,q n的有序集合⏹例如:描述在坐的同学,变量可以有年级、班级、姓名、性别、学号……根据要解决的问题,从中选择最少的一组变量,比如:区分所有在坐的同学分别在哪一个班上课(年级、班级);区分在坐的每一位同学(姓名、性别、学号)⏹矢量形式:Q=[q0,q1,…,qn],其中每个元素qi(i=0,1,2,…,n)为集合的分量,称为状态变量。

当给每一个分量以确定的值时,就得到了一个具体状态。

⏹矩阵形式:➢操作(算符)引起状态中某些分量发生变化,从而使问题由一个状态变为另一个状态。

算符可分为走步、过程、规则、数学算子、运算符号或逻辑符号等。

O = {o1, o2, …, o m}式中每个元素oj (j=0,1,…, m)称为操作算子。

⏹例如:描述在坐的同学,算符可以有入学、正常升级、毕业➢状态空间由表示一个问题的全部状态及一切可用算符构成的集合称为该问题的状态空间。

它一般由三部分构成:◆问题的所有可能初始状态构成的集合S;◆算符集合F;◆目标状态集合G。

用一个三元组表示如下:(S,F,G)状态空间的图示形式称为状态空间图。

其中,节点表示状态;有向边(弧)表示算符。

➢问题的解从问题的初始状态集S出发,经过一系列的算符运算,到达目标状态。

由初始状态到目标状态所用算符的序列就构成了问题的一个解。

●问题状态图示法状态空间可用有向图来描述➢有向图:一对节点用弧线连接起来,从一个节点指向另一个节点这种图叫做有向图➢路径:某个节点序列(ni1,ni2,…,nik)当 j = 2,3,…,k时,如果对于每一个ni,j-1都有一个后继节点ni,j存在,那么就把这个节点序列叫做从节点ni1至节点nik的长度为k的路径➢代价:用c(ni,nj)来表示从节点ni指向节点nj的那段弧线的代价。

两节点间路径的代价等于连接该路径上各节点的所有弧线代价之和当用有向图来表示状态空间法时,对应关系:➢图中的一个节点对应于某一个状态➢图中的一个有向弧对应于某一个算符➢从初始状态的某个操作符序列转化为寻找图中初始节点(对应初始状态)到目标节点(对应于目标状态)的一条路径在某些情况下,每个操作符作用、成本是不一样的,需要引入代价的概念➢引入代价后,问题就变成了寻找初始节点到目标节点之间的代价最小的路径;对应的原始问题就是寻找从初始状态到目标状态的操作符代价之和最小的操作符序列➢弧可用一个数字表示对应操作算子的代价用状态空间表示问题的步骤1)定义状态的描述形式。

2)用所定义的状态描述形式把问题的所有可能的状态都表示出来,并确定出问题的初始状态集合描述和目标状态集合描述。

3)定义一组算符,使得利用这组算符可把问题由一种状态转变为另一种状态。

利用状态空间求解问题的过程问题的求解过程是一个不断把算符作用于状态的过程。

1)首先,将适用的算符作用于初始状态,以产生新的状态;2)然后,再把一些适用的算符作用于新的状态;3)这样继续下去,直到产生的状态为目标状态为止。

4)这时,就得到了问题的一个解,这个解是从初始状态到目标状态所用算符构成的序列。

说明:⏹可能有多个算符序列都可使问题从初始状态变到目标状态,这就得到了多个解。

其中有的使用算符较少,有的较多,把使用算符最少的解称为最优解。

这里只是从解中算符的个数来评价解的优劣,评价解的优劣主要是看使用算符时所付出的代价,只有总代价最小的解才是最优解。

⏹对任何一个状态,可使用的算符可能不止一个,这样由一个状态所生成的后继状态就可能有多个。

当对这些后继状态使用算符生成更进一步的状态时,首先应对哪一个状态进行操作呢?这属于搜索策略的问题,不同的搜索策略其操作的顺序是不相同的。

●问题状态空间表示举例➢传教士和野人渡河在河的左岸有M个传教士、C个野人和一条船,传教士们想用这条船把所有人都运过河去,但有以下条件限制:(1)修道士和野人都会划船,但船每次最多只能运K个人;(2)在任何岸边野人数目都不能超过修道士,否则修道士会被野人吃掉。

相关文档
最新文档