出处：信息科学卷 • 计算机科学技术 • 概论
| 字词 | 逻辑推理机 |
| 释义 | 逻辑推理机 逻辑推理机 可自动进行推理的计算机。其输入是所要求证明的推理目标、有关的变量以及前提和假设；输出是关于推理目标的证明结论、有关的解释以及上述变量的值。逻辑推理机必须是完善的：既不能给出错误的推理结果，又必须给出全部正确推理结果。 出处：信息科学卷 • 计算机科学技术 • 概论 |
| 随便看 |
|
修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。