版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、会计学1人工智能人工智能ppt1 1、重点掌握、重点掌握人工智能的几种定义人工智能的几种定义。2 2、掌握目前、掌握目前人工智能的三个主要学派人工智能的三个主要学派及及 其认知观。其认知观。3 3、一般了解人工智能的主要研究范围和、一般了解人工智能的主要研究范围和 应用领域。应用领域。第1页/共96页第2页/共96页n(3)行为主义行为主义认认为人工智能起源为人工智能起源于控制论。于控制论。第3页/共96页第4页/共96页第5页/共96页它是以状态和算符为基础来表它是以状态和算符为基础来表示和求解问题的。示和求解问题的。第6页/共96页第7页/共96页第8页/共96页第9页/共96页第10页/
2、共96页0,33,02,3f1f10,05,31,31,00,15,13,34,04,35,25,30,00,20,32,05,0f1f3f4f7f8f6f5f3f1f4f7f5f3f2f8f3f8f3f2f5f8f3f8f7f7f6f1f4f7f4f5f1f7f1f1f1f7f5f5f7f5f6f7f5f1f3f3f1f1:从:从A A瓶往瓶往B B瓶倒油,瓶倒油,把把B B瓶倒满。瓶倒满。f2f2:从:从C C瓶往瓶往B B瓶倒油,瓶倒油,把把B B瓶倒满。瓶倒满。f3f3:从:从A A瓶往瓶往C C瓶倒油,瓶倒油,把把C C瓶倒满。瓶倒满。f4f4:从:从B B瓶往瓶往C C瓶倒油,瓶倒
3、油,把把C C瓶倒满。瓶倒满。f5f5:从:从B B瓶往瓶往A A瓶倒油,瓶倒油,把把B B瓶倒空。瓶倒空。f6f6:从:从B B瓶往瓶往C C瓶倒油,瓶倒油,把把B B瓶倒空。瓶倒空。f7f7:从:从C C瓶往瓶往A A瓶倒油,瓶倒油,把把C C瓶倒空。瓶倒空。f8f8:从:从C C瓶往瓶往B B瓶倒油,瓶倒油,把把C C瓶倒空瓶倒空。第11页/共96页第12页/共96页第13页/共96页示在左岸示在左岸)。n初始状态集:初始状态集:S=(3,3,1)n目标状态集:目标状态集:G=(0,0,0)第14页/共96页n:R(0,2)n L(1,0), L(2,0), L(1,1), L(0,1)
4、, L(0,2)第15页/共96页1,1,02,2,13,1,10,2,03,0,0R(2,0)L(2,0)R(1,1)L(1,1)L(0,1)R(0,1)L(2,0)R(2,0)2,2,03,3,13,2,13,2,03,1,0L(0,2)R(0,2)R(0,1)L(0,1)L(1,0)R(1,0)L(0,1)R(0,1)L(1,1)R(1,1)L(0,2)R(0,2)1,1,10,0,00,1,00,1,10,2,1R(0,1)L(1,0)L(0,1)R(0,1)R(1,0)L(1,0)R(0,1)L(0,1)R(1,1)L(1,1)R(0,2)L(0,2)0,3,1R(0,2)L(0,2
5、)第16页/共96页第17页/共96页直至最后把初始问题归约为直至最后把初始问题归约为一个平凡的本原问题集合。一个平凡的本原问题集合。这就是问题归约的实质。这就是问题归约的实质。第18页/共96页第19页/共96页第20页/共96页个谓词连接起来,形成谓词公个谓词连接起来,形成谓词公式。式。第21页/共96页n这里涉及的个体有:张晓辉这里涉及的个体有:张晓辉(zhangxh),编程序编程序(programming), 李晓鹏李晓鹏(lixp),以及函数,以及函数father(lixp)表示李晓鹏的父亲。表示李晓鹏的父亲。第22页/共96页nHigher(lixp, father(lixp)第2
6、3页/共96页n(6)他每天下午都去打篮球。)他每天下午都去打篮球。第24页/共96页第25页/共96页第26页/共96页第27页/共96页第28页/共96页第29页/共96页第30页/共96页第31页/共96页表示节点间的关系,其上的标表示节点间的关系,其上的标注则表示被连接的两个节点间注则表示被连接的两个节点间的某种语义联系或语义关系。的某种语义联系或语义关系。第32页/共96页则下层节点对上层节点的属则下层节点对上层节点的属性具有继承性。整理同一层性具有继承性。整理同一层节点的共同属性,并抽出这节点的共同属性,并抽出这些属性,加入上层节点中,些属性,加入上层节点中,以免造成属性信息的冗余
7、。以免造成属性信息的冗余。第33页/共96页第34页/共96页第35页/共96页n果树的属性:会结果;果树的属性:会结果;n苹果树的属性:结苹苹果树的属性:结苹果。果。第36页/共96页植物植物苹果树苹果树水草水草果树果树草草树树AKOAKOAKOAKOAKO有根有根有叶有叶有根有根有叶有叶会结果会结果结苹果结苹果长在水中长在水中第37页/共96页供观赏。供观赏。第38页/共96页第39页/共96页动物动物狮子狗狮子狗猎狗猎狗狗狗AKOAKOAKO身上有毛身上有毛有尾巴有尾巴有四条腿有四条腿跑得快跑得快能狞猎能狞猎有生命有生命吃饲料吃饲料能吃食物能吃食物有繁殖能力有繁殖能力能运动能运动个头大个
8、头大吃肉吃肉个头个头小小跑得慢跑得慢不咬人不咬人供观赏供观赏第40页/共96页第41页/共96页n(3)对各层对象的)对各层对象的“槽槽”及及“侧面侧面”进行合理的组织安进行合理的组织安排,避免信息描述的重复。排,避免信息描述的重复。第42页/共96页第43页/共96页Frame 地震地震Slot1:Value:Default:If-needed:If-added:Slot2:Value:Default:If-needed:If-added:Slot3:Value:Default:If-needed:If-added:第44页/共96页n由于报道中只涉及地震一件事,由于报道中只涉及地震一件事,
9、所以该步可省略。所以该步可省略。第45页/共96页框架名:地震框架名:地震1时间:时间:3月月14日日地点:地点:云南玉云南玉溪地区溪地区震级:震级:专家经验专家经验值:值:4级级准确值:准确值:NIL伤亡人数:伤亡人数:专家经验值专家经验值:0 财产损失:财产损失:大约损失:大约损失: 10万元万元if-needed:ASK(电询(电询62332931)第46页/共96页第47页/共96页第48页/共96页第49页/共96页第50页/共96页开始开始把把S放入放入OPEN表表OPEN为空表?为空表?把第一个节点把第一个节点(n)从从OPEN移至移至CLOSED表表n为目标节点?为目标节点?把
10、把n的后继节点放入的后继节点放入OPEN表的表的末端,提供返回节点末端,提供返回节点n的指针的指针修改指针方向修改指针方向重排重排OPEN表表失败失败成功成功是是是是否否否否第51页/共96页第52页/共96页本层的所有节点。本层的所有节点。 sLOMFPQNFFF第53页/共96页 第54页/共96页 第55页/共96页第56页/共96页第57页/共96页第58页/共96页第59页/共96页第60页/共96页第61页/共96页nn n的一条最佳路径的代价的一条最佳路径的代价的估计。的估计。第62页/共96页解:解:采用估价函数采用估价函数f(n)=d(n)+W(n)f(n)=d(n)+W(n
11、)其中:其中:d(n)d(n)是搜索树中节点是搜索树中节点n n的深度;的深度;W(n)W(n)用来计算对应于节点用来计算对应于节点n n的数据库中错的数据库中错放的棋子个数。放的棋子个数。因此,起始节点棋局的因此,起始节点棋局的f f值等于值等于0+3=30+3=3。2 2 8 8 3 31 14 47 7 6 6 5 51 1 2 2 3 38 84 47 7 6 6 5 5第63页/共96页2 2 8 8 3 31 1 4 47 7 6 6 5 52 23 31 1 8 8 4 47 7 6 6 5 52 2 8 8 3 31 1 4 47 7 6 6 5 52 2 8 8 3 31 1
12、 6 6 4 47 75 58 8 3 32 2 1 1 4 47 7 6 6 5 52 2 8 8 3 37 7 1 1 4 46 6 5 52 2 3 31 1 8 8 4 47 7 6 6 5 52 2 3 31 1 8 8 4 47 7 6 6 5 51 1 2 2 3 38 84 47 7 6 6 5 51 1 2 2 3 37 7 8 8 4 46 6 5 51 1 2 2 3 38 8 4 47 7 6 6 5 5Sg2 2 8 8 3 31 14 47 7 6 6 5 5S0344555646446第64页/共96页第65页/共96页(1) ( x)P(x) ( y)P(y)
13、P(f(x,y)( y)Q(x,y) P(y)(2) ( x)P(x) ( y)P(y) P(f(x,y) ( y) Q(x,y) P(y) ( x)P(x) ( y)P(y) P(f(x,y) ( y)Q(x,y) P(y)第66页/共96页(4) ( x)P(x) ( y)P(y) P(f(x,y) Q(x,g(x) P(g(x) 式中式中w=g(x)为一个为一个Skolem函数函数(5) ( x)( y)P(x) P(y) P(f(x,y) Q(x,g(x) P(g(x)(3) ( x)P(x) ( y)P(y) P(f(x,y) ( w)Q(x,w) P(w)(6) ( x)( y)P
14、(x) P(y) P(f(x,y) P(x) Q(x,g(x) P(x) P(g(x)第67页/共96页(8) P(x) P(y) P(f(x,y) P(x) Q(x,g(x) P(x) P(g(x)(9) 更改变量名称,在上述第(更改变量名称,在上述第(8)步的)步的3个个子句中,分别以子句中,分别以x1,x2,x3代替变量代替变量x。这种。这种更改变量名称的过程,有时称为变量分离更改变量名称的过程,有时称为变量分离标准化。于是,可以得到下列子句集:标准化。于是,可以得到下列子句集:P(x1) P(y) P(f(x1,y) P(x2) Q(x2,g(x2) P(x3) P(g(x3)(7)
15、P(x) P(y) P(f(x,y) P(x) Q(x,g(x) P(x) P(g(x)第68页/共96页。第69页/共96页出空子句,就说明子句出空子句,就说明子句S S是不可是不可满足的。满足的。第70页/共96页第71页/共96页第72页/共96页n可将可将G看作是三项的合取,看作是三项的合取,对每一项分别求子句集。对每一项分别求子句集。第73页/共96页第74页/共96页P(x2)R(x2)P(x2)R(x2)P(a)P(a)R(a)R(a)T(x3)R(x3)T(a) 1=a/x2T(a)T(a) 2=a/x3NILNIL 由此得出子句集由此得出子句集S是不可满足的,因此公式是不可满
16、足的,因此公式G也也是不可满足的。从而命题得证。是不可满足的。从而命题得证。第75页/共96页nP(B)=P(C)P(B)=P(C)n (3) P(B)=P(C) (3) P(B)=P(C)n则结论为则结论为 P(C)P(C)第76页/共96页 将前提化为子句集:将前提化为子句集: (1) (1) P(A)P(B)P(C)P(A)P(B)P(C) (2) (2) P(A)P(B)P(C)P(A)P(B)P(C) (3) (3) P(B)P(B)P(C)P(C) 将结论否定并化为子句集:将结论否定并化为子句集: (4) (4) P(C)P(C) 利用消解原理,对子句集进行消解:利用消解原理,对子
17、句集进行消解:P(A)P(B)P(C)P(A)P(B)P(C)P(A)P(B)P(C)P(A)P(B)P(C)P(B)P(C)P(B)P(C)P(B)P(C)P(B)P(C)P(C)P(C)P(C)P(C)NILNIL故证得结论:公司一定录取故证得结论:公司一定录取C第77页/共96页(4)(4)对子句集对子句集S S应用应用消解消解原理进原理进行消解。行消解。( (5 5) )若得答案若得答案ANSWERANSWER,则答案就,则答案就在在ANSWERANSWER中中。第78页/共96页n目标公式:目标公式:( ( x x)AT(FIDO,x)AT(FIDO,x)n目标公式否定为:目标公式否
18、定为:n( ( x)(x)(AT(FIDO,x)AT(FIDO,x)n其子句形为:其子句形为:AT(FIDO,x)AT(FIDO,x)第79页/共96页AT(FIDO,x)ANSWER(FIDO,x)AT(FIDO,x)ANSWER(FIDO,x)AT(JOHN,y)AT(FIDO,y)AT(JOHN,y)AT(FIDO,y)AT(JOHN,x)ANSWER(FIDO,x)AT(JOHN,x)ANSWER(FIDO,x)AT(JOHN,SCHOOL)AT(JOHN,SCHOOL)ANSWER(FIDO,SCHOOL)ANSWER(FIDO,SCHOOL) 1=x/y 2=SCHOOL/x第80
19、页/共96页nP(B)=P(C)P(B)=P(C)n (3) P(B)=P(C) (3) P(B)=P(C)n则结论为则结论为 P(x)P(x)第81页/共96页P(A)P(B)P(C)P(A)P(B)P(C)P(A)P(B)P(C)P(A)P(B)P(C)P(B)P(C)P(B)P(C)P(B)P(C)P(B)P(C)P(C)P(C)P(x)ANSWER(x)P(x)ANSWER(x)ANSWER(C)ANSWER(C) =C/x可见公司一定录取可见公司一定录取C第82页/共96页解:令解:令T(x,y):xT(x,y):x是是y y的老师;的老师; C(x,y)C(x,y):x x是是y
20、y的同学的同学, ,则则已知的三个事实可解释为下列公式集已知的三个事实可解释为下列公式集T(Wang,Li)T(Wang,Li)C(Li,Zhang)C(Li,Zhang)( ( x)(x)( y)(y)( z)C(x,y)T(z,x)=T(z,y)z)C(x,y)T(z,x)=T(z,y)目标公式:目标公式:( ( x)T(x,Zhang)x)T(x,Zhang)第83页/共96页第84页/共96页C(x,y)C(x,y)T(z,x)T(z,y)T(z,x)T(z,y)T(Wang,Li)T(Wang,Li)C(Li,y)T(Wang,y)C(Li,y)T(Wang,y)C(Li,Zhang
21、)C(Li,Zhang)T(Wang,Zhang)T(Wang,Zhang) 1=Wang/z,Li/xT(w,Zhang)ANSWER(w,Zhang)T(w,Zhang)ANSWER(w,Zhang) 2=Zhang/yANSWER(Wang,Zhang)ANSWER(Wang,Zhang) 3=Wang/w第85页/共96页第86页/共96页第87页/共96页初始状态初始状态目标状态目标状态2 2 8 8 3 31 14 47 7 6 6 5 51 1 2 2 3 38 84 47 7 6 6 5 5第88页/共96页R1: if (j0-11) then begin Si0j0:=Si
22、0(j0-1); Si0(j0-1):=0 end 空格左移空格左移第89页/共96页R2: if (i0-11) then begin Si0j0:=S(i0-1)j0; S(i0-1)j0:=0 end 空格上移空格上移R3: if (j0+13) then begin Si0j0:=Si0(j0+1); Si0(j0+1):=0 end 空格右移空格右移R4: if (i0+13) then begin Si0j0:=S(i0+1)j0; S(i0+1)j0:=0 end 空格下移空格下移第90页/共96页2)建立综合数据库)建立综合数据库将棋盘的布局表示为状态矩阵的形式存入将棋盘的布局
23、表示为状态矩阵的形式存入综合数据库。综合数据库。例如,初始布局和目标布局以矩阵形式表例如,初始布局和目标布局以矩阵形式表示为:示为:综合数据库中,存放着初始状态矩阵和综合数据库中,存放着初始状态矩阵和目标状态矩阵以及变换过程中的中间矩目标状态矩阵以及变换过程中的中间矩阵。阵。028314765S 12384765gS 第91页/共96页3)推理求解)推理求解在进行推理求解时,可能会有多条产生式在进行推理求解时,可能会有多条产生式规则的条件部分和综合数据库中的已有事规则的条件部分和综合数据库中的已有事实相符,这样就有可能激活多条规则。实相符,这样就有可能激活多条规则。究竟采用哪一条规则作为启用规
24、则规则,究竟采用哪一条规则作为启用规则规则,这就是冲突解决策略问题。这就是冲突解决策略问题。在本题中采用一个启发式函数在本题中采用一个启发式函数f(n)=d(n)+W(n)f(n)=d(n)+W(n)其中:其中:d(n)d(n)是搜索树中节点是搜索树中节点n n的深度;的深度;W(n)W(n)用来计算对应于节点用来计算对应于节点n n的数据库中的数据库中错放的棋子个数。错放的棋子个数。第92页/共96页在综合数据库中的初始矩阵,能满足规则在综合数据库中的初始矩阵,能满足规则R1,R2,R3,R4的条件,所以有四条匹配规则。的条件,所以有四条匹配规则。利用启发函数决定哪一条规则为启用规则。利用启发函数决定哪一条规则为启用规则。因为规则因为规则R1的启发
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026培训机构面试题及答案
- 2026人防办 面试题目及答案
- 2026设计会计面试题及答案
- 自动退让协议书范本
- 后续治疗解协议书
- 雇工免责合同协议
- 拆迁无补偿协议书
- 2026世硕面试题目及答案
- 2026算法逻辑面试题目及答案
- 2026外卖包装污染面试题及答案
- 2026年6月汉江国有资本投资集团有限公司招聘14人笔试备考题库及答案详解
- 2026中国中医科学院广安门医院招聘合同制人员29人(护理岗位)笔试模拟试题及答案详解
- 2026年云南省中考英语试卷(含答案及解析)
- 2026年人教版高一第二学期语文期末单元知识梳理试卷(附答案可下载)
- 《干细胞供者知情同意规范》
- 2026年甘肃省兰州大学草地农业科技学院聘用制B岗招聘考试参考题库及答案详解
- 2026年高考全国乙卷文科综合真题试卷(含答案)
- 昆明市消防救援局政府专职消防员招聘笔试真题2025
- 2026年交管学法减分道题题库试题含答案详解(能力提升)
- 2026陕西西安交通大学专业技术人员招聘笔试模拟试题及答案解析
- 甘肃兰州大学管理学院聘用制B岗人员招考聘用冲刺卷贰(3套)答案详解
评论
0/150
提交评论