计算机科学 可执行文件 答疑 解析 知识库 人工智能 逻辑形式 知识表示与推理 生成语法 自然语言 描述逻辑 自然语言处理 程序设计语言 自然语言理解 解耦（概率） 逻辑后果 语义学（计算机科学） 自动推理 元组 推论 逻辑连接 基于知识的系统 代表（政治） 补语（音乐） 文本生成 生成模型 逻辑框架 基础（拓扑） 语言模型 自然语言生成 理论计算机科学 语义角色标注 逻辑数据模型 元编程 语义网络 语义数据模型