一、演绎推理
简单来说,演绎推理是从一般到个别
假言三段论:大前提、小前提、结论
如:
计算机的学生会秃头(大前提)
张伟是计算机的学生(小前提)
张伟会秃头(结论)
演绎推理分为自然演绎推理和归结演绎推理
自然演绎推理:
从一组已知为真的事实出发,直接运用经典逻辑中的推理规则,推出结论的过程
归结演绎推理:
基于鲁滨逊归结原理的机器推理技术
鲁滨逊归结:
把永真性的证明转换为关于不可满足性的证明
确定性推理,不确定性推理
确定性推理,所用的知识都是精确的,不确定性推理,所用的知识是不精确的。
归结演绎推理是重点,基本原理是将复杂的谓词公式化为子句集,再在子句集中进行归结。看上去很抽象,难以理解,我们来用一道非常经典的例题来说明。
已知:
(1)John是贼。
(2)Paul喜欢酒(wine)。
(3)Paul也喜欢奶酪(cheese)。
(4)如果Paul喜欢某物ÿ