假设、溯因和类比是侦查推理中最常见的三种推理方式,也是普通逻辑中被讨论最多的三种推理方式。本文突破普通逻辑的限制,在认知逻辑的框架下,讨论这三种推理方式的形式化处理方法,把它们融合在一个带因果关系的可能世界模型中来考虑,使得传统的侦查推理得以用认知逻辑的方式来表达。 Suppose that abstinence and analogy are the three most common reasoning methods in investigative reasoning and the three most commonly discussed reasoning methods in common logic. This article breaks through the limitations of ordinary logic and discusses the formal processing methods of these three kinds of reasoning methods under the framework of cognitive logic and considers them in a possible world model with causal relationship so that the traditional investigation reasoning can be used Cognitive logic to express.