{"title":"Attribute combination reduction in formal concept analysis: A theoretical characterization","authors":"Qin Zhang , Jianjun Qi , Ling Wei , Siyu Zhao","doi":"10.1016/j.ijar.2025.109498","DOIUrl":null,"url":null,"abstract":"<div><div>Formal concept analysis is an approach relying on hierarchies of formal concepts to acquire knowledge from formal contexts, and is developed on the foundation of lattice theory. In formal concept analysis, reduction theory mainly consists of two types: attribute reduction and concept reduction. The former achieves data reduction but inevitably leads to the loss of the original information in the formal context. The latter involves the deletion of formal concepts while preserving the original information. This paper proposes a new type of reduction called attribute combination reduction to preserve object intents, which leverages the strengths of both attribute reduction and concept reduction while avoiding the limitations of attribute reduction. First, the definition of attribute combination reducts and the judgment theorem of attribute combination consistent sets are given. Then, the relationship between attribute combination reducts and concept reducts is investigated, and the properties of attribute combination reducts are explored. In addition, to narrow the scope for searching attribute combination reducts, a lower bound and an upper bound for their cardinality are provided from the perspectives of the set dimension and the Ferrers dimension of a formal context.</div></div>","PeriodicalId":13842,"journal":{"name":"International Journal of Approximate Reasoning","volume":"186 ","pages":"Article 109498"},"PeriodicalIF":3.0000,"publicationDate":"2025-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Approximate Reasoning","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0888613X25001392","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE","Score":null,"Total":0}
引用次数: 0
Abstract
Formal concept analysis is an approach relying on hierarchies of formal concepts to acquire knowledge from formal contexts, and is developed on the foundation of lattice theory. In formal concept analysis, reduction theory mainly consists of two types: attribute reduction and concept reduction. The former achieves data reduction but inevitably leads to the loss of the original information in the formal context. The latter involves the deletion of formal concepts while preserving the original information. This paper proposes a new type of reduction called attribute combination reduction to preserve object intents, which leverages the strengths of both attribute reduction and concept reduction while avoiding the limitations of attribute reduction. First, the definition of attribute combination reducts and the judgment theorem of attribute combination consistent sets are given. Then, the relationship between attribute combination reducts and concept reducts is investigated, and the properties of attribute combination reducts are explored. In addition, to narrow the scope for searching attribute combination reducts, a lower bound and an upper bound for their cardinality are provided from the perspectives of the set dimension and the Ferrers dimension of a formal context.
期刊介绍:
The International Journal of Approximate Reasoning is intended to serve as a forum for the treatment of imprecision and uncertainty in Artificial and Computational Intelligence, covering both the foundations of uncertainty theories, and the design of intelligent systems for scientific and engineering applications. It publishes high-quality research papers describing theoretical developments or innovative applications, as well as review articles on topics of general interest.
Relevant topics include, but are not limited to, probabilistic reasoning and Bayesian networks, imprecise probabilities, random sets, belief functions (Dempster-Shafer theory), possibility theory, fuzzy sets, rough sets, decision theory, non-additive measures and integrals, qualitative reasoning about uncertainty, comparative probability orderings, game-theoretic probability, default reasoning, nonstandard logics, argumentation systems, inconsistency tolerant reasoning, elicitation techniques, philosophical foundations and psychological models of uncertain reasoning.
Domains of application for uncertain reasoning systems include risk analysis and assessment, information retrieval and database design, information fusion, machine learning, data and web mining, computer vision, image and signal processing, intelligent data analysis, statistics, multi-agent systems, etc.