版权归原作者所有，如有侵权，请联系我们

[科普中国]-逻辑推理机

上传时间：2021-12-31

科学百科

原创

科学百科为用户提供权威科普内容,打造知识科普阵地

收藏

逻辑推理机，是可自动进行推理的计算机。

原理其输入是所要求证明的推理目标、有关的变量以及前提和假设；输出是关于推理目标的证明结论、有关的解释以及上述变量的值。

特点逻辑推理机必须是完善的：既不能给出错误的推理结果，又必须给出全部正确推理结果。1

本词条内容贡献者为:

胡启洲 - 副教授 - 南京理工大学

请科普中国APP发表评论或查看更多评论