资源描述：
《周雄辉人工智能总结课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第一章人工智能概述主要内容人工智能概念人工智能的发展历史及学派人工智能的应用领域第二章确定性知识系统的表示与推理主要内容谓词逻辑表示法产生式系统的推理语义网络表示法自然演绎推理谓词逻辑表示的经典例子机器人移盒子(1/5)abc例机器人移盒子解：分别定义描述状态和动作的谓词描述状态的谓词：TABLE(x)：x是桌子EMPTY(y)：y手中是空的AT(y,z)：y在z处HOLDS(y,w)：y拿着wON(w,x)：w在x桌面上变元的个体域：x的个体域是{a,b}y的个体域是{robot}z的个体域是{a,b,c}w的个体域是{box}5问题的初始状态：AT(robot,c)EM
2、PTY(robot)ON(box,a)TABLE(a)TABLE(b)问题的目标状态：AT(robot,c)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)机器人行动的目标是把问题的初始状态转换为目标状态，而要实现问题状态的转换需要完成一系列的操作。描述操作的谓词条件部分：用来说明执行该操作必须具备的先决条件，用谓词公式来表示。动作部分：给出了该操作对问题状态的改变情况，通过在执行该操作前的问题状态中删去和增加相应的谓词来实现。这些操作包括：Goto(x,y)：从x处走到y处。Pickup(x)：在x处拿起盒子。Setdown(y)：在x处放下盒子
3、。谓词逻辑表示的经典例子机器人移盒子(2/5)6各操作的条件和动作：Goto(x，y)条件：AT(robot，x)动作：删除表：AT(robot，x)添加表：AT(robot，y)Pickup(x)条件：ON(box，x)，TABLE(x)，AT(robot，x)，EMPTY(robot)动作：删除表：EMPTY(robot)，ON(box，x)添加表：HOLDS(robot，box)Setdown(x)条件：AT(robot，x)，TABLE(x)，HOLDS(robot，box)动作：删除表：HOLDS(robot，box)添加表：EMPTY(robot)，ON(box
4、，x)各操作的执行方法：机器人每执行一操作前，都要检查该操作的先决条件是否可以满足。如果满足，就执行相应的操作；否则再检查下一个操作。谓词逻辑表示的经典例子 机器人移盒子(3/5)7这个机器人行动规划问题的求解过程如下：状态1(初始状态)AT(robot,c)开始EMPTY(robot)=========>ON(box,a)TABLE(a)TABLE(b)状态2AT(robot,a)Goto(c,a)EMPTY(robot)==========>ON(box,a)TABLE(a)TABLE(b)状态3AT(robot,a)Pickup(a)HOLDS(robot,box)=
5、========>TABLE(a)TABLE(b)谓词逻辑表示的经典例子机器人移盒子(4/5)8状态4AT(robot,b)Goto(a,b)HOLDS(robot,box)==========>TABLE(a)TABLE(b)状态5AT(robot,b)Setdown(b)EMPTY(robot)==========>ON(box,b)TABLE(a)TABLE(b)状态6(目标状态)AT(robot,c)Goto(b,c)EMPTY(robot)=========>ON(box,b)TABLE(a)TABLE(b)谓词逻辑表示的经典例子机器人移盒子(5/5)9产生式系统
6、简例基于规则的动物识别系统(1/4)例一个用于动物识别的产生式系统该系统可以识别老虎、金钱豹、斑马、长颈鹿、企鹅、信天翁这6种动物。其规则库包含如下15条规则：r1IF动物有毛发THEN动物是哺乳动物r2IF动物有奶THEN动物是哺乳动物r3IF动物有羽毛THEN动物是鸟r4IF动物会飞AND动物会下蛋THEN动物是鸟r5IF动物吃肉THEN动物是食肉动物r6IF动物有犬齿AND动物有爪AND该物眼盯前方THEN动物是食肉动物r7IF动物是哺乳动物AND动物有蹄THEN动物是有蹄类动物r8IF动物是哺乳动物AND动物是嚼反刍动物THEN动物是有蹄类动物r9IF动物是哺乳动物
7、AND动物是食肉动物AND动物是黄褐色AND动物身上有暗斑点THEN动物是金钱豹10产生式系统简例基于规则的动物识别系统(2/4)r10IF动物是哺乳动物AND动物是食肉动物AND动物是黄褐色AND动物身上有黑色条纹THEN动物是虎r11IF动物是有蹄类动物AND动物有长脖子AND动物有长腿AND动物身上有暗斑点THEN动物是长颈鹿r12IF动物是有蹄类动物AND动物身上有黑色条纹THEN动物是斑马r13IF动物是鸟AND动物有长脖子AND动物有长腿AND动物不会飞AND动物有黑白二色THEN动物是鸵鸟r14IF动
