计算机推理是指 根据已有的事实、规则、知识或模型，通过逻辑推理和推断，从中得出新的结论或判断的过程。推理是计算机科学和人工智能领域的一个重要概念，广泛应用于专家系统、自然语言处理、逻辑编程和某些类型的机器学习任务中。
推理可以进一步分为演绎推理、非单调推理和定性推理等类型：
演绎推理：
根据一组已知事实和公理系统，推导出新的结论。例如，从“所有人都会死亡”和“苏格拉底是人”这两个事实中，可以演绎出“苏格拉底会死亡”。
非单调推理：
这种推理允许结论在存在新的信息时发生变化。例如，常识推理常常依赖于默认信息，即在没有证据证明某件事不成立的情况下，默认它成立。这种推理方式在处理不确定性和模糊性时非常有用。
定性推理：
主要应用于物理系统的研究，它侧重于从直观和定性的角度理解问题，而不是依赖于严格的定量方法。定性推理可以帮助我们理解复杂系统的行为，尤其是在难以使用定量方法的情况下。
推理服务器是一种专门用于执行推理任务的计算机服务器，它利用推理引擎和其他工具对输入的数据进行逻辑推理和推断，从而生成新的信息或结论。推理服务器在处理复杂问题、进行决策支持系统和专家系统等方面有广泛应用。
通过推理，计算机可以对大量数据进行智能分析和判断，辅助人类解决复杂问题，提高决策的准确性和效率。