逻辑推理机
(可自动进行推理的计算机)
逻辑推理机,是可自动进行推理的计算机。其输入是所要求证明的推理目标、有关的变量以及前提和假设;输出是关于推理目标的证明结论、有关的解释以及上述变量的值。
加载更多
领域
提 交
推理
计算机
逻辑学
哲学
科技
农学
技术
科学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》