基于形式背景转化的概念格属性约简  

Attribute Reduction of Concept Lattice Based on Transformation of Formal Context

作　　者：任苡嘉 张贤勇 张敏[1,2] 杨霁琳 REN Yijia;ZHANG Xianyong;ZHANG Min;YANG Jilin(School of Mathematical Sciences,Sichuan Normal University,Chengdu 610066,China;Institute of Intelligent Information and Quantum Information,Sichuan Normal University,Chengdu 610066,China;College of Computer Science,Sichuan Normal University,Chengdu 610101,China)

机构地区：[1]四川师范大学数学科学学院,四川成都610066 [2]四川师范大学智能信息与量子信息研究所,四川成都610066 [3]四川师范大学计算机科学学院,四川成都610101

出　　处：《郑州大学学报（理学版）》2023年第5期89-94,共6页Journal of Zhengzhou University:Natural Science Edition

基　　金：国家自然科学基金项目(61673258);四川省科技计划项目(2021YJ0085,2022NSFSC0929)。

摘　　要：借鉴形式背景下概念格的经典属性约简,立足决策形式背景,通过转换提出一种新的概念格属性约简,其对一般约简具有结构诱导性。首先,在决策形式背景下定义一致集,提出概念格的一致属性约简及对应算法,得到一致属性约简与三分属性的关系。其次,研究新建的一致约简与已有的强一致约简和弱一致约简之间的关系,得到一致约简具有关于概念格属性约简的严格强性,并由此设计由强至弱的启发式约简算法。最后,给出具体实例,说明与验证相关的约简、性质和算法。By referring to the classical attribute reduction of concept lattice in formal context,a new attribute reduction of concept lattice in decision formal context was proposed by transformation,and it had structural induction for general reducts.Firstly,consistent sets were defined in decision formal context,and consistent reducts and their algorithms were proposed for concept lattice.Moreover,connections between consistent attribute reducts and three-way attributes were acquired.Secondly,relationships of consistent reducts regarding existing strong-consistent reducts and weak-consistent reducts were investigated,thus,consistent reducts exhibited the strict strength in terms of attribute reduction of concept lattice,and heuristic reduction algorithms from the strong to the weak were designed.Finally,the relevant reducts,properties and algorithms were illustrated and validated by detailed examples.

关 键 词：概念格 属性约简 决策形式背景 约简强弱性 启发式约简算法 三支决策 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]