Tableau-based算法的改进与有限步终止定理

• 作者: 李璧镜 王国俊
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 描述逻辑 Abox tableau-based算法 标准tableau-based算法 有限步终止定理
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 1-4,9
• 页数: 5页
• 分类号: O142
• 字数: 5064字
• 语种: 中文

摘要

对原有的tableau-based算法进行了简化和改进,擐出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序,基于这个新算法,证明了语言中Abox的相客性可通过标准tableau-based算法在有限步之内判定

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	李璧镜	陕西师范大学数学与信息科学学院	7	163	3.0	7.0