| 三种归结原理间的相容性问题 |
| |
| 引用本文： | 刘叙华.三种归结原理间的相容性问题[J].软件学报,1992,3(2):60-64. |
| |
| 作者姓名： | 刘叙华 |
| |
| 作者单位： | 吉林大学计算机科学系 长春 |
| |
| 基金项目： | 国家自然科学基金;;国家教委博士点基金 |
| |
| 摘 要： | 语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。本文给出如下结果:语义归结和锁归结在某种条件下是相容的;语义归结和线性归结是不相容的;线性归结和锁归结在某种条件下是相容的。显然,任意两种归结的相容方法是对原来两种归结方法的进一步改进。
|
| 关 键 词： | 人工智能 归结 相容性 |
| 收稿时间： | 3/3/1990 12:00:00 AM |
| 修稿时间： | 9/9/1990 12:00:00 AM |
THE COMPATIBILITY AMONG THREE RESOLUTION PRINCIPLES |
| |
| Liu Xuhua.THE COMPATIBILITY AMONG THREE RESOLUTION PRINCIPLES[J].Journal of Software,1992,3(2):60-64. |
| |
| Authors: | 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
