语义推理机 计算机科学 人工智能 知识图 基于模型的推理 推理系统 图形 自然语言 常识推理 过程（计算） 答疑 知识表示与推理 钥匙（锁） 自然语言理解 机器学习 分析推理 自然语言处理 机会主义推理 自动推理 定性推理 变量（数学） 诱因推理 非单调逻辑 基于案例的推理 潜变量 描述逻辑 概念图 视觉推理 知识工程 演绎推理 语义学（计算机科学） 任务分析 理论计算机科学 基于知识的系统 语言模型 知识库