首页 | 本学科首页   官方微博 | 高级检索  
     

NC线性对称调解
引用本文:孙吉贵 刘叙华. NC线性对称调解[J]. 计算机学报, 1993, 16(8): 561-567
作者姓名:孙吉贵 刘叙华
作者单位:吉林大学计算机科学系,吉林大学计算机科学系 长春 130023,长春 130023
基金项目:国家自然科学基金,国家教委博士点基金
摘    要:本文提出了NC调解方法,证明了NC对称调解与NC归结的结合及广义对称调解与广义归结的结合的线性演绎都是完备的。

关 键 词:广义归结 NC归结 NC调解

NC-LINEAR SYMMETRY PARAMODULATION
Sun Jigui and Liu XuhuaDept. of Computer Science,Jilin University Changchun. NC-LINEAR SYMMETRY PARAMODULATION[J]. Chinese Journal of Computers, 1993, 16(8): 561-567
Authors:Sun Jigui  Liu XuhuaDept. of Computer Science  Jilin University Changchun
Affiliation:Sun Jigui and Liu XuhuaDept. of Computer Science,Jilin University Changchun 130021
Abstract:The NC-Paramodulation is defined,and the completeness of the linear deduction is proved for using NC-resolution and NC-symmetry paramodulation,and for using generalized resolution and the generalized symmetry paramodulation.
Keywords:generalized resolution  NC-resolution  generalized paramodulation  NC-paramodulation.
本文献已被 CNKI 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号