It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论,并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
After analyzing several theory models of inductive reasoning, we use the Bayes Theorem to prove the premise probability principle, and integrate this theory with human mental process.
在分析多个理论模型的基础上,采用贝叶斯定理证明了前提概率原则,并将此原则与人类心理过程相结合,将归纳推理分解为连续进行的三步过程。
Under the new principle we provide the theorem of the existence of local Nash network and the theorem of the architecture of local Nash network and its dynamic formation process.
在新的规则之下,分别给出了局部纳什网的存在性、结构特性及其动态生成进程的定理。
应用推荐