一种形式化逆推的逻辑方法  

A Logic for Formalizing Abductive Reasoning

作　　者：叶风[1] 孙希文[1] 钱国良[1] 毕建东[1] 

机构地区：[1]哈尔滨工业大学计算机科学与工程系

出　　处：《哈尔滨工业大学学报》1997年第4期57-61,共5页Journal of Harbin Institute of Technology

摘　　要：本文讨论逆绎推理的形式化问题,指出这一问题的认知基础,然后证明逆绎推理可通过建立必要性假设（NH）来完成;NH构成了对已有知识集的扩充,必须构造必要性假设理论（NL）来捕捉逆绎推理的逻辑特征,本文选择缺席逻辑作为形式化NL的理论框架,并指出NL的基本性质。本文最后讨论与NH密切相关的背景知识问题、NH的一致性问题并给出一致NH的可判定准则。The issue on formalizing abductive reasoning is discussed in this paper. The cognitive foundation of the issue is firstly pointed out and it is then shown that abductive reasoning can be carried out by establishing necessity hypotheses (NH). The addition of NH causes the expansion of the original knowledge base. It is necessary to establish necessity hypotheses logic (NL) to capture the logic characteristics of abductive reasoning. Default logic is, thus, selected as the theoretical framework to formalize NL and based on that the essential natures of NL is presented in this paper. Finally we discuss the issues on the background knowledge closely retaled to NH and the consistency of NH, and present then the decidable criterion to judge consistant NH.

关 键 词：逆绎推理 必要性 假设 缺席逻辑 形式化 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]