scholarly journals Formal concept analysis model for static code analysis

2021 ◽  
Vol 38 (1) ◽  
pp. 159-168
Author(s):  
SIMONA MOTOGNA ◽  
◽  
DIANA CRISTEA ◽  
DIANA ȘOTROPA MOLNAR ◽  
◽  
...  
Keyword(s):  
Error Detection ◽  
Formal Concept Analysis ◽  
Applied Mathematics ◽  
Concept Analysis ◽  
Formal Concept ◽  
Analysis Model ◽  
Code Analysis ◽  
Static Code Analysis ◽  
Early Error ◽  
Qualitative Exploration

Tools that focus on static code analysis for early error detection are of utmost importance in software development, especially since the propagation of errors is strongly related to higher costs in the development process. Formal Concept Analysis is a prominent field of applied mathematics that uses conceptual landscapes to discover and represent maximal clusters of data. Its expressive visualization method makes it suitable for exploratory analyses in different fields. In this paper we present a Formal Concept Analysis framework for static code analysis that can serve as a model for quantitative and qualitative exploration and interpretation of such results.

Formal Concept Analysis Based Clustering

2011 ◽  
pp. 514-518
Author(s):  
Jamil M. Saquer
Keyword(s):  
Data Mining ◽  
Formal Concept Analysis ◽  
Lattice Theory ◽  
Applied Mathematics ◽  
Concept Analysis ◽  
Grocery Store ◽  
Association Mining ◽  
Formal Concept ◽  
Area Of Application

Formal concept analysis (FCA) is a branch of applied mathematics with roots in lattice theory (Wille, 1982; Ganter & Wille, 1999). It deals with the notion of a concept in a given universe, which it calls context. For example, consider the context of transactions at a grocery store where each transaction consists of the items bought together. A concept here is a pair of two sets (A, B). A is the set of transactions that contain all the items in B and B is the set of items common to all the transactions in A. A successful area of application for FCA has been data mining. In particular, techniques from FCA have been successfully used in the association mining problem and in clustering (Kryszkiewicz, 1998; Saquer, 2003; Zaki & Hsiao, 2002). In this article, we review the basic notions of FCA and show how they can be used in clustering.

Formal Concept Analysis Based Clustering

2011 ◽  
pp. 895-900 ◽  
Author(s):  
Jamil M. Saquer
Keyword(s):  
Data Mining ◽  
Formal Concept Analysis ◽  
Lattice Theory ◽  
Applied Mathematics ◽  
Concept Analysis ◽  
Grocery Store ◽  
Association Mining ◽  
Formal Concept ◽  
Area Of Application

Formal concept analysis (FCA) is a branch of applied mathematics with roots in lattice theory (Wille, 1982; Ganter & Wille, 1999). It deals with the notion of a concept in a given universe, which it calls context. For example, consider the context of transactions at a grocery store where each transaction consists of the items bought together. A concept here is a pair of two sets (A, B). A is the set of transactions that contain all the items in B and B is the set of items common to all the transactions in A. A successful area of application for FCA has been data mining. In particular, techniques from FCA have been successfully used in the association mining problem and in clustering (Kryszkiewicz, 1998; Saquer, 2003; Zaki & Hsiao, 2002). In this article, we review the basic notions of FCA and show how they can be used in clustering.

Intuitionistic fuzzy three-way formal concept analysis based attribute correlation degree

2021 ◽  
Vol 40 (1) ◽  
pp. 1567-1583
Author(s):  
Xian-Wei Xin ◽  
Ji-Hua Song ◽  
Zhan-Ao Xue ◽  
Wei-Ming Peng
Keyword(s):  
Formal Concept Analysis ◽  
Concept Lattice ◽  
Concept Analysis ◽  
Boundary Objects ◽  
Formal Concept ◽  
Final Decision ◽  
Analysis Model ◽  
Intuitionistic Fuzzy ◽  
Correlation Degree ◽  
Attribute Correlation

As an important expanded of the classical formal concept, the three-way formal concept analysis integrates more information with the three-way decision theory. However, to the best of our knowledge, few scholars have studied the intuitionistic fuzzy three-way formal concept analysis. This paper proposes an intuitionistic fuzzy three-way formal concept analysis model based on the attribute correlation degree. To achieve this, we comprehensively analyze the composition of attribute correlation degree in the intuitionistic fuzzy environment, and introduce the corresponding calculation methods for different situations, as well as prove the related properties. Furthermore, we investigate the intuitionistic fuzzy three-way concept lattice ((IF3WCL) of object-induced and attribute-induced. Then, the relationship between the IF3WCL and the positive, negative and boundary domains in the three-way decision are discussed. In addition, considering the final decision problem of boundary objects, the secondary decision strategy of boundary objects is obtained for IF3WCL. Finally, a numerical example of multinational company investment illustrates the effectiveness of the proposed model. In this paper, we systematically study the IF3WCL, and give a quantitative analysis method of formal concept decision along with its connection with three-way decision, which provides new ideas for the related research.

scholarly journals Continuous Domains in Formal Concept Analysis*

2021 ◽  
Vol 179 (3) ◽  
pp. 295-319
Author(s):  
Longchun Wang ◽  
Lankun Guo ◽  
Qingguo Li
Keyword(s):  
Formal Concept Analysis ◽  
Concept Analysis ◽  
Continuous Functions ◽  
Formal Context ◽  
Formal Concept ◽  
Contractive Mappings ◽  
Continuous Domains ◽  
Algebraic Domains ◽  
Scott Continuous ◽  
Continuous Domain

Formal Concept Analysis (FCA) has been proven to be an effective method of restructuring complete lattices and various algebraic domains. In this paper, the notion of contractive mappings over formal contexts is proposed, which can be viewed as a generalization of interior operators on sets into the framework of FCA. Then, by considering subset-selections consistent with contractive mappings, the notions of attribute continuous formal contexts and continuous concepts are introduced. It is shown that the set of continuous concepts of an attribute continuous formal context forms a continuous domain, and every continuous domain can be restructured in this way. Moreover, the notion of F-morphisms is identified to produce a category equivalent to that of continuous domains with Scott continuous functions. The paper also investigates the representations of various subclasses of continuous domains including algebraic domains and stably continuous semilattices.

The Research of Semantic Web Service Matching Algorithm Based on the Formal Concept Analysis

2013 ◽  
Vol 760-762 ◽  
pp. 1708-1712
Author(s):  
Ying Fang Li ◽  
Ying Jiang Li ◽  
Yan Li ◽  
Yang Bo
Keyword(s):  
Semantic Web ◽  
Web Service ◽  
Formal Concept Analysis ◽  
Service Discovery ◽  
Concept Lattice ◽  
Concept Analysis ◽  
Formal Concept ◽  
Semantic Web Service ◽  
Matching Algorithm ◽  
Service Matching

At present, as the number of web services resources on the network drastically increased, how to quickly and efficiently find the needed services from publishing services has become a problem to resolve. Aiming at the problems of low efficiency in service discovery of traditional web service, the formal concept analysis ( FCA) is introduced into the semantic Web service matching, and a Matching Algorithm based semantic web service is proposed. With considering the concept of limited inheritance,this method introduces the concept of limited inheritance to the semantic similarity calculation based on the concept lattice. It is significant in enhancing the service function matching in practical applications through adjust the calculation.

Set approximations in fuzzy formal concept analysis

2007 ◽  
Vol 158 (23) ◽  
pp. 2627-2640 ◽  
Author(s):  
Ming-Wen Shao ◽  
Min Liu ◽  
Wen-Xiu Zhang
Keyword(s):  
Formal Concept Analysis ◽  
Concept Analysis ◽  
Formal Concept ◽  
Fuzzy Formal Concept ◽  
Fuzzy Formal Concept Analysis
Sign in / Sign up

Export Citation Format

Share Document