refutation tree

refutation tree 基本解释

网络  反驳树

计算机

重点词汇

• treen. 树, 木料, 树状物 vt. 把...赶上树 [计] 树; DOS外部命令:显示指定磁盘驱动器的目录结构
• refutationn. 反驳, 辩驳, 反驳的证据 [计] 反驳

refutation tree 双语例句

1. 1、 This paper also makes a relatively profound inquiry into the basic algorithm of AI, the means ends analysis, and seeks to prove the effectiveness of difference produced by a resolution refutation tree.
   同时，本文对AI的基本算法&中间结局分析法作了较深入的探讨，证明了用归结反演树产生差别的有效性。
2. 2、 N this paper, a new method for theorem proving of PTL ( propositional temporal logic) based on constructing semantic refutation tree is presented.
   本文通过对近10年命题时态逻辑定理证明方法的研究，提出了一种新的证明方法，前人的工作基于对公式的现时部分和后时部分的分解，本文的工作是基于语义反驳树构造。