WHEN WE survey the history of science, no matter what our philosophical persuasions, it is clear that the formation of new ways of conceptualizing reality is a central feature of the scientific enterprise and of what we call ‘scientific progress’. However, little attention has been given to the study of how these new concepts are actually formed. Indeed, until the last 20 years or so, the quest...

This paper describes a learning technique based on the use of examples and counter-examples of the concept being learned. The technique blends together the conceptual graphs theory and the support logic programming. Each of these is being used for both knowledge representation and inference. An application to a vision learning system as well as a discussion of such a system is included.

The theory of concept lattice is an efficient tool for knowledge representation and knowledge discovery. One of the key problems of knowledge discovery is attribute reduction. This paper presents a novel approach to attribute reduction in formal concept lattices. The approach employs all the extents of the meet-irreducible elements in the lattice. Each of them determines a family of attribute s...

Recently, Vemuri and Jayaram proposed a novel method of generating fuzzy implications from a given pair of fuzzy implications. Viewing this as a binary operation ~ on the set I of all fuzzy implications they obtained, for the first time, a monoid structure (I,~) on the set I. Some algebraic aspects of (I,~) had already been explored and hitherto unknown representation results for the Yager’s fa...

The paper offers a parallel between two approaches to conceptual clustering, namely formal concept analysis (augmented with the introduction of new operators) and bipartite graph analysis. It is shown that a formal concept (as defined in formal concept analysis) corresponds to the idea of a maximal bi-clique, while a “conceptual world” (defined through a Galois connection associated of the new ...

In physics education the use of graphical knowledge representation tools like concept maps has been one promising line of approach, which is known to support the formation of organised knowledge. There are several information technology (IT) solutions for concept mapping, which allow a flexible collaborative construction of concepts maps. However, the IT solutions need to be made as invisible a...

This paper is a brief summary of “M.Takahashi, T.Murofushi, S.Asahina, A new necessary and sufficient condition for the Egoroff theorem in non-additive measure theory, Fuzzy Sets and Systems, to appear.” This paper states that a newly defined condition, called condition (M), is a necessary and sufficient condition for the Egoroff theorem in non-additive measure theory. The existing necessary an...

Concept mapsTM have existed in the educational community for some time. A concept map is a visual representation of a person’s (student’s) knowledge of a domain. Many have reported on computer-based implementations of interactive concept map building tools. However, existing concept webs are rooted in a propositional, primarily textual, knowledge representation scheme. Further, existing compute...

It is shown how Conceptual Graphs and Formal Concept Analysis may be combined to obtain a formalization of Elementary Logic which is useful for knowledge representation and processing. For this, a translation of conceptual graphs to formal contexts and concept lattices is described through an example. Using a suitable mathematization of conceptual graphs, basics of a uniied mathematical theory ...

In a unified knowledge representation, data, information and knowledge are all represented in a single formalism as “items”. A unified knowledge representation is extended here to include two types of fuzzy measures of knowledge integrity. These integrity measures define a graduated integrity region for data, information and knowledge. This fuzzy region contains knowledge of increasingly questi...