Results 271 to 280 of about 934,075 (313)
Some of the next articles are maybe not open access.
Probabilistic Concepts in Formal Contexts
2012We generalize the main notions of Formal Concept Analysis with the ideas of the semantic probabilistic inference. We demonstrate that under standard restrictions, our definitions completely correspond to the original notions of Formal Concept Analysis. From the point of view of applications, we propose a method of recovering concepts in formal contexts
Alexander V. Demin +2 more
openaire +1 more source
Implications in Triadic Formal Contexts
2004There are different possibilities to define implications in a triadic formal context. We discuss several such notions. Our main interest is to give compact descriptions and to use them for an algorithm that generates these implications. Our findings are illustrated by a small example.
Bernhard Ganter, Sergei A. Obiedkov
openaire +1 more source
2011 6th International Conference on Computer Science & Education (ICCSE), 2011
In this paper, an ontology is regarded as an information system in formal concept analysis. Then, based on theories of concepts, a formal context in ontologies defined by a set of properties is conceptualized as a concept with the extent and the intent.
Sun Yu, Xia Youming, Zhiping Li
openaire +1 more source
In this paper, an ontology is regarded as an information system in formal concept analysis. Then, based on theories of concepts, a formal context in ontologies defined by a set of properties is conceptualized as a concept with the extent and the intent.
Sun Yu, Xia Youming, Zhiping Li
openaire +1 more source
Formal Context and Morphological Analysis
1999This paper presents a definition of context for the interpretation of word-structure that is based on the formal relation of asymmetry. We provide evidence that morpho-conceptual complexity is optimally tractable in terms of local asymmetrical relations in formal context.
openaire +1 more source
Formal concept analysis in intuitionistic fuzzy formal context
2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010This paper mainly studies the formal concept analysis in an intuitionistic fuzzy formal context. The primitive notions in concept lattice theory are extended to the intuitionistic fuzzy environment. According to this view, the notion of crisp-intuitionistic fuzzy concept is proposed which originates from an defined extent operator and an intent ...
openaire +1 more source
Agreement Contexts in Formal Concept Analysis
2004This paper describes a technique in which some columns of an n-ary relation are interpreted as defining a situation. For example when considering movies, critics and reviews we talk about the situation when the critic is a particular critic. We then construct a formal context called an agreement context designed to show that which is in common between ...
Cole, R. J., Becker, P.
openaire +2 more sources
On computable formal concepts in computable formal contexts
Siberian Mathematical Journal, 2007Summary: We introduce and study the notions of computable formal context and computable formal concept. We give some examples of computable formal contexts in which the computable formal concepts fail to form a lattice and study the complexity aspects of formal concepts in computable contexts.
Morozov, A. S., L'vova, M. A.
openaire +2 more sources
Automated Context Formalization for Context-aware Specification Approach
International Journal of Information System Modeling and Design, 2018Requirement specification is a key element in model-checking verification. The context-aware approach is an effective technique for automating the specification of requirement considering specific environmental conditions. In most of existing approaches, there is no support of this crucial task and are mainly based on the considerable efforts and ...
Amel Benabbou, Safia Nait Bahloul
openaire +1 more source
Formalizing Context in Intuitionistic Type Theory
Fundamenta Informaticae, 2000The article discusses formal aspects of the notion of context as needed in AI applications. We advocate the use of Martin-Löf's intuitionistic type theory to formalize and implement contexts. Through many examples belonging to the domains of computational semantics and knowledge based systems, we show that the built-in notion of context in ...
openaire +2 more sources
The strong direct product of formal contexts
Information Sciences, 2013The theory of Formal Concept Analysis is used as a knowledge representation mechanism and as a conceptual clustering method. Formal context is a basic notion in this theory. This paper proposes a kind of formal context, called n-Strong-Direct-Product-Formal-Context (n-SDPFC, for short), by the strong direct product of n formal contexts.
Meizheng Li, Ju-Sheng Mi
openaire +1 more source