4.1推理的基本概念
(1)推理和推理机
推理:通常是从已知事实出发,通过运用已掌握的知识,找出其中蕴含的事实或归纳出新的知识
推理机:一组用来控制计算机实现推理过程的程序
(2)按推理的逻辑基础分类
①演绎推理
是从已知的一般性知识出发,去推出蕴含在这些已知知识中的适合于某种个别情况的结论。是一种由一般到个别的推理方法,其核心是三段论(一个大前提、一个小前提和一个结论)
②归纳推理
是一种由个别到一般的推理方法。基本思想是先从已知事实中猜测出一个结论,然后对这个结论的正确性加以证明确认
如果按照所选事例的广泛性可分为完全归纳推理和不完全归纳推理;如果按照推理所使用的方法可分为枚举归纳推理和类比归纳推理等
③两者区别:演绎推理的过程中不能增殖新知识。而归纳推理的过程中能增殖新知识
(3)按所用知识的确定性分类
确定性推理、不确定性推理
(4)按推理过程的单调性分类
单调推理、非单调推理
(5)正向推理
定义
一种从已知事实出发,正向使用推理规则的推理方法
算法描述
①把用户提供的初始证据放入综合数据库
②检查综合数据库中是否包含了问题的解,若已包含,则求解结束,并成功推出;否则执行下一步
③检查知识库中是否有可用知识,若有,形成当前