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

摘要：

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

关键词：描述逻辑、Abox、tableau-based算法、标准tableau-based算法、有限步终止定理

所属期刊栏目：36

分类号：O142(数理逻辑、数学基础)

资助基金：国家自然科学基金资助项目10771129

在线出版日期：2011-11-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1-4,9