| 广义归结中的强蕴涵和涵盖 |
| |
| 引用本文： | 刘瑞胜.广义归结中的强蕴涵和涵盖[J].吉林大学学报(理学版),1993(2). |
| |
| 作者姓名： | 刘瑞胜 |
| |
| 作者单位： | 吉林大学计算机科学系 长春 |
| |
| 基金项目： | 国家自然科学基金，国家教委博士点基金，863计划，国家攀登计划资助课题 |
| |
| 摘 要： | 本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是完备的.
|
| 关 键 词： | 强蕴涵 涵盖 广义归结 |
Strong Implication and Generalized Subsumption in Generalized Resolution |
| |
| Liu Ruisheng.Strong Implication and Generalized Subsumption in Generalized Resolution[J].Journal of Jilin University: Sci Ed,1993(2). |
| |
| Authors: | Liu Ruisheng |
| |
| Abstract: | The present paper discusses and proves the relation between strong implication and generalized subsumption. 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. |
| |
| Keywords: | strong implication generalized subsumption generalized resolution |
| 本文献已被 CNKI 等数据库收录！ |
