%0 Journal Article
%T 一种子句重构的增强Tableau算法*
%A 古华茂
%A 高济
%A 王勋
%A 吴海燕
%J 模式识别与人工智能
%P 532-540
%D 2009
%X 利用非循环定义的概念可展开的特性，提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整树/图上的结点进行标记，并设计一组推理规则以构建这样的完整树/图，从而消除传统Tableau算法中的∩-规则、∪-规则所带来的概念描述重复.因而在非循环定义概念可满足性判定问题上，空间性能有明显提高.此外，虽然文中只提供针对SI语言的规则和证明，可是这种处理思路同样适用于其它描述逻辑语言，因而具有一定的推广价值.
%K 增强Tableau
%K 描述逻辑推理
%K 可满足性
%K 合取子句
%U http://manu12.magtech.com.cn/Jweb_prai/CN/abstract/abstract10089.shtml