计算机科学 谓词（数理逻辑） 关系（数据库） 人工智能 逻辑后果 逻辑推理 逻辑数据模型 树（集合论） 自然语言处理 关系抽取 过程（计算） 信息抽取 逻辑连接 演绎推理 自然语言 决策树 理论计算机科学 自动推理 推理系统 数据挖掘 组分（热力学） 逻辑框架 基于案例的推理 解析树 机器学习 基于模型的推理 语言模型 机会主义推理 基于规则的系统 搜索树 逻辑分析 数据完整性