2020-10-20

一世执手 提交于 2020-10-22 14:08:14

人工智能2020秋季

杂谈

机器学习比较难,所以我跑到人工智能这里来避避风头

第一关:知识的表示

1. 一阶谓词逻辑

杂谈:谓词逻辑,关键是谓词,其实我觉得就是汉语转化为“英语”

  • 先上菜鸟题:
  1. 老王喜欢妹子
  2. 并不是所有的男人都喜欢妹子
  3. 有些男人不是老王
  • 再上经典的猴子吃香蕉的题:

设房间里有一只猴子,位于a

在c处有一串香蕉,(猴子想吃,但摘不到)

房间b处有一个箱子(如果猴子站到箱子上,就可以摘到香蕉)

​ 解析:要解决这个问题,需要一定的套路。首先,找到有哪些东西(猴子,香蕉,箱子);其次,定义谓词

​ 静态属性:

​ 位置关系:AT(x,y) ,其中x的个体域为{monkey,banana,box},y的个体域为{a,b,c}

​ (如果以后涉及到位移的问题,首先应该想到的就是位置关系)

​ ONBOX:表示猴子在箱子上面

​ HB:猴子摘到香蕉

​ 从上面就可以找到问题的初始状态和目标状态:

​ AT(monkey,a) AT(monkey,c)

​ AT(box,b) AT(box,c)

​ AT(banana,c) AT(banana,c)

​ ~ONBOX ONBOX

​ ~HB HB

​ 动态属性:动作

​ GOTO(x,y):表示猴子从x处走到y处

​ PUSHBOX(x,y):表示猴子推着箱子从x处移动到y处

​ CLIMBBOX:表示猴子爬上箱子

​ GRASP:表示猴子摘到香蕉

这些条件对应的先决条件和动作:

​ …(这个东西比较长,一阶谓词用来表示一个状态过程,我怀疑一面纸才能写下,考试应该不会出这种类型的大题,大家熟悉一下他的流程就好。个人觉得像这种给出一个解决方案的题目是不会限制你使用那种知识表示的方法的,下面还会讲一些其他的知识表示和推理的方法)

2.产生式系统

杂谈

步骤就是:列出综合数据库->列出初始状态和目标状态->穷举出可能发生的情况(这一步最难)->实例化找到解

要是第三步暂时想不到,可以先把第四步的解得到,然后再抽象出第三步

  1. 上面的猴子吃香蕉问题

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-WXYiDQoL-1603177546085)(知识点.assets/image-20201020144530278.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-YnogmaGt-1603177546095)(知识点.assets/image-20201020144552810.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-HsYPKFK3-1603177546100)(知识点.assets/image-20201020144609608.png)]

  1. 传教士与野人问题

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-940iRSV1-1603177546104)(知识点.assets/image-20201020144635009.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-DcSIEphr-1603177546107)(知识点.assets/image-20201020144650910.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-0H9mepZ1-1603177546109)(知识点.assets/image-20201020144716064.png)]

  1. 倒水的问题

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-kjKjBcZr-1603177546112)(知识点.assets/image-20201020144728748.png)]

3.语义网络

杂谈:类似java的UML类图建模,这里主要是把握住“对象”,然后建立以此为突破点,将其他事物的关系都扯上去

  1. 事物和概念:

    动物能运动、会吃。
    鸟是一种动物,鸟有翅膀、会飞。
    鱼是一种动物,鱼生活在水中、会游泳。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-6GNwE6lR-1603177546114)(知识点.assets/image-20201020144754387.png)]

  1. 事物和概念:

    王强是理想公司的经理;
    理想公司在中关村;
    王强28岁。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-TPUiHSuO-1603177546116)(知识点.assets/image-20201020144801743.png)]

  1. 情况表示

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Z72vGB7y-1603177546117)(知识点.assets/image-20201020144810456.png)]

  1. 事件和动作节点

​ 常河给江涛一个优盘

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-TvaHJiWe-1603177546119)(知识点.assets/image-20201020144821802.png)]

4.框架

杂谈:就是填写个人信息表(不仅是填实例,还要抽象出实例的类型),英语水平差就很难受了

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-9kPde4iQ-1603177546120)(知识点.assets/image-20201020144837195.png)]

第二关:确定性知识推理

杂谈:这一章虽然写的多,但是难点就两个:解释,置换。其实指派就是自己根据个体域赋值,置换记住常/变可替换变就行。

题一(解释)

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-sp2oyo1j-1603177546121)(知识点.assets/image-20201020144900445.png)]

简单理解,我给你一个解释:要是某某为1(1是个体域的值),xxx,然后谓词的值将会是xxx,最后这个公式的值就是T/F。

题二(鲁滨逊归结原理的证明题)

杂谈:复习一下步骤。假设已知F1,F2要推出G。

把{F1,F2,~G}放在一起做成一个子句集,如果能归结出空,则证明。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-WLfgkhBL-1603177546123)(知识点.assets/image-20201020144909284.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ie9JsLFI-1603177546124)(知识点.assets/image-20201020144920744.png)]

题三(归结反演用来求取问题的答案)

杂谈:爱或者不爱,只能选择一个。

假设张被盗,公安局派出5个人去调查。案情分析时,侦察员A说:“赵与钱至少有一个人作案”;

B说:“钱和孙至少有一个人作案”;

C说:“孙和李至少有一个人作案”

D说:“赵和孙至少有一个人与此案无关”

E说:“钱和李至少有一个人与此案无关”

​ 如果这5个人的话都可信,试用归结演绎推理求出谁是盗窃犯。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-9JAED2hZ-1603177546126)(知识点.assets/image-20201020144958240.png)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-haHEZQn5-1603177546125)(知识点.assets/image-20201020144943322.png)]

在这里插入图片描述

第三关:搜索策略(这一关是最难的)

杂谈:搜索策略解决问题的方法有两种:状态空间法(画圈圈)和问题规约法(与/或树)。

题一(状态空间)

杂谈:其实这类问题和上面说的产生式系统很像的,大家可以仔细对比一下

农夫问题

有一农夫带一条狼,一只羊和一筐菜欲从河的左岸乘船到河的右岸,但受下列条件的限制:

(1)船太小,农夫每次只能带一样东西过河;

(2)如果没有农夫看管,则狼要吃羊,羊要吃菜;

请设计一个过河方案,使得农夫,狼,羊,菜都能不受损失地过河,画出相应的状态空间图。

提示:

(1)用四元组(农夫,狼,羊,菜)表示状态,其中每个元素都为0或1,用0表示在作案,1表示在右岸。

(2)把每次过河的一种安排作为一种操作,每次过河都必须有农夫,因为只有他可以划船。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-8OZISyX8-1603177546128)(知识点.assets/image-20201020145022568.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-qbPQ1aac-1603177546130)(知识点.assets/image-20201020145032786.png)]

题二(盲目的深搜和广搜)

杂谈:图搜索算法比较难,下面讨论的主要是树搜索算法。结点的扩展顺序是最重要的。以往大家都是在一个的具体图上讨论深搜和广搜,这里扩展结点十分形象,下面的一个题是需要自己抽象的。

圆盘问题:

设有大小不等的三个圆盘A,B,C,套在一根轴上,每个盘上都标有数字1,2,3,4,并且每个圆盘上都可以独立地绕轴逆时针转动,每次转动90°,其初始状态S0和目标状态Sg如下图所示,请用广度优先搜索和深度优先搜索,求出从S0到Sg的路径。

在这里插入图片描述

题三:代价树的广度优先搜索

杂谈:在生成的结点中按照代价从小到大排序,每次找到代价最小的结点进行扩展。

下面是一个比较经典的算法题——旅行商问题,由于篇幅比较长,有些分支就没有画出来了。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-sfeB7D18-1603177546133)(知识点.assets/image-20201020145249417.png)]

题四:启发式搜索

杂谈:启发式搜索关键是找出一个启发函数。

设有如下结构的移动将牌游戏:

B B W W E

其中,B表示黑色将牌,W表示白色将牌,E表示空格。游戏规则走法:

(1)任意一个将牌可移入相邻的空格,规定其代价为1;

(2)任何一个将牌可相隔一个其他的将牌跳入空格,其代价为跳过将牌的数目加1。

游戏要达到的目标是把所有的W都移到B的左边。对这个问题,请定义一个启发函数h(n),并给出这个启发函数产生的搜索树,判别这个启发函数是否满足下界要求?在求出的搜索树中,对所有节点是否满足单调限制。

补充一个小知识点:

不可纳的,一定不满足单调限制。

在这里插入图片描述

题五:与或树(计算解树的代价)

杂谈:要想找到最优解树,必须要计算解树的代价。本题就是一个计算解树代价的题,熟悉一下套路即可。

在这里插入图片描述

题六:博弈树,α-β剪枝

第四关:贝叶斯网络

杂谈:贝叶斯网络这一块儿,主要是掌握两个规则,链式法则和条件依赖。

题一:独立性判断

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-62OzFPn6-1603177546139)(知识点.assets/image-20201020145225768.png)]

条件独立详细说明

题二基于贝叶斯网络的概率计算

杂谈:这里主要指的是枚举法的精确计算,也没有MCMC算法。比较容易理解,大家掌握一下基本套路就行。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-NoYKLuKW-1603177546140)(知识点.assets/image-20201020145306772.png)]

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!