简介这是一份百度人工智能岗位的经典考试试题整理稿面向准备算法或人工智能方向笔试面试的求职者以及需要系统梳理人工智能基础知识的在校学生。内容按选择题、填空题、简答及计算题、应用题四类题型组织覆盖语义网络、知识表示、归结推理、可信度计算、机器学习、自然语言处理等核心主题题目涉及语义网络的继承性表达、归结证明中的空子句判定、合一算法与最一般合一等重难点且大部分附有参考答案或求解步骤便于自测与复盘。资源包共一个文件为文档格式压缩包大小约二百七十九 KB相当于一份精炼的人工智能基础考点练习卷。目前已有 1584 人学习适合备考冲刺期用来自查薄弱环节、巩固概念也可作为高校人工智能课程或企业新人培训的参考题库。1. 先看考法百度人工智能经典试题的45分基础题与55分推演题拿到这套百度人工智能经典考试试题最先要摸清的不是某道算法题怎么解而是它的整体分值结构选择加填空约占45分简答加应用约占55分。最反直觉的一个考法出现在反演归结——证明定理时当前归结式是什么才叫得证不少考生记成“永真式”标准答案却是“空子句”。这门课把AI拆成基本概念、知识表示、谓词逻辑、产生式系统、搜索博弈五块题目换着年份出考点却基本不变。这套资源包含两套完整试卷和标准答案适合期末备考、考研复试、AI岗位笔试前集中刷考点。下面按拿分顺序把高频考点和标准答题套路拆开讲。2. 高频考点AI基本概念与知识表示语义网络和状态图这样答2.1 送分选择填空AI定义、图灵测试、深蓝、机器学习选择题的前几题几乎年年固定属于背住就能拿分的内容。AI的英文缩写选B也就是 Artifical Intelligence。注意这里的拼写是教材里的经典写法和选项里的Automatic Intelligence、Automatice Information区分开即可一般不会有人在这题翻车但拼写敏感的同学容易在多选题里犹豫。第二套试卷第6题考了人工智能含义的起源1950年提出AI含义并且同时提出机器智能测试模型的科学家答案是C选项。这道题对应的就是“图灵测试”考试时往往只考人物和年份的对应关系不需要展开实验细节。1997年人机大战那题选项分别是深蓝、IBM、深思、蓝天正确答案是深蓝。机器学习那题考的是一句话定义研究计算机如何自动获取知识和技能、实现自我完善的分支学科叫机器学习答案是B。备选的专家系统、神经网络、模式识别都是机器学习的外围应用不是“自动获取知识、自我完善”的直接定义。另外一道常考的是人工智能三大学派符号主义、连接主义、行为主义不属于这三派的是机会主义。这类题没有计算量但容易在考前突击时被忽略原因是它们出现在选择题前半部分看起来太简单反而没人背。2.2 语义网络AKO链和ISA链考的是“继承性”语义网络是知识表示里的高频考点。原卷第4题问AKO链、ISA链表达节点知识的什么特性正确答案是继承性。很多同学会在“无悖性、可扩充性、继承性”三个选项里犹豫。实际上AKO是a-kind-ofISA是is-a都表示类与实例或类与子类的关系子类会自动继承父类的属性这就是继承性。填空题里还考了图的基本构成图由节点和有向边组成按连接同一节点的各边的逻辑关系又可分为或图与与或图。这个知识点要和后面的状态图区分开。第二套填空第12题考了知识表示的主要方法逻辑表示法谓词表示法、框架、产生式、语义网络语义网络推理使用的链是AKO和ISA。这张表几乎把知识表示的考点一网打尽值得默写一遍。语义网络的应用题也有标准套路。原题第一问是“胡途是思源公司的经理他35岁住在某胡同68号”第二问是两所高校进行篮球比赛比分89比102。答题时先画出中心实体节点比如胡途这个人节点然后画有向弧标注“经理”指向思源公司再画“年龄”指向35这个属性节点“住址”指向地址节点。比分信息要单独建一个篮球赛事件节点再从事件节点分别引出参赛和比分两条弧。得分要点是每条弧线上都要写清关系名节点不能裸挂。2.3 知识表示方法对比逻辑、框架、产生式、语义网络怎么选知识表示的选择题和填空题喜欢横向对比建议直接背这张对比表。表示方法基本单元常考标记适用场景逻辑表示法谓词公式子句集、归结定理证明、精确推理产生式IF-THEN规则正向/反向推理专家系统框架槽与侧面继承、默认值结构化知识语义网络节点与有向弧AKO、ISA概念关系、分类层次考试里有一道选择题专门问“哪些不在人工智能系统知识包含的四个要素中”四个候选是事实、规则、控制和元知识、关系正确答案是关系。这说明知识表示的基本要素是事实、规则、控制与元知识没有“关系”这个独立要素。对比表里每个方法对应的典型考题不一样看到谓词就想到化子句集和归结看到产生式就想到规则库和推理机看到语义网络就想到继承性。这样记比单独背定义省力。2.4 图搜索与状态空间或图、状态图、最优解的判断第二套卷第4题考“或图通常称为什么”答案是状态图。这题容易错选语义图或博弈图。之所以叫状态图是因为或图里的每个节点代表一个状态边代表状态转移走迷宫、八数码这类问题就是用状态图来描述的。填空题里对应的是图搜索技术走迷宫、下棋、八数码游戏中常用到图搜索技术把位置、布局、牌势用状态空间图表示。关于搜索策略的最优性判断第二套选择第15题问“如果问题存在最优解下面哪种搜索必然得到最优解”答案是广度优先搜索。深度优先、有界深度优先、启发式搜索都不能保证全局最优。这个考点在简答题里也容易结合问答出现要能说清楚原因广度优先按层扩展第一次到达目标节点时路径一定最短深度优先可能先钻进深层死胡同。另外填空题还考了启发式搜索用“启发函数”表示启发性信息这是广度优先和启发式搜索的主要区别一个是盲目搜索一个用评估函数指导方向。3. 高频考点谓词逻辑、子句集与归结演绎MGU和反演证明的拿分写法3.1 化子句集八步从谓词公式到子句集合S把谓词公式化成子句集是人工智能考试里最值钱的流程题原卷简答直接给了8个步骤的题目分值是5分。第一步消去蕴含词和等价词把所有A→B改写为¬A∨B把A↔B展开成(¬A∨B)∧(¬B∨A)。第二步把否定词的作用范围缩小一直移到原子公式前面这一步要记住两个换法¬∀xP换成∃x¬P¬∃xP换成∀x¬P。第三步改名使量词间不含同名指导变元和约束变元。第四步消去存在量词这是最容易错的一步因为要引入Skolem函数。第五步消去全称量词。第六步化成合取范式用分配律把析取式展开成合取式。第七步改名使子句间无同名变元。最后一步消去合取词用逗号代替把每个子句放进集合S。八步顺序不能换特别是第四步必须在第五步之前因为一旦全称量词被消掉存在量词就不在辖域内Skolem函数就不好构造了。3.2 MGU合一算法差异集与置换的标准三步合一算法是简答计算题里的必考项原卷给了两道不同的题。第一道是S{P(f(x),y,g(y)),P(f(x),z,g(x))}求MGU。标准解法要这样写k0S0Sδ0ε空置换。 S0不是单元素集求差异集D0{y,z}其中y是变元z是项且y不在z中出现。 令δ1δ0·{z/y}{z/y}S1S0·{z/y}{P(f(x),z,g(z)),P(f(x),z,g(x))}。 S1仍不是单元素集求差异集D1{z,x}令δ2δ1·{z/x}{z/y,z/x}。 S2S1·{z/x}{P(f(z),z,g(z))}已成为单元素集。最终MGU就是{z/y,z/x}。每一步的k值、差异集、置换都要写在试卷上这是评分点。第二道题换成了带函数项的S{P(f(x,g(A,y)),z),P(f(x,z),z)}做法相同第一次求差异集得到{g(A,y),z}z是变元且不出现在g(A,y)中直接构造置换δ1{g(A,y)/z}代入后两个子句变成同一个P(f(x,g(A,y)),g(A,y))MGU就是{g(A,y)/z}。这个考点的核心是差异集和变元出现检查“变元不能在项中出现”这个条件决定了置换是否合法。答题时不写差异集直接给MGU通常只能拿一半分。3.3 归结反演证明每个归结式都要标置换归结反演证明的逻辑是反证法要证G是F的逻辑结论先证F∧¬G不可满足。具体做法是先把F化成子句集再把结论的否定化成子句然后反复做归结消解直到产生空子句□。第二套试卷第5题的证明过程是标准模板直接可以背下来① ¬P(x)∨Q(x)……从F1变换 ② ¬P(y)∨R(y)……从F1变换 ③ P(a)……从F2变换 ④ S(a)……从F2变换 ⑤ ¬S(z)∨¬R(z)……结论的否定 ⑥ R(a)……②③归结置换{a/y} ⑦ ¬R(a)……④⑤归结置换{a/z} ⑧ □……⑥⑦归结写这一步时要做到两个习惯每个子句左侧标①到⑧的序号右侧写清来源和置换。归结式不能凭空冒出来必须说明是哪两个子句消解产生的、置换是什么。原卷里有的证明题答案结尾直接写“得证”但中间子句和置换不全考场上按点给分时就会吃亏。归结反演多数情况下先消去一对互补文字如果归结后不是空子句要继续参加后续归结直到空子句出现。3.4 真题演练祖孙关系证明与重言式求解的完整写法原卷里那道祖孙关系的应用题很有代表性既是归结证明又带求解。题目给的关系是如果x是y的父亲且y是z的父亲则x是z的祖父老李是大李的父亲大李是小李的父亲。第一问先证明存在祖孙关系。答题时定义谓词F(x,y)表示x是y的父亲G(x,z)表示x是z的祖父。已知条件化成子句① ¬F(x,y)∨¬F(y,z)∨G(x,z)……规则(1)的子句化 ② F(L,D)……老李是大李的父亲 ③ F(D,X)……大李是X的父亲结论存在祖孙关系否定是¬G(u,v)然后做归结②与①归结置换{L/x,D/y}得到¬F(D,z)∨G(L,z)这个结果再与③归结置换{X/z}得到G(L,X)G(L,X)与¬G(u,v)归结置换{L/u,X/v}得到空子句得证存在祖孙关系。第二问要求解出具体是谁和谁是祖孙这里有个关键技巧把结论的否定换成重言式¬G(u,v)∨G(u,v)因为重言式恒为真可以在归结过程中保留结论本身。最后归结得到的正文字句是G(L,X)即老李是小李的祖父。这个“用重言式代替结论否定”的手法在求解型归结题里是通用解法背下这个套路应用题能省不少时间。4. 高频考点产生式系统、可信度CF与博弈剪枝大题模板一次背全4.1 产生式系统规则库、数据库、推理机三件套产生式系统的组成是简答题的常客原卷问法很直接“简单阐述产生式系统的组成”。标准答案分三块产生式规则库是描述领域知识的规则集合综合数据库也叫事实集合存放初始事实、外部输入事实、中间结果和最终结果推理机是控制程序负责协调规则库和数据库包含推理方式和控制策略。答题时把这三块写全再补一句“规则库是静态知识数据库是动态状态推理机驱动整个流程”就是满分结构。推理方向的判断题也很固定从已知事实出发、通过规则库求得结论的推理方式是正向推理。反向推理则先假设结论再去验证前提是否成立。第二套选择题里考了“产生式系统的推理不包括什么”四个选项是正向推理、逆向推理、双向推理、简单推理正确答案是简单推理因为产生式系统只有正向、反向、双向三种。填空题里“从可触发规则中选择一个规则来执行被执行的规则称为被触发规则”这句表述比较拗口但填空只会考这个固定说法。产生式规则的语义是另一道简答题规则形式为P→Q或IF P THEN QP是前提或称前件指出规则可用的条件Q是结论或操作当前提满足时推出Q或执行Q规定的操作。有些同学答到这就停了还要补一句“前提不满足时规则不触发”这句体现对语义的完整理解。4.2 可信度CF计算取反、取小、取大三个规则不确定性推理的知识点集中在可信度方法上。原卷填空考的是三条组合规则CF(¬A)-CF(A) CF(A1∧A2)min{CF(A1),CF(A2)} CF(A1∨A2)max{CF(A1),CF(A2)}这个规律很好记合取取较小的可信度因为“两个都成立”比“其中一个成立”更难确定析取取较大的可信度因为“至少一个成立”更容易成立否定则直接取相反数。很多同学会把这套规则和概率论的乘法、加法混淆比如把合取写成CF(A1)×CF(A2)这是两个不同的体系在这套试卷里按min和max判分。第二套选择第10题考了符号区分C(B|A)表示在规则A→B中证据A为真时结论B为真的信度答案是信度。这个容易和可信度CF混在一起注意题干写的是C(B|A)不是CF(B,A)。简答题里还出现过用可信度表示模糊知识的例子比如“张三体型胖的可信度是0.9”解释时要把数值当作该命题的置信程度来表述而不是当作概率。4.3 博弈树与α-β剪枝先辈层和后继层的判断博弈树的α-β剪枝是应用题里的压轴考点。先掌握两个符号的含义α是MAX节点我方的当前最佳下界β是MIN节点对方的当前最佳上界。剪枝条件要背准α剪枝若极小值层MIN节点的β值小于或等于它任一先辈极大值节点的α值即α(先辈)≥β(后继)则中止该MIN节点以下的分枝搜索该MIN节点的倒推值确定为β值。 β剪枝若极大值层MAX节点的α值大于或等于它任一先辈极小值层节点的β值即α(后继)≥β(先辈)则中止该MAX节点以下的分枝搜索该MAX节点的倒推值确定为α值。记忆方法是盯住“谁压过谁”一旦后辈节点算出的值压过了先辈的界就说明先辈层的判断已经不会被优于此值后面的分枝不用再搜。原卷的应用题给了博弈树和叶子估值要求用α-β剪枝技术剪去多余分枝答题时要在剪枝点画斜线并在旁边标注“α≥β剪枝”字样光写结论不给注释会被扣注释分。如果题目只给估值树没给α、β初始值通常根节点α初始化为负无穷β初始化为正无穷。4.4 产生式系统应用题九宫格序列的规则设计原卷最后一题是给1到9九个数字排序列要求前n个数字组成的整数能被n整除并且要求用产生式系统描述问题。这道题考的是把实际问题转成规则的能力步骤是先写解题知识再建综合数据库和规则集。可用的知识有两条序列中偶数在偶数位置、奇数在奇数位置第五个数必为5。第一条的原理是n为偶数时前n个数组成整数的奇偶性由第n位数字决定要能被偶数整除就必须是偶数。产生式系统的四要素这样写综合数据库用序列N{x}表示已排好的数字集合规则集三条r1是IF len(N)4 THEN把5放到下一位因为第五位固定为5r2是IF len(N)为偶数 THEN从{1,3,7,9}中取一个数放入对应奇数位置放奇数r3是IF len(N)为奇数 THEN从{2,4,6,8}中取一个数放入对应偶数位置放偶数。初始状态是空集结束条件是最终序列满足前i个数组成的整数能被i整除。这套描述就是完整答案规则不用刻意背具体数字只要理解“奇偶位置对应奇偶数”这条约束就不会写错。5. AI考试失分点五处一错整题白给的经典坑位5.1 归结得证写成“永真式”反演证明的终点是空子句错在哪选择题问反演归结证明定理时当前归结式是什么则定理得证不少同学选了A永真式。原卷正确选项是C空子句。为什么错归结反演用的是反证法逻辑先把结论的否定加入子句集推出空子句代表子句集不可满足矛盾说明结论的否定不成立原结论成立。空子句是“矛盾”的符号表示不是真也不是假。永真式反而是子句集中可以删除的对象。怎么答对看到“反演归结”“消解”“定理得证”就锁定空子句。同时把“删除策略归结中删除含有永真式的子句”这句也串起来记两类考点都围绕永真式但作用一正一反。5.2 删除策略归结的三类子句记成“重复/矛盾”错在哪填写删除策略归结中被删除的子句时写成“含有重复的子句、含有相互矛盾的子句、被别的子句证明的子句”。为什么错这是把删除策略和子句集的化简步骤记混了。标准答案是被删除的子句是含有纯文字的子句含有永真式的子句被子句集中别的子句类含的子句。纯文字指的是该文字在子句集中没有互补对去掉它不影响不可满足性。怎么答对背口诀“纯、真、类”三个字。纯文字子句、永真式子句、类含子句。这样填空中三个空就能依次写对。5.3 可信度合取写成相乘CF(A1∧A2)取min不是乘错在哪计算证据组合的可信度时把CF(A1∧A2)写成CF(A1)×CF(A2)。为什么错CF可信度方法和概率论是两个模型。概率论里独立事件同时发生的概率才相乘可信度方法定义合取可信度是取各证据可信度的最小值因为它衡量的是“最不确信的那个证据决定整体”。怎么答对合取取min析取取max否定取负。这三条直接默写不要用概率乘法或加法去推。如果题目给了具体数值比如CF(A1)0.8、CF(A2)0.6合取结果就是0.6。5.4 子句集步骤把全称量词先消掉Skolem化的顺序反了错在哪化成子句集时先消全称量词再消存在量词。为什么错存在量词可能在全称量词的辖域内比如∀y∃xp(x,y)意思是“对每个y都存在一个x”这个x是依赖于y的。此时要把x替换成Skolem函数f(y)而不能替换成常量。如果先消去全称量词依赖关系被丢掉Skolem函数就写不出来了。怎么答对严格按照八步顺序先消存在量词后消全称量词。遇到存在量词在全称量词辖域内时用Skolem函数表示依赖关系。第二套卷那道“这种函数叫做什么”的选择题答案就是Skolem函数。5.5 MGU和归结题只写答案不给过程中间步骤才是得分点错在哪合一题直接写“MGU{z/y,z/x}”归结证明题直接写„得证”。为什么错AI试卷的大题按步骤给分尤其合一算法评分点分布在每个k值的差异集、置换和新的S集合上只写最终结果中间过程全丢。归结证明里每一步的置换是判断正确性的关键跳步会被认为“答案可靠度低”。怎么答对合一题固定写“k0S0Sδ0ε求差异集D0构造δ1算S1直到单元素集”。归结题每个子句右侧标注来源和置换比如“②③归结置换{a/y}”。这个习惯平时刷题就要养成考场上按套路走不会乱。6. 冲刺答题法三步把AI大题从会做变成拿满第一层先把题型和考点对应起来。选择填空题里的基础概念题占45分这些靠考前默写清单拿分比如AI缩写、深蓝、三大学派、机器学习定义。简答和应用题的考点集中在子句集八步、MGU合一、归结证明、产生式系统、语义网络、α-β剪枝看到题先判断属于哪类再决定用哪套模板。第二层背熟三套必用模板。子句集化归模板就是八步顺序每一步的变换规则要随手写出。MGU模板是三段式循环写出初始S0和空置换δ0求差异集并检查变元出现条件构造新置换继续迭代直到S成单元素。归结证明模板是标号加置换左侧写子句序号右侧写来源和置换最终落到空子句。语义网络应用题的模板是“实体节点合并同类、关系弧标注名称、属性节点挂接”有比分这样的事件信息时建事件节点再分弧。第三层考场上强制做两项检查。α-β剪枝题画完树后检查每个剪枝点是否满足“先辈α≥后继β”或“后继α≥先辈β”不满足的剪枝是错的。归结证明题写完从第一个子句重新扫一遍确认每个置换都代入正确变元名没有冲突。这两项检查能拦住大半失分。这套题里最值得反复练的是祖孙关系那道题因为它一层考了归结证明一层考了重言式求解把第三章和第四章的重点串在一起。把那道题默写三遍比刷十道零散选择更稳。从那以后我每次做AI卷都强制自己在草稿纸上先把八步子句集默写一遍再动笔做MGU和归结这个习惯让我在大题上几乎没丢过过程分。希望帮到你。本文还有配套的精品资源点击获取