Tableau-based算法的改进与有限步终止定理 |
| |
作者姓名: | 王国俊 李璧镜 |
| |
作者单位: | 陕西师范大学数学与信息科学学院,陕西西安710062 |
| |
摘 要: | 对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这个新算法,证明了ALCN语言中Abox的相容性可通过标准tableau-based算法在有限步之内判定.
|
关 键 词: | 描述逻辑 Abox tableau-based算法 标准tableau-based算法 有限步终止定理 |
本文献已被 维普 等数据库收录! |
|