|
|||||
|
|
| 使用XML的一阶谓词逻辑归结原理 | |
| 引用本文： | 谢铉洋,谢荣传. 使用XML的一阶谓词逻辑归结原理[J]. 计算机技术与发展, 2002, 12(6) |
| 作者姓名： | 谢铉洋 谢荣传 |
| 作者单位： | 安徽大学,计算机科学与工程系,安徽,合肥,230039 |
| 摘 要： | 归结原理(resolution principle)是计算机自动推理的重要原理之一.将XML加入到使用归结原理的证明过程中,利用XML结构与语义自描述的特性,简化归结过程的计算机实现,并给出相应基于XML的算法. |
| 关 键 词： | 可延伸标示语言 归结原理 不一致集 |
Resolution Method Using XML in First-order Predicate Logic |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |