| 摘要: |
| 语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。本文给出如下结果:语义归结和锁归结在某种条件下是相容的;语义归结和线性归结是不相容的;线性归结和锁归结在某种条件下是相容的。显然,任意两种归结的相容方法是对原来两种归结方法的进一步改进。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金;;国家教委博士点基金 |
|
| THE COMPATIBILITY AMONG THREE RESOLUTION PRINCIPLES |
|
Liu Xuhua
|
| Abstract: |
| Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle. In this paper we obtain the following results: semantic resolution and lock resolution are compatible under certain condition; semantic resolution and linear resolution are incompatible; linear resolution and lock resolution are compatible under certain condition. Obviously, the combination of any two compatible resolution principles is an improvement of the two original resolutions. |
| Key words: |
