| Horn集上的有向调解法 |
| |
| 引用本文： | 欧阳丹彤,刘叙华. Horn集上的有向调解法[J]. 吉林大学学报(理学版), 1992, 0(4) |
| |
| 作者姓名： | 欧阳丹彤 刘叙华 |
| |
| 作者单位： | 吉林大学计算机科学系 长春(欧阳丹彤)，吉林大学计算机科学系 长春(刘叙华) |
| |
| 基金项目： | 国家自然科学基金，国家教委博士点基金，国家863计划资助课题 |
| |
| 摘 要： | 本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。
|
| 关 键 词： | Horn集 调解法 完备性 |
Directed Paramodulation on Horn Set |
| |
| Ouyang Dantong,Liu Xuhua. Directed Paramodulation on Horn Set[J]. Journal of Jilin University: Sci Ed, 1992, 0(4) |
| |
| Authors: | Ouyang Dantong Liu Xuhua |
| |
| Abstract: | In this paper, it is proved that under some conditions input directed paramodulation is complete on Horn set, so that it is concluded that under the same conditions unit directed paramodulation is complete on Horn set. |
| |
| Keywords: | Horn set paramodulation complete |
| 本文献已被 CNKI 等数据库收录！ |
