ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

This paper describes the algorithm and concrete process with BASIC program to realize theorem proving and solving some artificial intelligence problem. For theorem proving we introduce "subsumptiontest", "omiting method" and "programing technics" to speed up for finding proofs of theorem as the previous paper.     

定理的自动证明与代德景问题

§1 引言定理的自动证明是新科学“人工智能”中研究的课题.由于电子计算机的速度快,不怕疲,能减轻人的脑力劳动.一些难证明的定理,难计算的问题,通过计算机的邦助,求出部分结果;于是看出要点,因而解决的问题不在少数.本文的第一个目的就是企图说明这种情况.     

ON-THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

This paper describes the algorithm and concrete process with BASIC program to realize theorem proving and solving some artificial intelligence problem. For theorem proving we introduce "subsumption test", "omiting method" and "programing technics" to speed up for finding proofs of theorem as the previous paper[1].     

求解智能问题的模拟仿真法

模拟仿真理论在Zeigler所写书中有详细的描述(参看[1]),这种理论对于许多实际系统,先在计算机上模拟,再予以实现,有很多成功的例子。