基于一种树型方法的自动推理

Antomatic Inference Based Tree-type Method

根据表方法建立了一种树型证明方法,在机器实现方面比表方法优越,而且还可以证明这一方法是可靠的和完备的.以PROLOG语言为背景,实现了由此方法而建立的命题逻辑中命题演绎的自动推理.

According to tablean method we eastablish a tree-type method. It is superior to the former, and we can prove that the inference for this method is sound and completable. Using PROLOG language,we establish automatic inference based this method about proposition logic.