简介这份资料是山东大学人工智能导论课程的概念汇总笔记面向正在修读该课程或备考期末的学生也适合希望系统梳理人工智能基础概念的自学者。内容围绕课程核心知识展开涵盖智能与人工智能的基本定义、知识表示与知识图谱、确定性推理方法等章节对一阶谓词逻辑、产生式表示法、框架表示法、知识图谱构建等知识点做了条理化整理并标注了非重点内容便于按考试范围取舍复习。资源包共1个PDF文件大小约2.28MB结构紧凑适合打印或平板阅读。已有433人学习下载说明其在课程复习场景中具有一定参考价值。读者可借助这份汇总快速建立章节框架对照课堂讲义查漏补缺理清谓词逻辑、产生式与框架表示之间的区别与联系为期末复习和后续机器学习、搜索策略等内容的深入学习打下概念基础。1. 期末复习的真相概念题占大头推理题才是分水岭翻开这份人工智能导论概念汇总第一眼看到的是“智能是知识与智力的总和”这种定义式条目很多人会下意识觉得这门课背背就行。但真正拉开分差的从来不是名词解释而是确定性推理和不确定性推理那几道大题——归结反演写不出空子句、可信度合成算错符号、模糊集合运算把算子搞混一道题十几分直接蒸发。这份资料把绪论、知识表示、确定性推理、不确定性推理四大模块的概念按考试可能性做了删减代码框内容明确标注为非重点等于帮你把“背什么”和“练什么”提前分好了层。适合正在突击期末、需要一份能直接对着背和算的考生也适合面试前想快速捡起推理算法套路的人。下面按考点分布逐章拆每章都给到能上手练的题和答题思路。2. 知识表示四种表示法的选型判断与谓词逻辑转换知识表示这一章在卷面上通常以“给出场景选择表示方法并说明理由”或“将自然语言命题转化为谓词公式”的形式出现。概念汇总里列了一阶谓词逻辑、产生式、框架、语义网络四种方法每种都有明确的优缺点对照考试不会让你默写全部定义而是考你能不能根据场景特征选对方法。2.1 四种表示法的对比与选型依据先看一张对比表把选型判断的依据固定下来表示方法核心结构优点局限典型适用场景一阶谓词逻辑谓词、个体、量词自然性、精确性、严密性不能表示不确定知识、组合爆炸精确事实与定理证明产生式规则库综合数据库控制系统自然性、模块性、清晰性效率不高、不能表达结构性知识诊断、配置类规则系统框架框架名、槽、侧面结构性、继承性、自然性对过程性知识表达弱对象属性层次描述语义网络节点与带标记的边直观、联想性强推理规则不严格概念间关系展示选型题的答题套路是先判断知识是“精确还是不确定”精确优先谓词逻辑再判断知识是“规则型还是结构型”规则型选产生式结构型选框架如果题目强调概念之间的关联展示语义网络是兜底答案。面试官最想听的是你给出选择理由时能带出该方法的局限而不是只报名字。2.2 谓词逻辑转换的真题演练这类题几乎必考给一段自然语言要求写出谓词公式。看一道典型题凡是容易的课程小王都喜欢C班的课程都是容易的ds是C班的一门课程。用谓词公式表示上述事实。答题思路分三步定义谓词、逐句翻译、检查量词辖域。参考写法# 谓词定义伪代码形式便于对照 # EASY(x): x是容易的课程 # LIKE(x, y): x喜欢y # C(x): x是C班的一门课程 # 事实1凡是容易的课程小王都喜欢 # (∀x)(EASY(x) → LIKE(Wang, x)) # 事实2C班的课程都是容易的 # (∀x)(C(x) → EASY(x)) # 事实3ds是C班的一门课程 # C(ds)这段转换的关键在于量词方向全称量词配蕴含存在量词配合取这是谓词逻辑表示里最容易翻车的地方。事实1中“凡是”对应全称量词主连接词必须是蕴含而不是合取写成(∀x)(EASY(x) ∧ LIKE(Wang, x))意思就变成了“所有课程都容易且小王都喜欢所有课程”语义完全跑偏。事实2同理。事实3是 ground 原子公式不需要量词。检查时逐个念回自然语言念不通就是写错了。2.3 产生式与框架的易混点辨析产生式和谓词逻辑蕴含式的区别是简答题高频点标准答案两条产生式除逻辑蕴含外还包括操作、规则、变换、算子、函数蕴含式只能表示精确知识产生式可表示不精确知识。答题时把这两条写全再补一句“产生式系统由规则库、综合数据库、控制系统三部分组成匹配冲突时需冲突消解”基本拿满。框架表示法常考“槽”和“侧面”的区分。槽描述对象某一方面的属性侧面描述该属性的一个方面。比如教师框架里“职称”是槽“范围教授、副教授、讲师、助教”和“缺省讲师”是侧面。题目给一个框架实例让你填缺省值注意缺省值只在没有具体信息时才生效填了具体值就覆盖缺省这个逻辑和编程里的默认参数一致用类比记不容易忘。3. 确定性推理子句集化简九步与归结反演的标准流程确定性推理是整份资料里计算量最大的模块考点集中在三处谓词公式化为子句集的九个步骤、鲁宾逊归结原理的应用、归结反演证明题的书写。期末卷上通常是一道化简题加一道证明题分值占比高步骤错一步后面全错属于必须动手练的题型。3.1 子句集化简的九步流程与常见卡点九个步骤依次是消去蕴含和等价符号、否定符号内移、变量标准化、消去存在量词、化为前束形、化为Skolem标准形、略去全称量词、消去合取词、子句变量标准化。每一步都有固定规则考试不会跳步给分所以书写时步骤编号要清楚。卡点集中在第四步消去存在量词。规则是存在量词不在全称量词辖域内直接换一个新变量名存在量词在全称量词辖域内用 Skolem 函数代替函数的参数是该存在量词前面所有全称量词约束的变量。举个例子(∀x)(∃y)P(x, y)消去存在量词后是(∀x)P(x, f(x))其中 f(x) 就是 Skolem 函数。很多考生在这里直接写个常量忽略了它对 x 的依赖后面归结时合一失败。提示化简完成后检查每个子句是否只含析取变量是否已标准化为不同名这两项是阅卷时最先扫的地方。3.2 归结反演的真题完整推演看资料里那道招聘题这是归结反演的经典模板三人中至少录取一人如果录取A而不录取B则一定录取C如果录取B则一定录取C。求证公司一定录取C。答题分四步走先写前提公式再否定结论然后化子句集最后归结。完整推演如下# P(x): 录取x # 前提1P(A) ∨ P(B) ∨ P(C) # 前提2P(A) ∧ ¬P(B) → P(C) 即 ¬P(A) ∨ P(B) ∨ P(C) # 前提3P(B) → P(C) 即 ¬P(B) ∨ P(C) # 结论QP(C)否定得 ¬P(C) # 子句集S # S1: P(A) ∨ P(B) ∨ P(C) # S2: ¬P(A) ∨ P(B) ∨ P(C) # S3: ¬P(B) ∨ P(C) # S4: ¬P(C) # 归结过程 # S1 与 S2 归结消去P(A)P(B) ∨ P(C) # 上式与 S3 归结消去¬P(B)P(C) # P(C) 与 S4 归结NIL空子句推演时注意两点一是前提2的化简P(A) ∧ ¬P(B) → P(C)先化蕴含得¬(P(A) ∧ ¬P(B)) ∨ P(C)再用德摩根律得¬P(A) ∨ P(B) ∨ P(C)这一步符号错一个整题崩二是归结顺序资料里给了条实用建议——按子句由长到短归结长句子里互补文字多容易推进。空子句 NIL 出现即证明完成答题时最后一行必须明确写出“出现空子句故结论成立”不写这句可能扣结论分。3.3 归结求解问题的 ANSWER 技巧求解题和证明题的差别在于结论不是判断真假而是求一个具体答案比如“小张的老师是谁”。套路是在否定结论时构造¬Q ∨ ANSWER的析取式并入子句集归结到最后得到ANSWER(某值)即为答案。资料里那道师生关系题关键子句是¬Teacher(A, Zhang) ∨ ANSWER(A)与¬Classmate(Li, y) ∨ Teacher(Wang, y)和Classmate(Li, Zhang)逐步归结最终得到ANSWER(Wang)。答题时把 ANSWER 谓词当成普通谓词参与合一不要单独处理。易错点是忘了把 ANSWER 和否定结论写成析取式直接否定结论去归结最后只能得到空子句而拿不到答案值。4. 不确定性推理可信度合成与证据理论的算分模板不确定性推理是概念汇总里公式最密的一章可信度方法、证据理论、模糊推理三套体系各有各的算子。考试形式以计算题为主给一组 CF 值或概率分配函数要求算出最终可信度或信任/似然函数值。这类题不怕难怕的是公式记混、符号搞反下面把三套模板拆开。4.1 可信度方法的传递与合成公式可信度 CF 取值范围 [-1, 1]三条核心公式必须背熟传递CF(H) CF(H,E) × max{0, CF(E)}合取证据CF(E) min{CF(E1), CF(E2), ...}析取证据CF(E) max{CF(E1), CF(E2), ...}合成两条知识对同一结论的影响时分情况两个 CF 同号CF CF1 CF2 - CF1×CF2异号CF (CF1 CF2) / (1 - min{|CF1|, |CF2|})。资料里的例题算出 CF1(H)0.28、CF2(H)0.48、CF3(H)-0.27先合同号得 0.280.48-0.28×0.480.63再与 -0.27 异号合成得 (0.63-0.27)/(1-0.27)0.49。算的时候把中间值写出来阅卷按步给分跳步等于送分。注意传递公式里 max{0, CF(E)} 的截断不能省CF(E) 为负时传递结果直接取 0表示证据为假则规则不激活。这个细节每年都有人漏。4.2 证据理论的信任函数与似然函数计算证据理论的核心是三个量概率分配函数 M、信任函数 Bel、似然函数 Pl。关系是Bel(A) ΣM(B)B 取 A 的所有子集Pl(A) 1 - Bel(¬A)。资料例题里 D{红,黄,蓝}M({红})0.3、M({黄})0、M({红,黄})0.2则 Bel({红,黄})0.300.20.5Pl({蓝})1-Bel({红,黄})1-0.50.5。答题模板固定为三步列样本空间、算 Bel、算 Pl。易错在 Bel 求和范围——是 A 的所有子集不是 A 的元素把 Bel({红,黄}) 算成 M({红})M({黄}) 就漏了 M({红,黄}) 这一项。正交和公式里 K≠0 才有正交和K0 表示两个分配函数矛盾这个判断常以判断题出现。4.3 模糊集合运算的算子对照模糊集合的运算题给两个模糊集合的 Zadeh 表示要求算交、并、补、代数积、代数和、有界和、有界积等。算子对照如下运算算子规则交 A∩B逐元素取 min并 A∪B逐元素取 max补 ¬A逐元素 1 - μ代数积 A·B逐元素相乘代数和 ABμA μB - μA×μB有界和 A⊕Bmin(1, μA μB)有界积 AⓧBmax(0, μA μB - 1)资料例题里 A·B 逐元素相乘得 0.02、0、0.63、0、0.15AB 用代数和公式得 0.28、0.4、0.97、1.0、0.65A⊕B 用有界和得 0.3、0.4、1、1.0、0.8AⓧB 用有界积得 0、0、0.6、0、0。练的时候把每个元素的中间计算写一行别心算心算在有界积的 max(0, ...) 上特别容易把负值留成负数。5. 易错点清单五类高频失分题的对错拆解这一章专挑卷面上反复出现的失分题每条按“错在哪、为什么错、怎么答对”写考前过一遍比刷新题有用。第一类谓词公式量词与连接词搭配错。错在把“所有A都是B”写成(∀x)(A(x) ∧ B(x))。为什么错合取表示所有个体同时满足 A 和 B丢失了条件关系。怎么答对全称量词后接蕴含(∀x)(A(x) → B(x))存在量词后接合取(∃x)(A(x) ∧ B(x))写完念回中文验证。第二类子句集化简漏掉变量标准化。错在不同子句用了同名变量归结时误合一。为什么错谓词公式里不同量词辖域的变量独立不标准化会被当成同一变量。怎么答对第四步和第九步各做一次变量重命名保证每个子句的变量名全局唯一。第三类可信度合成异号公式记反。错在异号时用CF1 CF2直接相加。为什么错异号表示两条知识对结论影响相反直接加会超出 [-1,1] 或方向错误。怎么答对异号用(CF1 CF2) / (1 - min{|CF1|, |CF2|})分母取绝对值较小者算完检查结果是否落在两值之间。第四类证据理论 Bel 求和范围错。错在只对单元素子集求和。为什么错信任函数是对 A 的所有子集求和多元素子集的 M 值也要计入。怎么答对先把 A 的所有子集列全再逐个加 M 值列全这一步不能省。第五类归结反演忘记否定结论。错在直接把结论当子句加入集合去归结。为什么错归结反演是反证法必须把结论否定后与前提一起构成不可满足的子句集。怎么答对写子句集前先单独一行写“否定结论得 ¬Q”再化子句并入 S这个动作形成肌肉记忆就不会漏。6. 考前七天的练法从概念默写到限时推演最后说怎么用这份资料练。概念部分不要通读按章做默写合上资料每章挑五个核心定义写出来写完对照原文改改完的错点单独抄一页。知识表示章默写四种方法的优缺点对照表确定性推理章默写子句集九步和归结反演四步不确定性推理章默写三套公式。默写不过关做题一定卡壳。计算题按题型限时练。子句集化简一道控制在八分钟内归结反演证明一道十分钟可信度合成一道六分钟证据理论一道五分钟模糊运算一道五分钟。限时不是为了快是为了暴露你在哪一步犹豫——犹豫的那一步就是没记牢的地方回头把该步的规则单独抄三遍。资料里代码框标注为非重点的内容直接跳过别在非考点上耗时间。证明题练的时候强制走完整流程写谓词定义、写前提公式、写否定结论、化子句集、逐步归结、写结论。每一步单独成行哪怕觉得显然也写出来。我当年第一次做归结题觉得自己心里清楚就行结果考场上跳了否定结论那步整道题从反证法变成了直接证明逻辑根本走不通十几分没了。从那以后我每次做证明题都强制把“否定结论”四个字写在草稿纸第一行写完才动笔化子句。这个习惯看着笨但能保住不该丢的分。希望帮到你。本文还有配套的精品资源点击获取