推理结束后，推理信息会在推理库中显示。
举一反三
- 本节课介绍了几何自动推理的哪些基本操作？ A: 自动推理和继续推理 B: 查找推理库中的信息 C: 添加辅助条件或结论 D: 设置推理规则和方法
- 从已知事实出发，通过规则库求得结论的产生式系统的推理方式是() A: 正向推理 B: 反向推理 C: 双向推理
- 以下推理中产生式系统的推理包括() A: 正向推理 B: 逆向推理 C: 双向推理 D: 简单推理
- 专家系统中，最常用的推理方式是（）。 A: 正向推理 B: 反向推理 C: 双向推理 D: 侧向推理 E: 智能推理
- 法律推理有形式推理和实质推理之分。其中，形式推理是分析推理，即运用形式逻辑进行推理。下列选项中，属于形式推理的是（） A: 演绎推理 B: 归纳推理 C: 类比推理 D: 辩证推理