传统侦查推理的形式化:用认知逻辑的观点处理假设、溯因和类比  

作　　者：郭良明[1] 徐海晋 

机构地区：[1]浙江警察学院,浙江杭州310053

出　　处：《浙江警察学院学报》2012年第3期102-105,共4页Journal of Zhejiang Police College

摘　　要：假设、溯因和类比是侦查推理中最常见的三种推理方式,也是普通逻辑中被讨论最多的三种推理方式。本文突破普通逻辑的限制,在认知逻辑的框架下,讨论这三种推理方式的形式化处理方法,把它们融合在一个带因果关系的可能世界模型中来考虑,使得传统的侦查推理得以用认知逻辑的方式来表达。

关 键 词：侦查推理 认知逻辑 可能世界 假设、溯因和类比 

分 类 号：D631[政治法律—政治学]