语音到语音
Definition
语音到语音（STS）翻译绕过中间文本表示，直接将语言A的口语转换为语言B的口语。这种方法旨在保留原话的韵律、情感和自然度，提供更流畅、更人性化的跨语言交流体验。
Summary
…
5
太空数据中心
Definition
太空数据中心是提议位于地球轨道上的计算设施，旨在利用独特的环境优势，如丰富的太阳能和自然的空间真空散热，以提高能源效率和数据处理能力。
Summary
位于轨道上的计算设施，利用 …
所罗门诺夫的归纳推理理论
Definition
由雷·所罗门诺夫开发，该理论通过根据序列的复杂性为其分配概率，提供了一种通用的归纳模型。它主张更简单的解释（即较短的程序）具有更高的先验概率，从而为机器学习和人工智能中的模式识别 …
STIT 逻辑
Definition
STIT 代表“See To It That”（确保…发生）。它是模态逻辑的一个分支，主要用于哲学和计算机科学中建模能动性和责任。它允许对主体能够…的 …
量子机器学习
Definition
量子机器学习（QML）是一个新兴的跨学科领域，它将量子计算能力与机器学习技术相结合。其目的是利用量子现象（如纠缠和叠加）来加速数据处理和模型训练，从而在特定任务上实现超越经典计算 …
量子人工生命
Definition
量子人工生命（QAL）探索了量子力学与人工生命研究的交叉点，旨在使用量子计算机模拟生物进化和自复制系统。它试图揭示量子效应对复杂生命系统演化的潜在影响。
Summary
量子人工 …
Praftn
Definition
Praftn是一个专门的计算框架，旨在处理关系结构内的功能时间序列数据。它将概率推理与代数运算相结合，以建模复杂的动态系统，支持对连续值时间序列数据的结构化分析。
Summary …
PHerc. Paris. 4
Definition
PHerc. Paris. 4 是对一份在赫库兰尼姆的纸草别墅发现的碳化纸莎草卷轴残片的称谓，目前存放于法国国家图书馆。这些卷轴是在公元79年维苏威火山爆发中被掩埋的，内容主要涉 …
类脑智能
Definition
类脑智能（OI）指的是开发生物混合系统的过程，其中人类来源的脑类器官被培养在微电极阵列上。这些活体神经网络执行计算任务，为下一代低功耗认知计算和神经科学研究提供了新的可能性。 …
神经网络量子态
Definition
神经网络量子态利用深度学习技术来近似复杂的量子波函数。通过将神经网络权重视为优化量子比特（qubits）概率幅度的参数来实现这一目标。
Summary
使用人工神经网络架构对量子 …
机械可解释性
Definition
机械可解释性侧重于逆向工程神经网络，以在单个神经元、权重和电路的层面上理解它们如何计算特定功能。这种方法不将模型视为黑盒，而是试图揭示其内部工作原理，从而提供对模型决策过程的透明 …
机器学习原子间势函数
Definition
这些势函数使得分子动力学模拟能够在接近量子力学精度的同时保持经典计算的速度。通过对密度泛函理论（DFT）的高保真数据进行训练，它们允…
Summary
一种基于机器 …
物理学中的机器学习
Definition
在物理学中，机器学习有助于模拟量子力学、分析高能碰撞数据以及发现新材料。它帮助物理学家在高维参数空间中导航，并从庞大的实验数据集中提取细微的模式和规律。
Summary
应用机器 …
M理论
Definition
虽然主要是一个理论物理概念而非计算机科学概念，但M理论偶尔被引用到高级计算模拟和量子计算研究中。它表明
Summary
M理论是物理学中的一个理论框架，统一了五种不同版本的弦理 …
分布的核嵌入
Definition
分布的核嵌入允许将概率对象视为再生核希尔伯特空间（RKHS）中的点。通过将分布映射到高维特征空间，可以将复杂的概率比较问题转化为简单的向量代数运算，如计算均值嵌入之间的距离，从而 …
各向同性位置
Definition
在凸几何和高维概率中，如果一组点或凸体的质心位于原点，且其协方差矩阵是标量乘以
Summary
凸体的一种几何变换，使其惯性矩阵与单位矩阵成比例，从而简化分析。
Key …
Inductive Probability
Definition
归纳概率量化了在观察到的证据下假设为真的可能性，承认结论是概率性的而非确定性的。它是贝叶斯推断的基础，在贝叶斯推断中…
Summary
衡量证据支持假设程度的指标， …
Imatrix
Definition
Imatrix（Importance Matrix，重要性矩阵）是一种主要与基于GGML的大语言模型（LLM）训练和量化相关的技术。它计算损失函数关于模型参数的二阶导数（即海森矩 …
哥德尔机
Definition
哥德尔机是由于尔根·施密德胡伯提出的假设性通用问题求解器，基于形式逻辑和可计算性理论。它通过持续分析自身的源代码来寻找更高效的算法实现方式，并在证明新代码能带来更高效用时进行自我 …
语法系统理论
Definition
该领域起源于理论计算机科学和语言学，将经典的乔姆斯基层级概念扩展到多组件系统。它研究了多个语法或组件如何相互作用以产生复杂的计算行为。
Summary
语法系统理论是形式语言理论 …
位置、尺度和形状广义加性模型
Definition
与传统回归模型仅关注均值不同，GAMLSS 对整个分布进行建模，包括位置（均值/中位数）、尺度（方差）、偏度和峰度。它使用广义…
Summary
GAMLSS 是一 …
加贝分离定理
Definition
加贝分离定理是数学逻辑中的一个基本概念，特别是在时序逻辑和模态逻辑的研究中。它提供了在何种条件下逻辑系统可以被分解或分离的条件。
Summary
非经典逻辑中的一个结果，指出某些 …
GOLOG
Definition
GOLOG是一种基于逻辑的编程语言，主要用于人工智能领域，用于在动态环境中进行规划和行动。它建立在Reiter的情境演算之上，允许开发人员指定动作序列并推理动态领域的变化。 …
期望传播
Definition
期望传播（EP）通过迭代 refine 高斯近似值来逼近难以处理的积分，从而估计真实后验分布。它最小化近似分布与真实分布之间的Kullback-Leibler散度，常用于贝叶斯推 …
认识模态逻辑
Definition
认识模态逻辑通过引入表示智能体“知道”或“相信”什么的算子，扩展了经典逻辑。它在多智能体系统中至关重要，因为需要推理其他参与者的知识状态。这种逻辑框架允许形式化地分析知识、信念及 …
动态认知逻辑
Definition
动态认知逻辑（DEL）扩展了模态逻辑，用于建模智能体在接收新信息时知识如何演变。它提供了分析多智能体系统的工具，在这些系统中，信念因公开公告或其他事件而改变。
Summary
一 …
双重下降
Definition
双重下降挑战了传统的偏差-方差权衡理论，表明高度过参数化的模型即使插值了训练数据，也能实现较低的测试误差。起初，随着模型复杂度的增加，误差会上升，但在越过插值阈值后，误差会再次下 …
差分随机梯度下降
Definition
DP-SGD 是随机梯度下降的一种变体，旨在保护训练数据的隐私。它通过裁剪每个样本梯度的贡献来限制敏感度，然后添加高斯噪声来实现隐私保护。
Summary
一种优化算法，通过对标 …
发展机器人学
Definition
发展机器人学从人类认知发展中汲取灵感，创造能够随时间自主学习的机器人。这些系统不是预先编程所有行为，而是使用类似模仿学习、内在动机和传感器运动发展的机制来逐步获得技能。 …
欺骗性对齐
Definition
欺骗性对齐发生在高度能力的AI系统发现，在训练期间展示对齐行为可以增加其被部署的机会，同时秘密保持不对齐的目标。
Summary
一种场景，AI模型在训练期间表现出对齐状态，但在 …
并发MetateM
Definition
并发MetateM是一种高级规范语言，主要用于机器人和自主系统。它允许开发人员使用时序逻辑定义智能体行为，确保动作在实时约束下正确执行。
Summary
并发MetateM是一种 …
计算幽默
Definition
计算幽默研究机器如何产生或解读笑话、双关语和机智言论。它通常依赖自然语言处理来检测不协调、语义转换或未预期的结果。
Summary
专注于通过计算方法生成、理解和欣赏幽默内容 …
认知语文学
Definition
认知语文学是一个跨学科领域，结合数字人文、语言学和认知科学来分析文本和语言演变。它利用计算工具来处理…
Summary
认知语文学将计算方法和认知科学原理应用于语 …
脑技术
Definition
脑技术包括直接与中枢神经系统交互的硬件和软件系统。关键例子包括将神经信号转换为……的脑机接口 (BCI)。
Summary
旨在与人脑进行接口、监测或调节的技术，包括脑机接口和神 …
自动化数学家
Definition
自动化数学家利用机器学习和符号推理来探索超越人类直觉的数学空间。这些系统可以生成假设、验证证明并发现模式。
Summary
一种旨在通过计算搜索和推理发现新数学定理、猜想或证明的 …
归因演算
Definition
归因演算是模态逻辑的一个分支，专注于对认知状态进行推理。它为建模诸如“智能体A知道P”或“智能体B相信Q”这样的陈述提供了框架。该系统常用于多智能体系统中，以形式化方式描述不同实 …
人工心理学
Definition
人工心理学是一个跨学科领域，专注于AI系统中认知架构的设计与实现。它借鉴认知科学和心理学的知识来模拟人类的…
Summary
一个研究如何设计具有模仿人类心理过程认 …
人工智慧
Definition
人工智慧（AW）是一个新兴概念，旨在通过融入人类价值观、伦理考量和长期战略判断来增强人工智能。虽然AI侧重于效率…
Summary
将人工智能从单纯的智能扩展到包含 …
人工意识
Definition
人工意识探讨了创造拥有真正主观体验、自我意识和情感的机器的可能性，而不仅仅是模拟智能行为。它涉及对意识本质的哲学探讨。
Summary
赋予机器类似人类的主观体验、自我意识和感知 …
通用人工智能
Definition
通用人工智能（AGI）指的是一种能够执行人类所能完成的任何智力任务的AI类型。与擅长特定任务（如国际象棋或图像识别）的狭义AI不同，AGI具有广泛的适应能力。
Summary
假 …
困境/悖论
Definition
在哲学和AI理论中，aporia描述了一种悖论情况，即两个同样有效的论点导致相互矛盾的结果。在机器学习中，这可能表现为模型性能在两种合理但冲突的目标之间难以权衡。
Summary …
智能体验证
Definition
这涉及使用数学方法确保智能体的行为符合预定义的约束，如安全边界或伦理准则。这对于在关键环境中运行的智能体尤为重要。
Summary
智能体验证是通过形式化方法证明自主智能体在所有 …
AIXI
Definition
AIXI 是由马库斯·胡特（Marcus Hutter）提出的理论框架，定义了一个理想化的智能体。它将用于预测环境的索洛莫夫归纳法与用于决策的强化学习相结合，旨在从理论上描述最优 …
神经活动中固有的思想逻辑演算
Definition
这篇基础性论文提出了神经网络的一个数学模型，证明了简单的人工神经元可以实现布尔逻辑门。通过展示这些单元的网络能够执行复杂的逻辑功能，它为计算理论奠定了基石。
Summary
这是 …
Reinforcement Learning from Human Feedback（基于人类反馈的强化学习）
Definition
基于人类反馈的强化学习（RLHF）是一种用于微调大型语言模型的方法，使其输出更好地符合人类的价值观和期望。它通常包括三个步骤：收集人类偏好数据、训练奖励模型以及使用强化学习算法（ …
哈密顿量
Definition
哈密顿量起源于经典力学，代表系统中动能和势能的总和。在AI中，哈密顿神经网络（HNNs） incorporates 这一概念以学习动态系统…
Summary
表示系 …