前置知识: 计算机基础

人工智能基础

11 minIntermediate2026/6/14

人工智能基础:搜索算法、知识表示、机器学习、神经网络与深度学习

1. 人工智能概述

1.1 AI 发展历程

阶段年代核心思想
符号主义1950s-1980s基于逻辑推理
连接主义1980s-1990s神经网络
统计学习2000s-2010s机器学习
深度学习2012-深层神经网络
大模型2020-Transformer、LLM

1.2 AI 分

定义示例
弱AI特定任务像识别、语音助手
强AI通用智能尚未实现
超级AI超越人理论概念

2. 搜索算法

2.1 无信息搜索

算法完备性最优性时间空间
BFS是(等代价)O(bd)O(b^d)O(bd)O(b^d)
DFSO(bm)O(b^m)O(bm)O(bm)
UCSO(bC/ϵ)O(b^{C*/\epsilon})O(bC/ϵ)O(b^{C*/\epsilon})
IDS是(等代价)O(bd)O(b^d)O(bd)O(bd)

bb:分支因子,dd:解深度,mm:最大深度

2.2 启发式搜索

A* 算法

f(n)=g(n)+h(n)f(n) = g(n) + h(n)

  • g(n)g(n):从起点到 nn 的实际代价
  • h(n)h(n):从 nn 到目标的启发式估计

最优性条件h(n)h(n) 是可采纳的(不高估实际代价)。

A* 的效率

有效分支因子=b:N=1+b+(b)2+...\text{有效分支因子} = b^* : N = 1 + b^* + (b^*)^2 + ...

2.3 对抗搜索

Minimax 算法

V(s)={utility(s)终止状态maxaV(result(s,a))MAX 节点minaV(result(s,a))MIN 节点V(s) = \begin{cases} \text{utility}(s) & \text{终止状态} \\ \max_{a}V(\text{result}(s,a)) & \text{MAX 节点} \\ \min_{a}V(\text{result}(s,a)) & \text{MIN 节点} \end{cases}

Alpha-Beta 剪枝

  • α\alpha:MAX 节点当前最优值
  • β\beta:MIN 节点当前最优值
  • 剪枝条件:αβ\alpha \geq \beta

最佳情况下搜索节点数:O(bd/2)O(b^{d/2})

3. 知识表示与推理

3.1 一阶谓词逻辑

基本元素

  • 常量:John, 5
  • 变量:xx, yy
  • 谓词:Likes(x,y)Likes(x, y)
  • 函数:Father(John)Father(John)
  • 量词:\forall, \exists

推理规则

  • 假言推理(Modus Ponens):P,PQQP, P \to Q \vdash Q
  • 全称实例化:xP(x)P(a)\forall x P(x) \vdash P(a)
  • 存在实例化:xP(x)P(c)\exists x P(x) \vdash P(c)

3.2 语义网络

结构表示概念间的关系:

[鸟] --is-a--> [动物]
[企鹅] --is-a--> [鸟]
[企鹅] --cannot--> [飞]

3.3 本体论

使用 OWL(Web Ontology Language)定义概念层次和关系:

  • (Class)
  • 属性(Property)
  • 个体(Individual)
  • 公理(Axiom)

4. 机器学习

4.1 学习范式

范式训练数据目标
监督学习标注数据预测标签
无监督学习无标注数据发现结构
半监督学习部分+大量无标注预测标签
强化学习环境反馈最大化奖励
自监督学习自生成标签学习表示

4.2 线性回归

y^=wTx+b\hat{y} = \mathbf{w}^T \mathbf{x} + b

损失函数(MSE)

L=1ni=1n(yiy^i)2L = \frac{1}{n}\sum_{i=1}^{n}(y_i - \hat{y}_i)^2

正规方程

w=(XTX)1XTy\mathbf{w}^* = (\mathbf{X}^T\mathbf{X})^{-1}\mathbf{X}^T\mathbf{y}

4.3 逻辑回归

P(y=1x)=σ(wTx+b)=11+e(wTx+b)P(y=1|\mathbf{x}) = \sigma(\mathbf{w}^T\mathbf{x} + b) = \frac{1}{1+e^{-(\mathbf{w}^T\mathbf{x}+b)}}

交叉熵损失

L=1ni=1n[yilogy^i+(1yi)log(1y^i)]L = -\frac{1}{n}\sum_{i=1}^{n}[y_i\log\hat{y}_i + (1-y_i)\log(1-\hat{y}_i)]

4.4 支持向量机(SVM)

最大间隔

maxw,b2ws.t.yi(wTxi+b)1\max_{\mathbf{w},b} \frac{2}{\|\mathbf{w}\|} \quad \text{s.t.} \quad y_i(\mathbf{w}^T\mathbf{x}_i+b) \geq 1

核技巧

K(xi,xj)=ϕ(xi)Tϕ(xj)K(\mathbf{x}_i, \mathbf{x}_j) = \phi(\mathbf{x}_i)^T\phi(\mathbf{x}_j)

常用核函数:

核函数公式
线性核K=xiTxjK = \mathbf{x}_i^T\mathbf{x}_j
多项式核K=(xiTxj+c)dK = (\mathbf{x}_i^T\mathbf{x}_j + c)^d
RBF核K=eγxixj2K = e^{-\gamma\|\mathbf{x}_i-\mathbf{x}_j\|^2}

4.5 模型评估

指标公式
准确率TP+TNTP+TN+FP+FN\frac{TP+TN}{TP+TN+FP+FN}
精确率TPTP+FP\frac{TP}{TP+FP}
召回率TPTP+FN\frac{TP}{TP+FN}
F12×P×RP+R2 \times \frac{P \times R}{P+R}
AUC-ROCROC曲线下面积

偏差-方差权衡

泛化误差=偏差2+方差+噪声\text{泛化误差} = \text{偏差}^2 + \text{方差} + \text{噪声}

5. 神经网络

5.1 多层感知机(MLP)

h=σ(W1x+b1)\mathbf{h} = \sigma(\mathbf{W}_1\mathbf{x} + \mathbf{b}_1)

y=W2h+b2\mathbf{y} = \mathbf{W}_2\mathbf{h} + \mathbf{b}_2

反向传播

LW=LyyhhW\frac{\partial L}{\partial \mathbf{W}} = \frac{\partial L}{\partial \mathbf{y}} \cdot \frac{\partial \mathbf{y}}{\partial \mathbf{h}} \cdot \frac{\partial \mathbf{h}}{\partial \mathbf{W}}

5.2 常用激活函数

函数公式特点
ReLUmax(0,x)\max(0, x)计算快,有死亡问题
Leaky ReLUmax(αx,x)\max(\alpha x, x)缓解死亡
GELUxΦ(x)x\Phi(x)Transformer 常用
Swishxσ(βx)x\sigma(\beta x)平滑

5.3 优化算法

算法更新规则
SGDθ=θηL\theta = \theta - \eta \nabla L
Momentumv=βv+L,θ=θηvv = \beta v + \nabla L, \theta = \theta - \eta v
Adam结合 Momentum 和 RMSProp

Adam 更新规则

mt=β1mt1+(1β1)gtm_t = \beta_1 m_{t-1} + (1-\beta_1)g_t

vt=β2vt1+(1β2)gt2v_t = \beta_2 v_{t-1} + (1-\beta_2)g_t^2

θt=θt1ηv^t+ϵm^t\theta_t = \theta_{t-1} - \frac{\eta}{\sqrt{\hat{v}_t}+\epsilon}\hat{m}_t

5.4 正则化技术

技术方法防止
Dropout随机丢弃神经元过拟合
L2 正则λw2\lambda\|\mathbf{w}\|^2过拟合
Batch Norm归一化层输入内部协变量偏移
数据增强扩充训练数据过拟合
早停验证集性能下降时停止过拟合

6. 深度学习

6.1 CNN(卷积神经网络)

核心操作:

  • 卷积:提取局部特征
  • 池化:降维,增强平移不变性
  • 全连接:分决策

经典架构:

网络年份创新
LeNet1998开创性 CNN
AlexNet2012ReLU、Dropout
VGG2014小卷积核堆叠
ResNet2015残差连接
EfficientNet2019复合缩放

残差连接

y=F(x)+x\mathbf{y} = F(\mathbf{x}) + \mathbf{x}

解决深层网络的梯度消失问题。

6.2 Transformer

自注意力机制

Attention(Q,K,V)=softmax(QKTdk)V\text{Attention}(Q, K, V) = \text{softmax}\left(\frac{QK^T}{\sqrt{d_k}}\right)V

多头注意力

MultiHead(Q,K,V)=Concat(head1,...,headh)WO\text{MultiHead}(Q,K,V) = \text{Concat}(\text{head}_1, ..., \text{head}_h)W^O

headi=Attention(QWiQ,KWiK,VWiV)\text{head}_i = \text{Attention}(QW_i^Q, KW_i^K, VW_i^V)

6.3 大语言模型(LLM)

基于 Transformer Decoder 的生成式模型:

  • GPT 系列:自回归生成
  • BERT:双向编码
  • LLaMA:开源大模型

缩放定律

L(N)(NcN)αL(N) \approx \left(\frac{N_c}{N}\right)^{\alpha}

模型性能随参数量 NN、数据量 DD、计算量 CC 的增加而可预测地提升。