自动推理-一流百科

自动推理

自动推理概述在计算机科学中，特别是在知识表示和推理以及金属逻辑中，自动推理领域致力于理解推理的不同方面。对自动推理的研究有助于产生计算机程序，使计...