人工智能 第三章确定性推理方法

- 按照推理过程所用知识的确定性，推理可分为确定性推理和不确定性推理。 自然演绎推理和归结推理是经典的确定性推理，它们以数理逻辑的有关理论、方法和技术为理论基础，是机械化的