
回溯推理.doc
- 1.请仔细阅读文档,确保文档完整性,对于不预览、不比对内容而直接下载带来的问题本站不予受理。
- 2.下载的文档,不会出现我们的网址水印。
- 3、该文档所得收入(下载+内容+预览)归上传者、原创作者;如果您是本文档原作者,请点此认领!既往收益都归您。
最后一页预览完了!喜欢就下载吧,查找使用更方便
10 文币 0人已下载
下载 | 加入VIP,免费下载 |
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 回溯推理.doc
- 资源描述:
-
1、1回溯推理一、什么是回溯推理从结果推测原因或者从推断推论理由的推理。回溯推理的逻辑结构是由一个(或一组后件相同的)充分条件假言判断为前提,而另一个前提则肯定充分条件假言判断的后件,从而结论或然地肯定充分条件假言判断的前件。整个推理过程具有从结果推测原因的性质,属或然性推理。 如果用“q“表示已知的事实判断,用“p q“表示一般规律性知识,用 “p“表示结论,用“ “表示推测,那么回溯推理的逻辑形式是: (q(pq) p。二、回溯推理的种类1、简单回溯推理:是一个前提为充分条件假言判断,另一个前提肯定充分条件假言判断的后件,结论通过性质判断的形式或然地肯定充分条件假言判断的前件的回溯推理。逻辑形
2、式:qPq ;所以,p例如:早晨起来一开门,看见外边的地皮是湿润的,马上就推断到,昨天晚上可能下雨了。2、复杂回溯推理:是一组前提为后件相同的充分条件假言判断,另一前提肯定充分条件假言判断的后件,结论通过选言判断的形式肯定充分条件假言判断的前件的回溯推理。逻辑形式:qP1qP2qP3q:Pnq ;所以,P1p2p3pn.例如:某地发生一起 19 岁女孩被杀害的案件。侦察员对死者情况进行分析,认为:女孩被杀害;如果凶手为谋财害命,那么女孩被杀害;如果凶手为情、色害命,那么女孩被杀害;如果凶手为妒忌害命,那么女孩被杀害;所以,凶手或为谋财害命、或为情色害命、或为妒忌害命。三、回溯推理的作用(一)运
