Wumpus World
Definition
Wumpus World 是 Russell 和 Norvig 的 AI 教科书中引入的一个基于网格的环境。智能体必须在网格中导航以寻找金子，同时避开陷阱和一个名为 Wumpus …
Logic
符号人工智能
Definition
符号人工智能（常被称为GOFAI，即“老式好AI”）依赖于操纵符号和规则来进行推理和问题解决。与连接主义方法不同，它赋予系统明确的逻辑处理能力。
Summary
符号人工智能是一 …
统计关系学习
Definition
统计关系学习（SRL）将概率论与关系数据结构相结合，使模型能够捕捉实体及其关系之间的依赖性。与标准统计方法不同，SRL能够同时处理对象属性和对象间的复杂关联。
Summary
一 …
STIT 逻辑
Definition
STIT 代表“See To It That”（确保…发生）。它是模态逻辑的一个分支，主要用于哲学和计算机科学中建模能动性和责任。它允许对主体能够…的 …
推理模型
Definition
与专注于流畅性的标准生成模型不同，推理模型优先考虑数学、编码和逻辑谜题等多步骤任务的准确性。它们通常采用思维链 (Chain-of-Thought) 等技术来增强逻辑推理能力。 …
问题解决
Definition
在人工智能中，问题解决指的是从初始状态通过一系列动作导航到目标状态的系统性方法。它通常涉及定义问题空间、选择搜索算法（如广度优先搜索、深度优先搜索或A*算法）以及使用启发式函数来 …
基于知识的推荐系统
Definition
与依赖过去用户行为的协同过滤不同，KBRS 使用关于物品和用户偏好的显式知识来推导推荐结果。它在数据稀疏的市场中特别有效。
Summary
一种通过推理显式领域知识和用户约束来生 …
知识编译
Definition
知识编译是指人工智能中的一类技术，它将知识库或逻辑理论转换为不同的表示形式，从而促进更快的操作，如可满足性检查。
Summary
知识编译是将知识表示转换为更高效形式的过程，以便 …
Inductive Probability
Definition
归纳概率量化了在观察到的证据下假设为真的可能性，承认结论是概率性的而非确定性的。它是贝叶斯推断的基础，在贝叶斯推断中…
Summary
衡量证据支持假设程度的指标， …
加贝分离定理
Definition
加贝分离定理是数学逻辑中的一个基本概念，特别是在时序逻辑和模态逻辑的研究中。它提供了在何种条件下逻辑系统可以被分解或分离的条件。
Summary
非经典逻辑中的一个结果，指出某些 …
GOLOG
Definition
GOLOG是一种基于逻辑的编程语言，主要用于人工智能领域，用于在动态环境中进行规划和行动。它建立在Reiter的情境演算之上，允许开发人员指定动作序列并推理动态领域的变化。 …
认识模态逻辑
Definition
认识模态逻辑通过引入表示智能体“知道”或“相信”什么的算子，扩展了经典逻辑。它在多智能体系统中至关重要，因为需要推理其他参与者的知识状态。这种逻辑框架允许形式化地分析知识、信念及 …
动态认知逻辑
Definition
动态认知逻辑（DEL）扩展了模态逻辑，用于建模智能体在接收新信息时知识如何演变。它提供了分析多智能体系统的工具，在这些系统中，信念因公开公告或其他事件而改变。
Summary
一 …
归因演算
Definition
归因演算是模态逻辑的一个分支，专注于对认知状态进行推理。它为建模诸如“智能体A知道P”或“智能体B相信Q”这样的陈述提供了框架。该系统常用于多智能体系统中，以形式化方式描述不同实 …
论证框架
Definition
论证框架为表示论点及其之间的攻击和防御提供了数学基础。在AI工程中，它们帮助系统通过权衡证据做出透明且可辩护的决策。
Summary
用于建模和解决AI系统中竞争性主张或决策之间 …
代理逻辑
Definition
它扩展了传统逻辑以涵盖代理性，允许系统表示信念、欲望和意图（BDI模型）。这种逻辑使智能体能够根据变化的环境动态规划行动。
Summary
代理逻辑是指用于建模自主智能体意图、目 …
推理
Definition
在人工智能中，推理涉及模拟逻辑演绎、归纳或溯因的算法，以处理数据并生成见解。它包括符号逻辑、概率推断等技术（原文截断，意为 encompasses techniques …
规划
Definition
AI中的规划涉及确定一系列动作，使系统从初始状态过渡到期望的目标状态。这需要推理动作的影响以及环境的约束条件。
Summary
在特定环境中生成一系列动作以实现特定目标的认知过 …
多步
Definition
多步方法涉及将复杂的查询或任务分解为更小的、可执行的步骤。这种方法在推理任务中至关重要，例如数学问题解决或代码生成。
Summary
一种需要执行一系列逻辑运算或计算才能得出最终 …
一阶
Definition
在人工智能和数学中，“一阶”通常描述不涉及高阶交互的直接、线性关系系统或操作。在优化领域，它指的是仅利用目标函数的一阶导数（梯度）信息来寻找极值的方法，例如梯度下降法。与二阶方法 …
非匹配（Unlike）
Definition
在数据库查询和逻辑中，“Unlike”通常指 NOT LIKE 运算符，它执行反向的模式匹配。对于列值不符合指定模式的行，该运算符返回真值。
Summary
一种用于 SQL 和 …
给定
Definition
在人工智能和计算机科学语境中，“给定”指在计算开始前提供给模型或函数的初始状态、数据集或参数。它确立了计算的边界条件。
Summary
指作为算法过程输入提供的现有数据、约束或上 …
决策
Definition
AI中的决策制定涉及基于数据、模型和预定义目标从一组可能性中选择最佳行动。它可以是确定性的，遵循严格规则，也可以是概率性的，处理不确定性。
Summary
智能体或算法在根据特定 …