计算机科学 一致性（知识库） 演绎推理 表（数据库） 自动推理 光学（聚焦） 人工智能 钥匙（锁） 构造（python库） 推理系统 一般化 答疑 非单调逻辑 基于模型的推理 定性推理 常识推理 自然语言处理 分解 证据推理法 分析推理 知识表示与推理 基于案例的推理 机器学习 语义学（计算机科学） 数据挖掘