百科查阅

概念入口

每个词条给出简明定义、必要背景、相关章节和可追溯来源。也可以使用站内搜索查别名。

贝叶斯网络

Bayesian Network

以有向无环图和局部条件概率分布表示联合概率分布的概率图模型。

缩写与别名:BN、BN、belief network、概率信念网络

本体

Ontology

对某领域的类、关系、约束及预期含义作形式化说明的知识工程产物。

产生式规则

Production Rule

条件满足时产生结论、断言事实或执行动作的显式规则。

缩写与别名:production rule、production system rule、产生式系统、IF-THEN rule、条件动作规则

抽样

Sampling

从目标总体选择单位进入观测或数据集的过程。

缩写与别名:取样、样本选择

达特茅斯夏季研究项目

Dartmouth Summer Research Project on Artificial Intelligence

由1955年提案筹划、1956年夏季开展的人工智能研究项目,是领域命名与组织网络的重要节点。

缩写与别名:达特茅斯会议、Dartmouth workshop、Dartmouth project

泛化

Generalization

模型在训练未见但符合目标使用情境的数据上保持有用表现的能力。

缩写与别名:泛化能力、generalisation

符号接地

Symbol Grounding

追问系统内部符号或状态怎样获得不只依赖外部解释者的内容这一问题及其研究路线。

缩写与别名:符号奠基、符号落地、symbol grounding problem

概率分布

Probability Distribution

把随机变量的可能结果与相应概率组织起来的数学对象。

缩写与别名:机率分布、分布

感知机

Perceptron

根据样本调整连接权重、学习某些线性分类边界的一类早期神经网络模型。

缩写与别名:perceptron、感知器

功能主义

Functionalism

以一个状态在系统中的因果—功能角色,而不是单凭材料组成,说明它属于何种心理状态的一族理论。

缩写与别名:心灵功能主义、functionalist theory

广度优先搜索

Breadth-First Search

按距起点的边数逐层扩展搜索节点的系统搜索方法。

缩写与别名:BFS、宽度优先搜索、层序搜索

归纳偏置

Inductive Bias

学习方法从有限已见样本推广到未见样本时采用的偏好或假设。

缩写与别名:归纳偏差、学习偏置

过拟合

Overfitting

模型过度适应训练数据的偶然细节,以致在新数据上表现变差的现象。

缩写与别名:过度拟合

机器学习

Machine Learning

利用数据和评价目标形成或调整模型,使系统不必为每个案例逐条编写规则也能完成特定任务的一类方法。

缩写与别名:ML、统计机器学习

基础模型

Foundation Model

在广泛数据上大规模训练、可适配多种下游任务的模型类别与研究框架。

缩写与别名:FM、foundation model、基座模型

极小化极大

Minimax

在特定对抗模型中假定双方最优选择并逐层回传最大或最小效用的决策方法。

缩写与别名:极大极小、极小极大算法

交叉验证

Cross-validation

在开发数据内轮换训练折与验证折并汇总结果,用于评价或选择方案的方法。

缩写与别名:CV、交叉核验、k折交叉验证

经验风险最小化

Empirical Risk Minimization

在候选模型中选择使有限训练样本平均损失尽量小的参数或函数。

缩写与别名:ERM、经验风险最小化原则、经验风险最小化法

具身认知

Embodied Cognition

强调身体对认知能力具有塑造、解释或构成作用的一组研究纲领,而非单一理论。

缩写与别名:具身主义、embodied mind

决策表

Decision Table

把条件组合与相应动作排成表格、便于检查覆盖和冲突的规则表示方法。

缩写与别名:decision table、判定表、决策逻辑表

开放世界假设

Open-World Assumption

把“尚不能证明某陈述”与“该陈述为假”分开的知识语义约定。

缩写与别名:OWA、OWA、open world assumption

控制论

Cybernetics

研究动物与机器怎样通过反馈、通信和控制调节行为的跨学科传统。

缩写与别名:赛博控制论、cybernetics

理性智能体

Rational Agent

依据已有感知和知识,选择期望能改善给定绩效度量之行动的智能体。

缩写与别名:理性代理、rational agent

联结主义

Connectionism

用人工神经网络中大量单元的加权连接、活动传播与学习来解释认知能力的研究取向。

缩写与别名:连接主义、connectionist approach、neural network approach

蒙特卡洛树搜索

Monte Carlo Tree Search

通过反复模拟逐步扩展树并更新动作价值统计的树搜索框架。

缩写与别名:MCTS、蒙特卡洛搜索、Monte-Carlo tree search

模型

Model

对系统、实体、现象、过程或数据的物理、数学或逻辑表示;在 AI 系统中通常只是一个组件。

缩写与别名:数学模型、统计模型

启发函数

Heuristic Function

从当前状态估计到目标剩余代价、用于安排搜索顺序的函数。

缩写与别名:启发式函数、heuristic、估价函数

欠拟合

Underfitting

模型、特征或训练过程过于受限,以致连训练数据中的主要可预测结构也未捕捉。

缩写与别名:拟合不足

人工智能

Artificial Intelligence

研究和开发能完成感知、语言、学习、推断、规划或行动等任务之系统的领域与工程实践。

缩写与别名:AI、机器智能、artificial intelligence

人工智能寒冬

AI Winter

对特定地区、资助体系或产业部门中 AI 预期下降、投入收缩与组织调整的回顾性比喻。

缩写与别名:AI 寒冬、人工智能冬天、AI winter

深度优先搜索

Depth-First Search

沿一条分支尽量深入、无路后回退的系统搜索方法。

缩写与别名:DFS、纵向优先搜索

神经符号 AI

Neuro-Symbolic AI

把神经网络的学习或感知能力与符号表示、约束或推理机制组合的一组路线。

缩写与别名:neural-symbolic AI、neuro-symbolic artificial intelligence、神经—符号人工智能

生成模型

Generative Model

对数据如何分布进行建模,并据此生成新样本或估计样本可能性的一类模型。

缩写与别名:生成式模型、generative model

数据集偏移、分布外与漂移

Dataset Shift, Out-of-distribution, and Distribution Drift

训练与使用的联合分布不同、样本相对参考分布处于分布外,或分布随时间环境改变的相关但不同情形。

缩写与别名:OOD、分布变化、数据集偏移、dataset shift、concept drift

数据泄漏

Data Leakage

训练、预处理或模型选择使用了部署时不可得或按评估协议本应封存的信息,导致评估过度乐观的方法学错误。

缩写与别名:资料泄漏、训练测试泄漏、target leakage

溯因

Abduction

从观察出发寻找能够解释它的候选假设的推理方向。

缩写与别名:abductive reasoning、溯因推理、最佳解释推理

算法

Algorithm

为解决一类问题或得到结果而规定的一套有限、可执行步骤或规则。

缩写与别名:计算步骤、算法程序

损失函数

Loss Function

把预测与目标之间某种不合意程度编码为数值、供训练比较的函数。

缩写与别名:损失、目标函数、cost function

特征

Feature

提供给模型的可测量、派生或编码属性。

缩写与别名:输入变量、预测变量、属性

梯度下降

Gradient Descent

利用损失对参数的局部导数,反复朝降低损失的方向更新参数的优化方法。

缩写与别名:GD、最速下降、梯度法

通用人工智能

Artificial General Intelligence

强调在广泛任务上达到令人满意表现的一种 AI 系统设想或类别,具体门槛尚无单一公认定义。

缩写与别名:AGI、通用 AI、一般人工智能、general AI

统计革命

Statistical Turn in AI

对AI若干领域逐渐转向从数据估计规律并以共同评测比较方法的历史性概括。

缩写与别名:statistical revolution、statistical turn、统计转向

图灵测试

Turing Test

由图灵 1950 年论文中的模仿游戏发展而来的行为测试思想,考察机器在文字交谈中能否被分辨。

缩写与别名:模仿游戏、imitation game

狭义人工智能

Narrow AI

聚焦已定义任务、用于处理特定问题的一类 AI 系统。

缩写与别名:狭义 AI、专用人工智能

向量

Vector

在选定坐标与字段约定下有顺序的一组数;在本书的计算直觉中,常用来表示一个样本或某个内部状态。

缩写与别名:特征向量、向量表示

心智计算主义

Computational Theory of Mind

至少某些心理过程本身属于计算过程的一族理论,而不只是能由计算机近似模拟。

缩写与别名:CTM、计算主义、心智计算理论、computationalism

心智理论

Theory of Mind

表征、推断并回应他人信念、欲望等心理状态的能力,而不是一套人人明说的哲学理论。

缩写与别名:ToM、他心理论、心理理论、mindreading、mentalizing、心智化

训练与推断

Training and Inference

训练在机器学习中形成或调整模型;推断在常见工程语境中让模型根据新输入产生输出。

缩写与别名:训练与推理、模型训练、模型推理、推理阶段、inference

一致代价搜索与 Dijkstra

Uniform-Cost Search

每次扩展累计路径代价最小节点的最低代价路径搜索方法。

缩写与别名:UCS、Dijkstra 搜索、迪杰斯特拉算法、uniform cost search

意识

Consciousness

覆盖清醒、信息可接入、自我觉知和主观体验等多种现象的总称,讨论时必须说明具体含义。

意向性

Intentionality

心理状态关于、表示或指向对象、性质与事态的能力;不是日常所说的故意。

缩写与别名:关于性、指向性、aboutness

因果关系

Causality

讨论对一个因素的干预是否会改变结果的关系。

缩写与别名:因果性、因果推断

约束满足问题

Constraint Satisfaction Problem

从每个变量的取值域中选择值,使全部约束同时成立的问题。

缩写与别名:CSP、约束满足、constraint problem

张量

Tensor

机器学习实现中常用的多维数值容器,由数据类型、轴数与各轴长度来描述。

缩写与别名:多维数组、tensor

正则化

Regularization

训练时加入偏好、约束或代价,以限制模型对训练细节敏感度的一类方法。

缩写与别名:规则化、regularisation

知识工程

Knowledge Engineering

获取、组织、验证并维护可供知识系统推理使用的领域知识的一组工程实践。

缩写与别名:KE、knowledge engineering、知识获取与维护

知识图谱

Knowledge Graph

以图结构组织实体、关系及其描述,并配合标识、模式、来源与治理的数据系统。

缩写与别名:KG、KG、knowledge graph

中文房间

Chinese Room Argument

Searle 用来挑战“仅实现适当形式程序便足以产生理解”的思想实验。

缩写与别名:CRA、中文屋、Chinese room、中文房间论证

专家系统

Expert System

把特定领域知识放入知识库,并由推理机制产生结论、建议或解释的一类系统。

缩写与别名:知识系统、expert system

自动化

Automation

让设备或软件在较少人工介入下执行一个过程的技术与组织安排。

缩写与别名:流程自动化、自动控制

组合爆炸

Combinatorial Explosion

候选组合数随问题深度或变量数反复相乘而急剧增长的规模现象。

缩写与别名:组合式爆炸、状态空间爆炸、指数爆炸

A* 搜索

A* Search

按已付路径代价与剩余代价估计之和扩展节点的启发式最低代价搜索方法。

缩写与别名:A*、A-star、A 星搜索、A星算法

AI 效应

AI Effect

某项机器能力普及后,人们倾向不再把它视为“真正 AI”的标签变化现象。

缩写与别名:人工智能效应、AI effect

alpha-beta 剪枝

Alpha–Beta Pruning

用MAX下界与MIN上界停止检查不能改变minimax结果之分支的方法。

缩写与别名:α–β、alpha beta pruning、阿尔法贝塔剪枝

DENDRAL

DENDRAL

以化学约束和质谱启发式生成、筛选有机分子结构假说的早期专家系统项目。

缩写与别名:Heuristic DENDRAL、Meta-DENDRAL

ELIZA 效应

ELIZA Effect

人们从系统合乎交互习惯的输出推断它具有理解、意图或同理心的归因倾向。

缩写与别名:ELIZA effect、伊丽莎效应、拟人化投射

ImageNet

ImageNet

按WordNet层级组织的大规模标注图像数据库项目,与后来的视觉识别竞赛密切相关但并不等同。

缩写与别名:ImageNet数据集、ImageNet数据库

MDP 与 POMDP

Markov Decision Process and Partially Observable Markov Decision Process

分别描述状态可知和状态不能直接得知之随机序贯决策的形式框架。

缩写与别名:MDP、POMDP、马尔可夫决策过程、部分可观察马尔可夫决策过程、belief state、信念状态

MYCIN

MYCIN

1970年代斯坦福研究团队开发、为严重细菌感染提出抗菌治疗建议的规则型研究系统。

缩写与别名:MYCIN expert system、迈辛

OWL

Web Ontology Language

用于表达类、属性、个体及其公理的W3C本体语言家族。

缩写与别名:网络本体语言、OWL 2

Prolog

Prolog

以事实、规则和查询组织计算,并由统一与搜索求解目标的逻辑编程语言家族。

缩写与别名:PROLOG、programmation en logique、逻辑编程

RDF

Resource Description Framework

以主语、谓词、宾语三元组构成有向标记图的数据模型。

缩写与别名:资源描述框架、RDF graph、RDF triple

STRIPS

Stanford Research Institute Problem Solver

用前置条件及增加/删除效果描述动作、据此寻找计划的早期规划系统与表示传统。

缩写与别名:STRIPS、经典规划动作表示、前置条件与效果

Transformer

Transformer

以自注意力在序列位置之间交换信息,并配合前馈层等组件处理序列的一类神经网络架构。

缩写与别名:Transformer架构、变换器、自注意力模型

XCON / R1

XCON

1978年起为DEC开发、1980年进入日常生产的VAX计算机订单配置专家系统。

缩写与别名:XCON、R1、eXpert CONfigurer、DEC configuration system