形式概念格和粗集理论作为人工智能领域的2种有效而重要的数学方法,为知识处理和数据分析提供了一系列代数工具。该文研究形式概念格的复合粗集表示方法,证明了概念的内涵和外延都是某复合粗近似算子的不动点。结果揭示了形式概念格与粗糙近似空间之间内在的密切联系,对完善概念格分析的数学模型具有一定的作用。
As two effective and important approaches from mathematic theory in artificial intelligence fields, the formal concept analysis and the rough set theory offers a serial of excellent algebraic tools for the data analysis and knowledge treatment. This paper studies the representation form of the concept lattice by the composition rough set, and proves that the concept intension and extension are respectively the fixed points of some composition rough approximate operators. The paper reveals the close inner relationships between the formal concept lattice and the rough approximate space, and it is useful to perfect the mathematic model of formal concept lattice.