| 使用XML的一阶谓词逻辑归结原理 |
| |
| 引用本文： | 谢铉洋,谢荣传.使用XML的一阶谓词逻辑归结原理[J].微机发展,2002,12(6):47-52. |
| |
| 作者姓名： | 谢铉洋 谢荣传 |
| |
| 作者单位： | 安徽大学计算机科学与工程系 安徽合肥230039
(谢铉洋)，安徽大学计算机科学与工程系 安徽合肥230039(谢荣传) |
| |
| 摘 要： | 归结原理（resolution principle)是计算机自动推理的重要原理之一。将XML加入到使用归结原理的证明过程中，利用XML结构与语义自描述的特性，简化归结过程的计算机实现，并给出相应基于XML的算法。
|
| 关 键 词： | 可延伸标示语言 归结原理 不一致集 自动推理 |
| 文章编号： | 1005-3751(2002)06-0047-06 |
| 修稿时间： | 2002年2月6日 |
Resolution Method Using XML in First-order Predicate Logic |
| |
| XIE Xuan-yang,XIE Rong-chuan.Resolution Method Using XML in First-order Predicate Logic[J].Microcomputer Development,2002,12(6):47-52. |
| |
| Authors: | XIE Xuan-yang XIE Rong-chuan |
| |
| Abstract: | |
| |
| Keywords: | XML resolution principle disagreement set |
| 本文献已被 CNKI 维普 等数据库收录！ |
