知识表示

人工智能, 数据库, 知识表示, 计算机科学, 逻辑

F-逻辑 (F-logic)

F-逻辑, 本体论, 框架, 知识表示, 逻辑编程

HTML, 本体论, 知识表示, 网络技术, 语义网

简单HTML本体扩展 (Simple HTML Ontology Extensions)

HTML扩展, SHOE, 本体, 语义Web, 语义技术

人工智能, 机器学习, 知识表示, 自然语言处理, 认知科学

结构映射引擎 (Structure Mapping Engine, SME)

SME, 人工智能, 类比推理, 结构映射, 认知

人工智能, 推理, 知识表示, 语义学, 逻辑编程

稳定模型语义 (Stable Model Semantics)

人工智能, 否定为失败, 稳定模型, 语义, 逻辑程序

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

Abox 和 Tbox (Abox and Tbox)

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