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

本文讨论逆绎推理的形式化问题,指出这一问题的认知基础,然后证明逆绎推理可通过建立必要性假设（NH）来完成;NH构成了对已有知识集的扩充,必须构造必要性假设理论（NL）来捕捉逆绎推理的逻辑特征,本文选择缺席逻辑作为形式化NL的理论框架,并指出NL的基本性质。本文最后讨论与NH密切相关的背景知识问题、NH的一致性问题并给出一致NH的可判定准则。