Results 221 to 230 of about 772,564 (263)

Formalizing Context in Intuitionistic Type Theory

Fundamenta Informaticae, 2000
The 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

Rough approximations in formal contexts

2005 International Conference on Machine Learning and Cybernetics, 2005
In this paper, relationships between the rough set theory and the formal concept analysis are discussed. By using some coverings and binary relations on the object set, and a heterogeneous relation of a formal context, several types of rough approximation operators on the object set are introduced.
null Tong-Jun Li, null Wen-Xiu Zhang
openaire   +1 more source

Formal concept analysis in intuitionistic fuzzy formal context

2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010
This 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

Fuzzy Concepts in Formal Context

2015
Formal concept analysis (FCA) provides a theoretical framework for learning hierarchies of knowledge clusters. This paper is devoted to the study of the fuzzy concept in FCA. We propose a fuzzy relation on the universe to characterize the similarity of the objects.
Luodan Meng, Keyun Qin
openaire   +1 more source

Formal Training Courses in Context

Personnel Review, 1982
Some organisations use external management and supervisory training courses as a major means of developing and training their staff. Whose needs do these courses address however? Is it those of the sponsoring organisation's or those of the individuals attending?
openaire   +1 more source

Research on combined formal context

2011 IEEE International Conference on Granular Computing, 2011
Currently, there are many ways to generate new formal contexts from the original ones. Among these ways, combining formal contexts is the simplest one. This paper mainly discusses the attribute characteristics in the composition of two formal contexts, which is called the combined formal context.
Mei-Zheng Li, Duo Pei, Hong-Qiang Yang, Ju-Sheng Mi   +3 more
openaire   +1 more source

Formal Technology Transfer in Context

2013
Collaboration between science and industry and the technology transfer activities of universities have been argued to be crucial in the development and sustainability of a competitive knowledge-based economy. Previous studies have mainly focused on indicators such as patents, license income and spin-offs to measure technology transfer activities ...
Johan Bruneel, Nathalie Moray, Bart Clarysse   +2 more
openaire   +1 more source

Implications in Triadic Formal Contexts

2004
There 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 Obiedkov
openaire   +1 more source

Soft General Rough Formal Context

2013 Fourth World Congress on Software Engineering, 2013
We discuss the rough set, formal context and soft sets together, define the soft general rough formal context using the arbitrary relation between the objects set and attributes set, give some soft operators in the soft general rough formal context, and discuss rough properties and soft operations properties over the soft general rough formal context.
openaire   +1 more source

Probabilistic Concepts in Formal Contexts

2012
We 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 Demin, Denis Ponomaryov, Evgeny Vityaev   +2 more
openaire   +1 more source