非单调启发式推理系统

A Non-Monotonic Heuristic Natural Deduction System

本文首先给出一个以启发式引入假设的自然推理一阶逻辑系统,由于本系统以引入假设和消去假设作为推理的基本手段,因而极易扩展为非单调的启发式自然推理系统,本文对此作了尝试。

In this paper a natural deduction system is suggested in which the hypotheses can beintroduced heuristicly.As a result,the system not only has the advantages that the ordinary naturaldeduction system has got,but also is easy to realize.In addition,it is possible to incorporate nonmonotonic reasoning into the system,as the system adopts the basic reasoning ways in which the hypotbeses can be introduced o(?) deleted.One goal of the paper is to try to give an idea of establishinga non-monotonic heuristic natural deduction system.