属性探索算法研究  

On Attribute Exploration Algorithms

作　　者：赵小香[1] 覃萍[2] 王驹[2] 

机构地区：[1]广西师范大学数学科学学院,广西桂林541004 [2]广西师范大学计算机科学与信息工程学院,广西桂林541004

出　　处：《计算机科学与探索》2009年第5期509-518,共10页Journal of Frontiers of Computer Science and Technology

基　　金：国家自然科学基金项目No.60573010;60663001;广西研究生教育创新计划项目No.2008M025;2009106020701M31~~

摘　　要：Baader等人于2004～2007年将FCA方法引入描述逻辑中,建立了初步的属性探索算法。介绍了他们提出的属性探索算法,研究了该算法会产生冗余计算的可能情形。从相关性的角度提出了两种改进算法,并证明了它们的正确性。改进的算法在一定程度上避免了冗余,简化了计算。Firstly introduce attribute exploration algorithm in FCA, which was applied to description logics by Baader etc. during 2004-2007. Different cases are inrestigated, in which the redundant computation may occur. As new results, two improved algorithms are proposed in terms of correlation; It also gives the proofs of the correctness of these two improved algorithms, which avoid redundancy and simplify computing in some certain.

关 键 词：描述逻辑 形式概念分析 属性探索算法 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]