推理计算机(Inference Engine)是一种 基于知识的推理部件,它在专家系统中起着核心作用,实现从已有事实推出结论的过程。推理计算机主要包括推理和控制两个方面,是知识系统中不可缺少的重要组成部分。
推理计算机的工作原理是通过演绎推理、非单调推理和定性推理等方式,依据一定的规则从已知事实推出新的结论。演绎推理是基于公理系统,从已知事实推导出结论的过程;非单调推理则考虑默认信息,即在没有证据证明某命题不成立的情况下,假定该命题成立;定性推理则侧重于从人类直观思维出发,不依赖于定量数值描述,适用于物理系统的研究。
推理计算机在人工智能、专家系统等领域具有广泛应用,能够提高问题求解的效率和准确性。通过合理选择及有效运用知识,推理计算机能够帮助专家高效地解决复杂问题。