2026-01-06-人工智能导论复习
最后更新时间:
页面浏览: 加载中...
第一章
1.1 什么是人类智能?它有哪些特点?
- 人类智能是指人类在认识、适应和改造客观世界的过程中,由一系列核心能力构成的综合性心智功能。其本质在于能理解、推理、学习并运用知识解决复杂问题。
- 主要特点:
- 感知与理解:能通过感官获取信息,并理解其含义。
- 学习与适应:能从经验中学习,更新知识,适应新环境。
- 推理与解决问题:能运用逻辑、归纳、演绎等方法,从已知推知未知,并制定策略解决问题。
- 使用语言:能用复杂的符号系统(语言)进行交流、表达和思考。
- 具有意识与能动性:有自我意识,能进行有目的、有计划的主动行为。
1.2 什么是人工智能?它的发展过程经历了哪些阶段?
- 人工智能是计算机科学的一个分支,旨在研究、开发用于模拟、延伸和扩展人的智能的理论、方法、技术及应用系统。其目标是使机器能够胜任一些通常需要人类智能才能完成的复杂工作。
- 主要发展阶段:
- 孕育期(1956 年以前):数理逻辑、控制论、信息论等理论为 AI 诞生奠定基础。图灵提出“机器能思考吗?”的划时代问题。
- 形成与热潮期(1956-1970s 初):1956 年达特茅斯会议正式提出“人工智能”学科名称。早期在问题求解、定理证明、机器翻译等方面取得突破,乐观情绪高涨。
- 知识应用与专家系统时期(1970s-1980s):研究者意识到“知识”的重要性,专家系统(将人类专家的知识规则化)成为主流,AI 走向商业化应用。
- 机器学习兴起与平稳发展期(1980s 末-2010 初):随着互联网兴起和数据量增长,以统计学习和神经网络复兴(连接主义)为代表的机器学习方法成为核心。支持向量机、决策树等方法广泛应用。
- 深度学习与大数据驱动期(2010s 至今):得益于大数据、强算力(如 GPU)和算法改进(如深度神经网络),深度学习在图像识别、自然语言处理等领域取得突破性进展,引发新一轮 AI 热潮。
1.3 人工智能研究的基本内容有哪些?
根据您图片中的提示并综合常见分类,其基本内容包括:
- 知识表示:研究如何用机器可处理的形式来表示和存储人类的知识(如事实、规则)。
- 机器感知:研究如何让机器通过“感官”获取外部信息,核心领域包括计算机视觉(看)和语音识别(听)。
- 机器思维:在感知的基础上,研究如何对信息进行推理、决策和问题求解,是 AI 的核心。
- 机器学习:研究如何让机器自动从数据中学习规律和知识,从而不断改进性能,是实现人工智能的关键途径。
- 自然语言处理:研究如何实现人机间的自然语言通信,包括理解和生成。
- 行为主义与智能系统:研究如何将上述能力综合,构建能对外界环境做出合理反应和行动的智能体或机器人。
1.4 人工智能有哪些主要的研究领域?
(以下是部分核心与活跃的研究领域)
- 机器感知:计算机视觉、语音识别、多模态感知。
- 自然语言处理:机器翻译、文本理解与生成、对话系统(聊天机器人)。
- 机器学习:深度学习、强化学习、迁移学习、联邦学习。
- 知识表示与推理:知识图谱、自动推理、专家系统。
- 机器人学:环境感知、运动控制、人机协作。
人工智能交叉与应用领域:
- 智能控制:如智能驾驶。
- 智能计算:演化计算、群智能优化。
- 数据挖掘与大数据分析。
- 人工智能与其他学科的交叉:如生物信息学、计算金融、智慧医疗等。
第二章
2.1 什么是知识?它有哪些特性?有哪几种分类方法?
2.2 什么是知识表示?如何选择知识表示方法?
2.3 什么是命题?请写出三个真值为 T 及真值为 F 的命题。
2.4 什么是谓词?什么是谓词个体及个体域?函数与谓词的区别是什么?
2.5 谓词逻辑和命题逻辑的关系如何?有何异同?
2.6 什么是谓词的项?什么是谓词的阶?请写出谓词的一般形式。
2.7 什么是谓词公式?什么是谓词公式的解释?
2.8 一阶谓词逻辑表示法是结构化知识还是非结构化知识?适合于表示哪种类型的知识?它有哪些特点?
2.9 请写出用一阶谓词逻辑表示法表示知识的步骤。
2.10 产生式的基本形式是什么?它与谓词逻辑中蕴涵式有什么共同处和不同处?
2.11 产生式系统由哪几部分组成?
2.12 试述产生式系统求解问题的一般步骤。
2.13 产生式系统中,推理机的推理方式有哪几种?在产生式推理过程中,如果发生策略冲突,如何解决?
2.14 试述产生式表示法的特点。
2.15 框架的一般表示形式是什么?
2.16 框架表示法有何特点?请叙述用框架表示法表示知识的步骤。
2.17 试构造一个描述读者的办公室或卧室的框架系统。
2.18 试构造一个描述计算机主机的框架系统。
2.19 请给出一个知识图谱实例。
参考答案
2.1 什么是知识?它有哪些特性?有哪几种分类方法?
- 知识:知识是经过加工、整理、解释、挑选和改造的信息,是人们在长期实践中积累的对客观世界的规律性认识。在人工智能中,知识是使机器具备智能的基石。
- 特性:相对正确性(在特定条件下成立)、不确定性、可表示性、可利用性。
分类方法:
- 按作用层次:事实性知识、过程性知识、控制性知识。
- 按确定性:确定性知识、不确定性知识。
- 按表现形式:显性知识(可编码)、隐性知识(经验、直觉)。
2.2 什么是知识表示?如何选择知识表示方法?
知识表示:将人类知识形式化、模型化,以便计算机能够存储、处理和运用的一套方法和约定。它是数据结构和解释过程的结合。
选择依据:① 充分表示领域知识;② 支持高效推理;③ 便于知识的获取与管理;④ 易于理解、维护。
2.3 什么是命题?请写出三个真值为 T 及真值为 F 的命题。
命题:一个能判断其真(T)或假(F) 的陈述句。
示例:
- 真命题:北京是中国的首都。1+1=2。太阳从东方升起。
- 假命题:2 大于 3。鱼在天上飞。地球是平的。
2.4 什么是谓词?什么是谓词个体及个体域?函数与谓词的区别是什么?
谓词:用于描述个体性质或个体间关系的语句成分。例如,“是红色的(x)”描述性质,“朋友(x, y)”描述关系。
- 个体:可以独立存在的具体或抽象对象(如“小明”、“5”)。
- 个体域:个体所组成的集合(讨论范围)。
函数与谓词的区别:函数的返回值是一个个体(如
父亲(小明)返回一个人),而谓词的返回值是一个真值(T 或 F)(如朋友(小明, 小红)判断真假)。2.5 谓词逻辑和命题逻辑的关系如何?有何异同?
关系:命题逻辑是谓词逻辑的基础,谓词逻辑是命题逻辑的细化和扩展。
- 相同点:都使用逻辑连接词(与、或、非等)和真值运算。
不同点:
- 描述粒度:命题逻辑以整个句子为基本单元,无法分析内部结构。谓词逻辑可分析到个体、谓词和量词。
- 表达能力:谓词逻辑能表达“所有”、“存在”等量化的普遍性知识,表达能力远强于命题逻辑。
2.6 什么是谓词的项?什么是谓词的阶?请写出谓词的一般形式。
谓词的项:充当谓词逻辑自变量的个体。可以是常量、变量或函数。
- 谓词的阶:由项的取值范围决定。一阶谓词的项是个体,二阶谓词的项可以是谓词或集合。
一般形式:
P(x1, x2, ..., xn)。其中 P 是谓词名,x1~xn 是项。2.7 什么是谓词公式?什么是谓词公式的解释?
谓词公式:由谓词、项、逻辑连接词、量词和括号按规则组成的合法符号串,用于表达一个完整的判断。
解释:给谓词公式中的个体常量、函数符号、谓词符号赋予具体的含义(指定个体域、对应关系和函数映射),从而确定公式的真值。
2.8 一阶谓词逻辑表示法是结构化知识还是非结构化知识?适合于表示哪种类型的知识?它有哪些特点?
结构化/非结构化:属于结构化知识表示。它精确地描述了知识内部的逻辑结构(个体、谓词、量词)。
- 适合类型:适合表示事物的状态、属性、概念以及它们之间精确的逻辑关系。尤其擅长表达“所有 A 都是 B”、“存在某个 A 具有性质 P”这类精确的、能用公式严格定义的事实和规则。
特点:
- 优点:严密性、精确性、自然性好,接近自然语言和人类思维。
- 缺点:知识粒度细,表示复杂知识时组合爆炸;推理效率相对较低;处理不确定性知识能力弱。
2.9 请写出用一阶谓词逻辑表示法表示知识的步骤。
- 定义个体域:确定所讨论对象的集合。
- 定义谓词和函数:用符号表示个体性质和关系。
- 用连接词和量词将原子谓词公式组合,构成复合公式。
- 对公式进行化简,化为标准式(如前束范式),便于推理。
2.10 产生式的基本形式是什么?它与谓词逻辑中蕴涵式有什么共同处和不同处?
- 基本形式:
IF (前提) THEN (结论/动作),也称为条件-行动对。 与谓词逻辑蕴涵式的异同:
- 共同点:在确定性知识下,形式上都表现为“如果 P,则 Q”。
- 不同点:
- 匹配过程:产生式规则的前提与动态数据库匹配,匹配即执行;蕴涵式是静态逻辑关系。
- 操作:产生式的 THEN 部分不仅可以断言新事实,也可以执行动作(如修改数据库、输出);蕴涵式仅表示逻辑推导关系。
- 控制:产生式系统有独立的推理机控制规则触发顺序;逻辑系统依赖通用推理规则。
2.11 产生式系统由哪几部分组成?
- 规则库:存储所有产生式规则的知识库。
- 综合数据库/工作存储器:存储当前已知的事实、初始数据和中间结论的动态数据库。
- 推理机:控制系统的运行。负责匹配(规则前提与数据库事实)、冲突消解(选择激活的规则)、执行(执行规则结论,更新数据库)。
2.12 试述产生式系统求解问题的一般步骤。
- 初始化:将初始事实和数据存入综合数据库。
- 匹配:推理机将规则库中每条规则的前提与综合数据库中的当前事实进行比对。
- 冲突消解:若有多条规则可被激活,按某种策略(如优先级、特殊性、顺序)选择一条。
- 执行:执行被选中规则的 THEN 部分,可能添加新事实、修改旧事实或执行外部动作,从而更新综合数据库。
- 循环:重复步骤 2-4,直到达到目标状态(数据库包含目标事实)或没有规则可被激活为止。
2.13 产生式系统中,推理机的推理方式有哪几种?在产生式推理过程中,如果发生策略冲突,如何解决?
- 推理方式:
- 正向推理(数据驱动):从已知事实出发,匹配规则前提,逐步推出结论。
- 反向推理(目标驱动):从假设目标出发,寻找支持该目标的证据(规则)。
- 混合推理:结合正向和反向推理。
冲突解决策略:
- 专一性排序:优先选择条件更具体、更特殊的规则。
- 规则排序:按事先指定的固定优先级。
- 数据排序:按前提中条件的新鲜性(新加入的事实优先)或特殊性排序。
- 就近排序:优先选择最近使用过的规则。
- 规模排序:优先选择前提条件多的规则。
2.14 试述产生式表示法的特点。
优点:
- 自然性:接近人类“如果…那么…”的思维习惯。
- 模块性:规则形式单一、相互独立,易于增、删、改。
- 清晰性:知识与控制分离,结构清晰。
缺点:
- 效率低:匹配是组合爆炸问题,求解效率可能不高。
- 不能表达结构性知识:不擅长描述具有复杂内在结构的知识对象。
2.15 框架的一般表示形式是什么?
框架是一种描述固定、典型情景中对象的结构化表示。其一般形式为:
框架名:<框架名>
槽 1:<侧面 11> <值 111>…
<侧面 12> <值 121>…
槽 2:<侧面 21> <值 211>…
…
约束:<约束条件 1>
…
其中,“槽”描述对象的属性或方面,“侧面”描述属性的更详细信息(如默认值、取值范围、触发过程等)。
2.16 框架表示法有何特点?请叙述用框架表示法表示知识的步骤。
- 特点:结构性好、继承性(通过 AKO 槽实现)、自然性(符合人们对典型事物的认知)、便于表达默认知识。
表示步骤:
- 分析待描述对象,确定其框架名。
- 确定描述该对象所需的关键属性,作为槽。
- 为每个槽配备相应的侧面(如值类型、默认值、附加过程)。
- 填写各侧面的具体值。
- 确定与其它框架的继承关系(如
AKO,ISA槽)。
2.17 试构造一个描述读者的办公室或卧室的框架系统。
框架名:<卧室>
AKO:<房间>
位置:<家>
面积:<15 平方米>
功能:<休息, 学习, 储物>
包含家具:<床>, <书桌>, <衣柜>
子框架:<床>
类型:<双人床>
材质:<实木>
子框架:<书桌>
位置:<窗前>
状态:<正在使用>
上放物品:<笔记本电脑>, <台灯>, <书本>
所有者:<读者的名字>
2.18 试构造一个描述计算机主机的框架系统。
框架名:<计算机主机>
AKO:<电子设备>
品牌:<Dell>
型号:<OptiPlex 7080>
状态:<运行中>
包含组件:
槽:<中央处理器>
型号:
主频:<2.9 GHz>
槽:<内存>
容量:<16 GB>
类型:<DDR4>
槽:<硬盘>
类型:<SSD>
容量:<512 GB>
槽:<主板>
型号:<Dell 0WVNPW>
槽:<电源>
功率:<260W>
操作系统:<Windows 10 专业版>
2.19 请给出一个知识图谱实例。
知识图谱是一种以图结构表示实体及其关系的语义网络。
- 示例:一个关于《红楼梦》的微型知识图谱。
- 表示(三元组形式):
(曹雪芹, 创作, 《红楼梦》)(《红楼梦》, 文学体裁, 长篇小说)(《红楼梦》, 主角, 贾宝玉)(《红楼梦》, 主角, 林黛玉)(贾宝玉, 居住地, 大观园)(林黛玉, 性格特点, 多愁善感)(贾宝玉, 爱慕, 林黛玉)(林黛玉, 表兄妹, 贾宝玉)
- 可视化:可以想象成一个图,其中“曹雪芹”、“《红楼梦》”、“贾宝玉”、“林黛玉”、“大观园”等是节点(实体),“创作”、“文学体裁”、“主角”、“居住地”、“爱慕”等是边(关系)。
第三章
3.1 什么是推理、正向推理、逆向推理、混合推理?试列出常用的几种推理方式并列出每种推理方式的特点。
3.2 什么是冲突?在产生式系统中解决冲突的策略有哪些?
3.3 什么是子句?什么是子句集?请写出求谓词公式子句集的步骤。
3.4 谓词公式与它的子句集等价吗?在什么情况下它们才会等价?
3.5 引入鲁宾孙归结原理有何意义?什么是归结原理?什么是归结式?
3.6 请写出利用归结原理求解问题答案的步骤。
解答
3.1 什么是推理、正向推理、逆向推理、混合推理?试列出常用的几种推理方式并列出每种推理方式的特点。
- 推理:从已知事实出发,运用知识推出结论的思维过程。
- 推理方式及其特点:
- 正向推理(数据驱动):从已知事实出发,匹配规则,不断推出新事实直至目标。特点:适用于初始数据明确、目标众多的场合,但可能进行大量与目标无关的推理。
- 逆向推理(目标驱动):从假设目标出发,反向寻找支持它的证据。特点:目的性强,适用于目标单一的场合,但对初始数据的指导性弱。
- 混合推理:结合正向与逆向推理。特点:从初始事实正向推理,得到中间结论;再从目标逆向推理,寻求支持,效率更高。
3.2 什么是冲突?在产生式系统中解决冲突的策略有哪些?
- 冲突:在推理的某一时刻,有多条规则的前提同时与综合数据库匹配成功的情况。
- 冲突解决策略:
- 专一性排序:优先使用条件更具体、范围更小的规则。
- 规则排序:按规则优先级事先固定排序。
- 数据排序:按匹配事实的“新旧”程度(如最新加入的事实优先)或特定性排序。
- 就近排序:优先使用最近被触发过的规则。
3.3 什么是子句?什么是子句集?请写出求谓词公式子句集的步骤。
- 子句:若干文字的析取式(
L₁ ∨ L₂ ∨ ...),其中每个文字是原子公式或其否定。 - 子句集:若干子句的集合,是合取范式(即子句之间是“与”的关系)。
- 求子句集的步骤:
- 消去蕴涵符号:用
¬A ∨ B替换A → B。 - 内移否定符:将
¬移到原子公式前,如¬(A ∧ B)化为¬A ∨ ¬B。 - 变量标准化:使不同量词约束的变量名不同。
- 消去存在量词(Skolem 化)。
- 化为前束形:将所有全称量词移到公式最前面。
- 化为合取范式:将公式内化为子句的合取。
- 消去全称量词和合取词,得到子句集。
- 消去蕴涵符号:用
3.4 谓词公式与它的子句集等价吗?在什么情况下它们才会等价?
- 谓词公式与其子句集并不等价。在转化过程中(特别是 Skolem 化) 会引入新常量/函数,导致两者在逻辑上不完全等价。
- 它们只是在不可满足性上等价。即,原谓词公式是不可满足的,当且仅当其子句集是不可满足的。这是归结原理能用于自动定理证明的基础。
3.5 引入鲁宾孙归结原理有何意义?什么是归结原理?什么是归结式?
- 意义:为定理的机器自动证明提供了一个简洁、规范且完备的推理方法。它将复杂的推理过程归结为简单的子句归结,奠定了自动推理的理论基础。
- 归结原理:在子句集中进行。如果两个子句中分别包含互补文字(如
P和¬P),则可消去这对互补文字,将两个子句的其余部分合并构成新子句。 - 归结式:由归结操作生成的新子句。
3.6 请写出利用归结原理求解问题答案的步骤。
- 化已知条件为谓词公式:将已知事实和知识表示为谓词公式集合
F。 - 化待证目标为谓词公式:将待证明的结论表示为谓词公式
G。 - 构造子句集:将公式集合
{F, ¬G}化为子句集S。 - 归结演绎:对子句集
S反复应用归结原理,若最终能推出空子句(□),则说明F → G成立,证明结束。若无法归结出空子句,且无法继续归结,则说明原结论不成立。
第四章
4.1 什么是不确定性推理?有哪几类不确定性推理方法?不确定性推理中需要解决的基本问题有哪些? 4.2 什么是可信度?由可信度因子 CF(H,E)的定义说明它的含义。 4.3 简述求取问题结论可信度的步骤。 4.4 说明概率分配函数、信任函数、似然函数的含义。 4.5 概率分配函数与概率相同吗?为什么? 4.6 如何用 D-S 证据理论描述假设、规则和证据的不确定性,并实现不确定性的推理组合? 4.7 什么是模糊性?它与随机性有什么区别?试举出几个日常生活中的模糊概念。 4.8 模糊推理的一般过程是什么?
答案
4.1 什么是不确定性推理?有哪几类不确定性推理方法?不确定性推理中需要解决的基本问题有哪些?
- 定义:不确定性推理是指在知识(规则)和证据(事实)不精确、不完备、模糊或存在矛盾的情况下,依然能够进行推理并得出结论的一种方法。其结论通常附带有不确定性度量。
- 主要方法:
- 可信度方法(如 MYCIN 系统模型)
- 主观贝叶斯方法
- 证据理论(D-S 理论)
- 模糊推理
- 基本问题:
- 不确定性的表示:如何描述知识、证据和结论的不确定性度量(如可信度、概率、隶属度等)。
- 不确定性的计算:如何定义不确定性在推理过程中的传播、更新和组合的算法。
- 不确定性度量的语义:明确不确定性度量的实际含义(如可信度是信任增长度,概率是客观频率等)。
- 证据的组合:当多条证据支持同一结论时,如何合并它们的影响。
4.2 什么是可信度?由可信度因子 CF(H,E)的定义说明它的含义。
- 可信度:是专家系统中用来表示假设 H在证据 E成立的前提下,其为真的信任程度的一种不确定性度量。
- 可信度因子 CF(H,E):定义为信任增长度。其经典定义为:
CF(H,E) = MB(H,E) - MD(H,E)MB(H,E):证据 E 对假设 H 的信任增加度量。MD(H,E):证据 E 对假设 H 的不信任增加度量。
- 含义:
CF(H,E) > 0:表示证据 E 的出现增加了假设 H 为真的信任度,正值越大,信任度增加越多。CF(H,E) = 0:表示证据 E 与假设 H 无关,或MB=MD,即信任与不信任的增量相同。CF(H,E) < 0:表示证据 E 的出现增加了假设 H 为假的不信任度。
4.3 简述求取问题结论可信度的步骤。
- 建立规则库:用
IF...THEN...的形式定义知识,并为每条规则赋予可信度因子CF(Rule)。 - 初始化证据可信度:为已知的初始证据
E赋予初始可信度CF(E)。 - 进行正向推理:从已知证据出发,匹配可用的规则。
- 计算结论的可信度:对于匹配成功的规则
IF E THEN H (CF(Rule)),结论H的可信度CF(H)由前提E的可信度CF(E)和规则的可信度CF(Rule)共同决定,公式通常为:CF(H) = CF(E) * CF(Rule)。 - 组合不同证据:如果同一个结论
H被多条路径(规则)推导出来,得到多个CFi(H),则需使用组合公式(如合成法)计算最终的CF(H)。
4.4 说明概率分配函数、信任函数、似然函数的含义。
这是 D-S 证据理论中的核心概念。设Θ为识别框架(所有可能假设的集合)。
- 概率分配函数(m):是一个从
Θ的幂集2^Θ到[0,1]的映射,满足m(∅)=0且∑m(A)=1。m(A)表示证据本身支持命题A成立的基本概率分配,而不支持A的任何子集。 - 信任函数(Bel):对任意命题
A ⊆ Θ,Bel(A) = ∑_{B ⊆ A} m(B)。表示证据对A的总信任度,即所有支持A的子集(B ⊆ A)的基本概率之和。 - 似然函数(Pl):对任意命题
A ⊆ Θ,Pl(A) = 1 - Bel(¬A)。表示不否定A的程度,即A的可能信任度。区间[Bel(A), Pl(A)]构成了信任区间,描述了对A的不确定性。
4.5 概率分配函数与概率相同吗?为什么?
不同。 主要原因:
- 定义域不同:概率分配函数
m的定义域是识别框架Θ的幂集2^Θ(即所有子集),而概率函数的定义域是Θ本身(基本事件)。 - 分配对象不同:
m(A)可以分配给任何命题(子集)A,表示证据对A本身的直接支持度,无需将支持度再分配给A的内部元素。而概率必须满足可加性,分配给复合事件(如{A, B})的概率必须等于分配给基本事件P(A)+P(B)。 - 对未知的处理不同:证据理论允许
m(Θ) > 0,即保留一部分信任度给“未知”,表示对识别框架中所有可能性的无知。而在经典概率中,P(Θ)=1是确定的,无法表示这种无知。
4.6 如何用 D-S 证据理论描述假设、规则和证据的不确定性,并实现不确定性的推理组合?
- 描述不确定性:
- 证据:用基本概率分配函数
m来描述。每个证据对应一个m函数,表示该证据对识别框架Θ中各个命题的支持程度。 - 规则:通常可以表示为
IF E THEN H, with m的形式,或者用规则强度、信度函数等与证据组合。 - 假设:是识别框架
Θ中的子集。其不确定性由信任函数Bel和似然函数Pl构成的信任区间[Bel, Pl]来描述。
- 证据:用基本概率分配函数
- 推理组合:通过Dempster 组合规则实现。对于两个相互独立的证据源
E1和E2,其对应的概率分配为m1和m2,组合后的新概率分配m = m1 ⊕ m2计算公式为:m(C) = K^{-1} * ∑_{A∩B=C} m1(A)*m2(B),其中C ≠ ∅。K = 1 - ∑_{A∩B=∅} m1(A)*m2(B)是归一化常数,用于排除冲突证据的影响。
4.7 什么是模糊性?它与随机性有什么区别?试举出几个日常生活中的模糊概念。
- 模糊性:指事物在概念和外延上所具有的不分明性,源于事物类属的“亦此亦彼”性。是对静态事物本身状态的描述。
- 区别:
- 产生原因:随机性源于因果律的缺失,是事件是否发生的不确定性;模糊性源于排中律的缺失,是事件本身状态的不确定性。
- 描述工具:随机性用概率论描述(事件发生的机会);模糊性用模糊集合论描述(对象属于集合的程度)。
- 举例:“明天可能下雨”是随机性;“现在是阴天”是模糊性(“阴天”的边界是模糊的)。
- 日常模糊概念:高个子、年轻人、热水、天气很好、有点咸、打扫干净。
4.8 模糊推理的一般过程是什么?
- 模糊化:将输入的精确值,根据预先定义的隶属度函数,转化为对应模糊语言变量(如“高”,“中”,“低”)的隶属度。
- 模糊规则匹配:将模糊化后的输入,与知识库中的模糊规则(IF-THEN 形式)的前件进行匹配,计算每条规则的激活强度(通常用取小
min或乘积运算)。 - 模糊推理:根据规则的激活强度,裁剪或缩放规则后件对应的模糊集的隶属度函数,得到每条规则输出的模糊结论。
- 模糊结论合成:将所有被激活的规则输出的模糊结论进行聚合(通常用取大
max运算),形成一个综合的输出模糊集合。 - 去模糊化:将聚合后的输出模糊集合,通过某种算法(如重心法、最大隶属度法、中位数法等)转换成一个精确的输出值。
第五章
5.1 什么是搜索?有哪两大类不同的搜索方法?两者的区别是什么?
5.2 什么是启发式搜索?什么是启发信息?
5.3 用状态空间法表示问题时,什么是问题的解?求解过程的本质是什么?什么是最优解?最优解唯一吗?
5.4 请写出状态空间图的一般搜索过程。在搜索过程中 open 表和 closed 表的作用分别是什么?有何区别?
5.5 什么是盲目搜索?主要有几种盲目搜索策略?
5.6 在深度优先搜索中,每个结点的子结点是按某种次序生成和扩展的,在决定生成子状态的最优次序时,应该用什么标准来衡量?
5.7 宽度优先搜索与深度优先搜索有何不同?分析深度和宽度优先的优缺点。在何种情况下,宽度优先搜索优于深度优先搜索?在何种情况下,深度优先搜索优于宽度优先搜索?
5.8 什么是 A搜索算法?它的估价函数是如何确定的?A搜索算法与 A 搜索算法的区别是什么?
解答
5.1 搜索:在状态空间中寻找从初始状态到目标状态的路径的过程。分为盲目搜索(无额外信息,按固定顺序搜索)和启发式搜索(利用启发信息指导搜索)。区别在于是否使用启发信息。
5.2 启发式搜索:利用启发信息(即问题领域的额外知识,常表示为启发函数 h(n),用于估计到目标的代价)来引导搜索方向,提高效率的搜索方法。
5.3 问题的解:一个从初始状态到目标状态的操作序列。求解本质:在状态空间中找路径。最优解:总代价最小的解。最优解不一定唯一。
5.4 一般搜索过程:
- 初始状态放入 OPEN 表。
- 若 OPEN 空则失败。
- 取一状态。
- 若是目标则成功。
- 否则扩展,生成后继状态。
- 处理后继状态。
- 新状态按策略放入 OPEN,父状态移入 CLOSED。
重复 2-7。
OPEN 表:存放待考察节点(前沿)。CLOSED 表:存放已考察节点(历史)。区别在于节点状态(待扩展 vs 已扩展)。
5.5 盲目搜索:不利用问题特定信息,按预定顺序搜索的策略。主要有:宽度优先搜索、深度优先搜索、一致代价搜索、深度受限搜索、迭代加深搜索。
5.6 在深度优先搜索中,决定子状态生成的最优次序:DFS 本身无最优次序,按预设顺序(如字母序)。若想引入启发性,可按启发函数h(n)排序,优先扩展h(n)小的子节点(即更接近目标的状态)。
5.7 宽度优先 vs 深度优先:
- 不同:BFS 用队列逐层扩展;DFS 用栈沿分支深入。
- 优缺点:BFS 完备且(在等代价时)最优,但空间开销大;DFS 空间开销小,但可能不完备,且找到的解不一定最优。
- BFS 优于 DFS:解在浅层、需求最优解、空间足够时。
- DFS 优于 BFS:空间深度大、只求可行解、BFS 空间无法承受时。
_5.8 A搜索算法_*:一种启发式搜索,用估价函数f(n)=g(n)+h(n)(g(n)为实际代价,h(n)为估计代价)选择节点扩展。
- 估价函数确定:
h(n)需根据问题领域知识设计(如直线距离)。 - 与 A 搜索算法的区别:A 算法泛指使用
f(n)=g(n)+h(n)的算法;A_算法是 A 算法的特例,要求h(n)满足可采纳性(即h(n) ≤ h*(n),h*(n)为真实最小代价),此条件下 A_能保证找到最优解。
第六章
6.1 遗传算法的基本步骤和主要特点是什么?
6.2 适应度函数在遗传算法中的作用是什么?试举例说明如何构造适应度函数。
6.3 选择的基本思想是什么?
6.4 简述多种群遗传算法与基本遗传算法的异同。
6.5 简述多倍体遗传算法与基本遗传算法的异同。
6.6 群智能算法的基本思想是什么?
6.7 群智能算法的主要特点是什么?
6.8 列举几种典型的群智能算法,分析它们的主要优点、缺点。
6.9 简述群智能算法与进化算法的异同。
6.10 简述粒子群算法的流程。
6.11 简述粒子群算法位置更新方程中各部分的影响。
6.12 举例说明粒子群算法的搜索原理,并简要叙述粒子群算法有哪些特点。
6.13 粒子群算法的寻优过程包含哪几个阶段?寻优的准则有哪些?
6.14 粒子群算法中的参数如何选择?
6.15 举例说明蚁群算法的搜索原理,并简要叙述蚁群算法的特点。
6.16 蚁群算法的寻优过程包含哪几个阶段?寻优的准则有哪些?
6.17 蚁群算法中的参数如何选择?
6.1 遗传算法的基本步骤和主要特点是什么?
- 基本步骤:
- 初始化:随机生成初始种群(一组候选解)。
- 适应度评估:计算种群中每个个体的适应度值。
- 选择:根据适应度高低,选择优良个体作为父代。
- 交叉:将选出的父代个体两两配对,以一定概率交换部分基因,产生新个体(子代)。
- 变异:以较低概率改变子代个体中某些基因的值,引入新特征。
- 生成新种群:用子代个体替换部分或全部父代,形成新一代种群。
- 终止判断:若满足终止条件(如达到最大迭代次数或找到满意解),则输出最优解;否则返回步骤 2。
- 主要特点:
- 群体搜索:同时对解空间中的多个点进行搜索,并行性好。
- 启发性随机搜索:通过概率规则(选择、交叉、变异)引导搜索,非确定性。
- 无需梯度信息:仅需目标函数(适应度函数)值,不依赖函数的连续、可微等性质。
- 隐含并行性:通过种群内个体的信息交换实现全局搜索。
6.2 适应度函数在遗传算法中的作用是什么?试举例说明如何构造适应度函数。
- 作用:
- 评价个体优劣:适应度值高低直接反映个体(解)的质量。
- 指导选择操作:适应度越高,被选中遗传到下一代的机会越大,是算法进化的驱动力。
- 构造举例:求解函数
f(x) = x²在[0, 31]上的最大值。- 编码:用 5 位二进制串表示
x。 - 直接法:个体解码后的值
x代入目标函数,fit(x) = f(x) = x²即可作为适应度。 - 若求最小值,可构造
fit(x) = C_max - f(x)或fit(x) = 1 / (f(x) + ε),确保适应度非负且与目标值成反比。
- 编码:用 5 位二进制串表示
6.3 选择的基本思想是什么?
- 模拟“适者生存”的自然法则,使种群中适应度高的个体有更大的概率被选中,将其优良基因遗传给下一代。其核心是基于概率的优胜劣汰,引导搜索方向朝着更优解的区域进行。
6.4 简述多种群遗传算法与基本遗传算法的异同。
- 相同点:基本操作单元都是个体,都包含选择、交叉、变异等遗传操作。
- 不同点:
- 种群结构:基本 GA 为单一同质种群;多种群 GA 则并行维护多个子种群,并可能定期在种群间迁移(交换)部分优秀个体。
- 目的:多种群 GA 旨在维持种群多样性,有效防止早熟收敛,增强全局探索能力,是并行 GA的一种典型实现。
6.5 简述多倍体遗传算法与基本遗传算法的异同。
- 相同点:遵循类似的进化流程。
- 不同点:
- 基因编码:基本 GA 个体为单倍体染色体(一套基因);多倍体 GA 个体为多倍体(如二倍体,具有两套基因)。
- 表达与遗传:多倍体存在显隐性关系,只有显性基因决定个体性状(适应度),但遗传时两套基因共同参与。这增强了算法的记忆能力和对环境变化的鲁棒性。
6.6 群智能算法的基本思想是什么?
- 模拟生物群体(如鸟群、蚁群、鱼群)的集体智能行为。群体中简单的个体(智能体)遵循相对简单的规则,并且个体之间以及个体与环境之间进行局部交互和信息共享,通过这些分散的、自组织的局部互动,在群体层面涌现出复杂的、高效的全局智能行为,从而解决复杂的优化或协同问题。
6.7 群智能算法的主要特点是什么?
- 分布式、自组织:无中心控制,依靠个体简单规则和局部交互。
- 正反馈:好的解/路径能吸引更多个体(如蚁群的信息素增强)。
- 负反馈:防止陷入局部最优(如信息素挥发)。
- 鲁棒性强:个体简单,部分失效不影响群体功能。
- 并行性强:个体可同时独立行动。
- 通用性好:对目标函数要求低,适合黑箱优化。
6.8 列举几种典型的群智能算法,分析它们的主要优点、缺点。
粒子群优化算法:
- 优点:原理简单,参数少,收敛速度快,易于实现。
- 缺点:后期易陷入局部最优,对离散问题处理不便。
蚁群优化算法:
- 优点:正反馈强,适合路径优化等组合问题,鲁棒性好。
- 缺点:初期信息素积累慢,收敛速度较慢,参数设置复杂。
人工鱼群算法/狼群算法等:
- 优点:模拟更复杂的生物行为,全局搜索能力可能更强。
- 缺点:模型更复杂,计算开销大,理论分析较难。
6.9 简述群智能算法与进化算法的异同。
- 相同点:都是受自然启发的元启发式优化算法,属于群体智能范畴,用于复杂问题求解。
- 不同点:
- 灵感来源:进化算法源于生物进化(遗传、变异、选择);群智能算法源于生物群体的社会行为(协作、竞争、信息共享)。
- 核心操作:进化算法核心是基因操作(交叉、变异);群智能算法核心是个体间信息交互与行为模仿(如跟随最优粒子、信息素跟踪)。
- “代”的概念:进化算法迭代代次明显;群智能算法中个体持续更新,代次界限模糊。
6.10 简述粒子群算法的流程。
- 初始化:随机初始化粒子的位置和速度,设定参数(惯性权重、加速常数等)。
- 评估:计算每个粒子的适应度值。
- 更新个体与群体历史最优:对每个粒子,将其当前位置与自身历史最优位置比较并更新;与群体历史最优位置比较并更新。
更新速度与位置:根据公式更新每个粒子的速度和位置。
- 速度更新公式:
v_i(t+1) = w * v_i(t) + c1*r1*(pbest_i - x_i(t)) + c2*r2*(gbest - x_i(t)) - 位置更新公式:
x_i(t+1) = x_i(t) + v_i(t+1)
- 速度更新公式:
终止判断:满足终止条件(如达到精度或最大迭代次数)则停止,输出全局最优解;否则返回步骤 2。
6.11 简述粒子群算法位置更新方程中各部分的影响。
v_i(t)(惯性部分):代表粒子先前速度的继承,w为惯性权重,平衡全局与局部搜索能力。w大则探索能力强,w小则开发能力强。c1*r1*(pbest_i - x_i(t))(认知部分):代表粒子向自身历史最优位置学习的趋势。c1为认知加速常数,控制个体经验的影响力。c2*r2*(gbest - x_i(t))(社会部分):代表粒子向群体历史最优位置学习的趋势。c2为社会加速常数,控制社会信息的影响力。r1, r2:随机数,增加搜索的随机性。
6.12 举例说明粒子群算法的搜索原理,并简要叙述粒子群算法有哪些特点。
- 搜索原理举例:想象一群鸟在随机搜索一片区域的食物。每只鸟不知道食物在哪,但知道自己和同伴们曾找到的最近食物的位置。鸟通过不断调整自己的飞行方向和速度,既根据自己的经验向自己记忆中的最好位置飞,也向整个鸟群公认的最好位置飞,最终整个鸟群会聚集到食物最多的地方。
- 特点:
- 原理简单,易实现。
- 参数少,收敛速度快。
- 需调整参数少,但惯性权重
w等对性能影响大。 - 本质上是全局搜索,但后期易陷入局部最优。
6.13 粒子群算法的寻优过程包含哪几个阶段?寻优的准则有哪些?
- 阶段:
- 探索阶段:初期,粒子在解空间广泛探索,寻找有希望的区域。
- 开发阶段:后期,粒子集中在最有希望的区域进行精细搜索。
- 寻优准则:
- 收敛准则:如全局最优位置
gbest在连续若干代内不再变化,或变化小于阈值。 - 迭代次数:达到预设的最大迭代次数。
- 精度准则:找到的解的适应度值达到预设目标。
- 收敛准则:如全局最优位置
6.14 粒子群算法中的参数如何选择?
- 惯性权重
w:常采用线性递减策略,初期w较大(如 0.9)利于探索,后期w较小(如 0.4)利于开发。 - 加速常数
c1, c2:通常取c1 = c2 = 2左右。c1大可增强个体经验,c2大可增强社会学习。有研究建议c1从大到小,c2从小到大变化。 - 种群规模:通常 20-50,复杂问题可增大。
- 速度限制
V_max:通常设定为变量范围的 10%-20%,防止搜索步长过大。
6.15 举例说明蚁群算法的搜索原理,并简要叙述蚁群算法的特点。
- 搜索原理举例:求解旅行商问题。蚂蚁随机选择路径,在路径上释放信息素。较短的路径因为蚂蚁往返更快,单位时间内信息素积累更多。后续蚂蚁倾向于选择信息素浓度更高的路径,从而进一步强化该路径。通过“信息素正反馈”和“挥发负反馈”(防止信息素无限累积),最终所有蚂蚁倾向于收敛到最短路径上。
- 特点:
- 正反馈机制,能快速发现较好解。
- 分布式计算,易于并行。
- 强启发性,与问题结合紧密。
- 初期信息素匮乏,收敛速度慢。
- 参数设置对性能影响显著。
6.16 蚁群算法的寻优过程包含哪几个阶段?寻优的准则有哪些?
- 阶段:
- 初始化阶段:设定参数,初始化信息素。
- 迭代构建阶段:每只蚂蚁根据路径上的信息素浓度和启发信息(如距离倒数),以一定概率构建完整路径。
- 信息素更新阶段:所有蚂蚁走完后,根据路径质量(长度)更新信息素(增加优质路径信息素,同时所有路径信息素挥发)。
- 寻优准则:同 PSO,包括最大迭代次数、最优解连续不变代数、达到期望精度等。
6.17 蚁群算法中的参数如何选择?
- 信息素重要性因子
α:值越大,蚂蚁越倾向于选择信息素浓的路径,加速收敛但易早熟。 - 启发信息重要性因子
β:值越大,蚂蚁越倾向于选择看起来近的路径,贪心性越强。 - 信息素挥发系数
ρ:(0,1)之间。值小则信息素留存久,全局搜索能力强但收敛慢;值大则信息素挥发快,利于抛弃差解但可能丢失历史信息。 - 信息素强度
Q:影响信息素增量的绝对值,与问题规模相关。 - 蚂蚁数量
m:一般与问题节点数相当。太多则收敛慢,太少则正反馈不足。