人工智能

人工智能, 算法, 自动推理, 计算机科学, 逻辑学

模型消除 (Model Elimination)

模型消除, 知识表示, 算法, 自动定理证明, 逻辑编程

人工智能, 复杂系统, 物理学, 社会学, 科学

涌现 (Emergence)

复杂性, 涌现, 科学哲学, 系统科学, 自组织

人工智能, 数据科学, 本体论, 知识表示, 计算机科学

Abox 和 Tbox (Abox and Tbox)

Abox, Tbox, 描述逻辑, 本体, 知识库

人工智能, 数学, 数理逻辑, 计算机科学, 逻辑学

ω-一致理论 (Ω-consistent theory)

ω-一致性, 一致性, 哥德尔不完备性定理, 形式系统, 数理逻辑

人工智能, 数学, 数据结构, 算法, 计算机科学

零抑制决策图 (Zero-suppressed decision diagram)

BDD, ZDD, 二元决策图, 稀疏集合, 组合优化