广义归结,generalized resolution英语短句,例句大全

广义归结,generalized resolution
1)generalized resolution广义归结
1.And we have also proved the completeness of using strong implication and generalized subsumption as the delete stratgy in generalized resolution at the same time.本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是完备的。
2)generalized lock resolution广义锁归结
3)generalized semi lock resolution广义半锁归结
1.In this paper, it shows that the generalized semi lock resolution is generalized complete in Boolean opeator fuzzy logic even if .如果对配锁方式不加任何限制 ,则广义半锁归结方法是广义完备的。

英文短句/例句

1.Generalized semi-lock resolution in boolean operator fuzzy logic布尔算子模糊逻辑中的广义半锁归结原理
2.An Improvement of Combining Generalized Ridge and Principal Components Estimator for Seemingly Unrelated Regression System半相依回归系统的广义岭型主成分改进估计
3.Research and Realization of Non-recursion Algorithm about Creating the Storage Structure of a Generalized-list建立广义表存储结构非递归算法的研究与实现
4.Generalized Lattice-Valued Modal Logic System and Resolution Automated Reasoning Based on Lattice Implication Algebra;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究
5.Amenably ∨-semilattice-ordered generalized inverse semigroupAmenable上半格序广义逆群
6.Generalized Fuzzy Regular Subsemigroups and Generalized Fuzzy Ideals广义模糊正则子半群及广义模糊理想
7.Studies on Some Regular Semigroups and Some Generalized Regular Semigroups关于正则半群和广义正则半群的研究
8.On Generalized Rees Matrix Semigroups and Structures of Some Semigroups;Rees矩阵半群的推广及某些半群的结构
9.Web Information Extraction Based on Inductive Study基于归纳学习的Web半结构化信息抽取
10.A GENERALIZED VARIANCE-RATIO TEST FOR A HETEROSKEDASTIC REGRESSION;异方差回归中的广义方差比检验(英文)
11.Ridge Estimate on Moore-Penrose Inverse Matrix of Generalized Linear Regression Model广义线性回归模型的Moore-Penrose逆阵岭估计
12.Generalized Rings and Applications to Multiplicative Semigroups and Adjoint Semigroups广义环及其对环的乘法半群与圈乘半群的应用
13.In this paper, by generalized critical point and Z2 index theory, we give that the equation have infinite solutions.应用广义临界点及其Z2指标理论，给出了一类无界区域上半线性椭圆方程具有无穷多解的结论.
14.On the Use of Augmented Lagrangians in the Generalized Semi-Infinite Programming;增广拉格朗日函数在广义半无限规划中的应用
15.Some Studies on the Semiparametric Generalized Linear Model;半参数广义线性模型若干问题的研究
16.Generalized Bruck-Reilly Semigroups, Bisimple and Simple Inverse ω~2-Semigroups;广义Bruck-Reilly扩张和双单及单逆ω~2-半群
17.Studies on Some Generalized Regular Semigroups;几类广义正则半群的某些问题的研究
18.Generalized (α,β)-fuzzy Subsemigroups and Fuzzy Subnear-rings广义（α，β）-模糊子半群和模糊子近环

延伸阅读

非归结定理证明　　不用归结原理而用自然演绎技术与探试策略等相结合的一种机器定理证明技术。　　　　为了提高归结证明过程的效率，曾提出各种改进方案。另一条途径是在定理的机器证明中不用归结原理而用历史上早已形成的自然推理或称自然演绎技术，但在其中引入问题所需的特定探试策略。这就是1977年W.W.布莱塞提出的所谓非归结定理证明的基本思想。作为这种思想的具体体现，曾研制出一个运用探试策略的新的自然演绎系统IMPLY。R.S.鲍耶和 J.S.莫尔的数学归纳法机械定理证明系统也是成功地运用探试策略的一个重要例子。　　　　自然演绎系统由一组公理和一套推理规则组成，每条推理规则将若干恒真式映射为一个恒真式。如果存在一个恒真式系列，使得序列中每一恒真式或者是一公理，或者是一定理（即可从序列中位于其前的恒真式根据推理规则导出），则序列中最后一项恒真式称为在该推理系统中可导出（或可证明）。一阶逻辑的推理系统是完备的，也就是每一恒真式都可从该系统中导出。如果推理系统的公理和推理规则比较丰富，使得每一恒真式的导出过程都很自然，符合人的思维习惯，这样的推理系统称为自然推理系统或自然演绎系统。根据数理逻辑中著名的哥德尔定理，对于二阶逻辑不存在完备的演绎系统。采用不同的公理、推理规则，便可得到不同的自然演绎系统。著名的根岑系统便是20世纪30年代提出的典型的自然演绎系统。自然演绎系统的显著特点是在证题全过程中，始终维持前提和结论的明确界限。例如在下例的推理图式中，横线以上的H1、H2、H3是前提。　　横线以下的C1，C2则是有待证明的结论。由H1，H2可推出C1（根据充分条件的假言推理原则），又根据H3和已推出的C1可推出C2。同样的例子如运用归结原理，其子句集可表示为　　　　　　　　　　　　　1　　P　　　　　　　　　　　　　2　塡P∨Q　　　　　　　　　　　　　3　塡R∨-Q∨S　　　　　　　　　　　　　4　塡Q∨S　　　　　　　　　　　　　5　塡Q∨塡S　　此时由于采用反证法，将结论的否定式并入子句集，不区分前提与结论，有关的推理信息便已丧失。自然演绎的优点是推理过程自然易懂，有利于发挥人机交互作用，便于引用探试策略。缺点是要用许多条复杂的推理规则。而运用归结原理，虽然推理过程不易控制，但只需要一条推理规则。因此，自然演绎与归结原理的优缺点是相比较而存在的，具有相对的意义，不能绝对化。　　　　参考书目　　　W.W.Bledsoe，Non-resolution　theorem　Proving，Artificial Intelligence, North-Holl and Publ.Co., Amsterdam,1977.　　　Zohor Manna,Mathematical Theory of computation, McGraw-Hill,New York,1974.　　　R.S.Boyer and J.S.Moore, A Computational Logic, Academic Press,New York,1979.　　