企业官网建设流程全解析

简介：这是一份百度人工智能岗位的经典考试试题整理稿，面向准备算法或人工智能方向笔试面试的求职者，以及需要系统梳理人工智能基础知识的在校学生。内容按选择题、填空题、简答及计算题、应用题四类题型组织，覆盖语义网络、知识表示、归结推理、可信度计算、机器学习、自然语言处理等核心主题；题目涉及语义网络的继承性表达、归结证明中的空子句判定、合一算法与最一般合一等重难点，且大部分附有参考答案或求解步骤，便于自测与复盘。资源包共一个文件，为文档格式，压缩包大小约二百七十九 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-of，ISA是is-a，都表示类与实例或类与子类的关系，子类会自动继承父类的属性，这就是继承性。

填空题里还考了图的基本构成：图由节点和有向边组成，按连接同一节点的各边的逻辑关系又可分为或图与与或图。这个知识点要和后面的状态图区分开。第二套填空第12题考了知识表示的主要方法：逻辑表示法（谓词表示法）、框架、产生式、语义网络；语义网络推理使用的链是AKO和ISA。这张表几乎把知识表示的考点一网打尽，值得默写一遍。

语义网络的应用题也有标准套路。原题第一问是“胡途是思源公司的经理，他35岁，住在某胡同68号”，第二问是两所高校进行篮球比赛，比分89比102。答题时先画出中心实体节点，比如胡途这个人节点，然后画有向弧标注“经理”指向思源公司，再画“年龄”指向35这个属性节点，“住址”指向地址节点。比分信息要单独建一个篮球赛事件节点，再从事件节点分别引出参赛和比分两条弧。得分要点是每条弧线上都要写清关系名，节点不能裸挂。

2.3 知识表示方法对比：逻辑、框架、产生式、语义网络怎么选

知识表示的选择题和填空题喜欢横向对比，建议直接背这张对比表。

考试里有一道选择题专门问“哪些不在人工智能系统知识包含的四个要素中”，四个候选是事实、规则、控制和元知识、关系，正确答案是关系。这说明知识表示的基本要素是事实、规则、控制与元知识，没有“关系”这个独立要素。对比表里每个方法对应的典型考题不一样：看到谓词就想到化子句集和归结，看到产生式就想到规则库和推理机，看到语义网络就想到继承性。这样记比单独背定义省力。

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。标准解法要这样写：

k=0，S0=S，δ0=ε（空置换）。 S0不是单元素集，求差异集D0={y,z}，其中y是变元，z是项，且y不在z中出现。 令δ1=δ0·{z/y}={z/y}，S1=S0·{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}。 S2=S1·{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 Q，P是前提或称前件，指出规则可用的条件，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放到下一位，因为第五位固定为5；r2是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集合上，只写最终结果，中间过程全丢。归结证明里，每一步的置换是判断正确性的关键，跳步会被认为“答案可靠度低”。

怎么答对：合一题固定写“k=0，S0=S，δ0=ε，求差异集D0，构造δ1，算S1，直到单元素集”。归结题每个子句右侧标注来源和置换，比如“②③归结，置换{a/y}”。这个习惯平时刷题就要养成，考场上按套路走不会乱。

6. 冲刺答题法：三步把AI大题从会做变成拿满

第一层，先把题型和考点对应起来。选择填空题里的基础概念题占45分，这些靠考前默写清单拿分，比如AI缩写、深蓝、三大学派、机器学习定义。简答和应用题的考点集中在子句集八步、MGU合一、归结证明、产生式系统、语义网络、α-β剪枝，看到题先判断属于哪类，再决定用哪套模板。

第二层，背熟三套必用模板。子句集化归模板就是八步顺序，每一步的变换规则要随手写出。MGU模板是三段式循环：写出初始S0和空置换δ0，求差异集并检查变元出现条件，构造新置换继续迭代，直到S成单元素。归结证明模板是标号加置换：左侧写子句序号，右侧写来源和置换，最终落到空子句。语义网络应用题的模板是“实体节点合并同类、关系弧标注名称、属性节点挂接”，有比分这样的事件信息时，建事件节点再分弧。

第三层，考场上强制做两项检查。α-β剪枝题，画完树后检查每个剪枝点是否满足“先辈α≥后继β”或“后继α≥先辈β”，不满足的剪枝是错的。归结证明题写完，从第一个子句重新扫一遍，确认每个置换都代入正确，变元名没有冲突。这两项检查能拦住大半失分。

这套题里最值得反复练的是祖孙关系那道题，因为它一层考了归结证明，一层考了重言式求解，把第三章和第四章的重点串在一起。把那道题默写三遍，比刷十道零散选择更稳。从那以后我每次做AI卷，都强制自己在草稿纸上先把八步子句集默写一遍，再动笔做MGU和归结，这个习惯让我在大题上几乎没丢过过程分。希望帮到你。

本文还有配套的精品资源，点击获取