wangc
Nov 2, 2017
概念
人工智能的推理研究，就是要基于人类的思维机理，去实现机器的自动推理。除推理的思维机理外，它包括两个基本问题，一是推理的方法，二是推理的控制策略。
按照心理学的观点，推理是由具体事例归纳出一般规律，或者根据已有知识推出新的结论的思维过程。心理学对推理有两种解释：
- 从结构的角度：推理由两个以上的判断所组成，是一种对已有判断进行分析和综合，再得出新的判断的过程。例如，若有以下两个判断：
- 计算机系的学生都会编程序；
- 程强是计算机系的一名学生； 则可得出下面第三个判断：
- 程强会编程序。
- 从过程的角度：
- 认为推理是在给定信息和已有知识的基础上的一系列加工操作，提出了如下人类推理的公式：
- y=F(x, k) 其中，x为推理时给出的信息，k为推理时可用的领域知识和特殊事例，F为可用的一系列操作，y为推理过程所得到的结论。
分类
按确定性
- 确定性推理：所谓确定性推理是指推理所使用的知识和推出的结论都是可以精确表示的，其真值要么为真，要么为假。
- 不确定性推理：所谓不确定性推理是指推理所使用的知识和推出的结论可以是不确定的。所谓不确定性是对非精确性、模糊性和非完备性的统称。
按逻辑基础
- 自然演绎推理：演绎推理是从已知的一般性知识出发，去推出蕴涵在这些知识中的适合于某种个别情况的结论。
- 归纳推理：归纳推理是一种由个别到一般的推理方法。
其他
按照推理过程的单调性，或者说按照推理过程所得到的结论是否越来越接近目标，推理可分为单调推理与非单调推理。单调推理是指在推理过程中，每当使用新的知识后，所得到的结论会越来越接近于目标。非单调推理是指在推理过程中，当某些新知识加人后，会否定原来推出的结论，使推理过程退回到先前的某一步。