计算机科学 答疑 相关性（法律） 蓝图 路径（计算） 可验证秘密共享 人工智能 过程（计算） 推理系统 方案（数学） 非单调逻辑 基于模型的推理 节点（物理） 基于案例的推理 自动推理 自然语言处理 演绎推理 空间智能 理论计算机科学 情报检索 知识表示与推理 逻辑推理 定性推理 窗口（计算） 会合（天文学） 诱因推理 语义学（计算机科学） 素描 描述逻辑 机制（生物学） 自然语言 众包