区间概念格的纵向维护原理与算法*

张春英，王立亚,刘保相

(华北理工大学理学院，河北 唐山 063009)

摘要：区间概念格是唯一能直接反映具备一定数量或比例的内涵中属性的对象集合的格结构。格结构是根据对象-属性的二元关系构造的，形式背景中的属性是时刻变化的，为使概念格能反映属性变化后的数据规律进而提取新的规则，提出了区间概念格的纵向维护算法。算法在分析了区间概念格的概念外延特点及结构特征后，给出了区间概念格在增加属性、删除属性两种情况下的维护算法，进而通过算法分析表明了维护较重构在时间与空间上的高效性，最终用实例表明了维护算法的可行性。

关键词：区间概念格；纵向维护；对象-属性；形式背景

中图分类号：TP301.6 文献标志码：A

doi:10.3969/j.issn.1007-130X.2015.06.028

收稿日期：*2014-02-17;修回日期：2014-05-19

基金项目：国家自然科学基金资助项目(61370168,61472340)；河北省科技厅条件建设项目(14960112D)

作者简介:

通信地址：063009 河北省唐山市华北理工大学理学院

Address:College of Science,North China University of Science and Technology,Tangshan 063009,Hebei,P.R.China

Longitudinal maintenance theory and algorithm for interval concept lattice

ZHANG Chun-ying，WANG Li-ya,LIU Bao-xiang

(College of Science,North China University of Science and Technology,Tangshan 063009,China)

Abstract:Interval concept lattice is the only lattice structure that can directly reflect the object sets that contain a certain number or percentage of properties in intension. A concept lattice is constructed based on the binary relation between objects and attributes. The attributes of formal context are changing all the time. We propose a longitudinal maintenance algorithm for interval concept lattice to reflect the regularity of the changing attributes and then extract some new rules. We also propose a maintenance algorithm for interval concept lattice under two situations: adding properties and deleting properties. Algorithm analysis demonstrates the higher spatio-temporal efficiency of maintenance than reconstruction, and the feasibility of the algorithm.

Key words:interval concept lattice;longitudinal maintenance;object-attribute; formal context

1引言

概念格理论是由Wille R教授[1]于1982年提出的,在知识管理、信息检索、软件工程等方面都有广泛的应用[2,3]。区间概念格是定义在参数区间上的格结构，其概念外延是区间范围内满足内涵属性的对象集。文献[4,5]分别给出了其定义、性质及构造算法。

区间概念格是基于某已知的形式背景，根据数据的二元关系构造的。形式背景的数据每时每刻都可能发生变化；如在医学诊断系统中，病人的增加会引起对象的增加，同一疾病的影响因素的变化会引起属性的变化，如果每次都进行概念格的重新生成，将浪费大量的人力物力，这样也就引出了对概念格的维护问题。……