Visualization of Formal Concepts
نویسنده
چکیده
Formal concept analysis (FCA) is a method that applies to structuring the philosophical notion of human thought into logical concepts. These formal concepts follow a definite mathematical model that can be expressed as lattices. The visualization tool discussed as follows was built as a basic prototype for representing and performing operations on a formal context.
منابع مشابه
Deep First Formal Concept Search
The calculation of formal concepts is a very important part in the theory of formal concept analysis (FCA); however, within the framework of FCA, computing all formal concepts is the main challenge because of its exponential complexity and difficulty in visualizing the calculating process. With the basic idea of Depth First Search, this paper presents a visualization algorithm by the attribute ...
متن کاملA Visual Approach to Teaching Formal Access Models in Security
Formal models are important in information security education. The ability to abstract security concepts and apply formal reasoning techniques provides a basis for students to understand fundamental results and have a broader perspective on security issues. Our experience at the undergraduate level is that students often struggle with the abstract models, how to apply them, and the associated i...
متن کاملVisualization of State Transition Graphs
A new method for the visualization of state transition graphs is presented. Visual information is reduced by clustering nodes, forming a tree structure of related clusters. This structure is visualized in three dimensions with concepts from cone trees and emphasis on symmetry. The resulting visualization makes it easier to relate features in the visualization of the state transition graph to se...
متن کاملCreacomp: Experimental Formal Mathematics for the Classroom *
CreaComp provides an electronic environment for learning and teaching mathematics that aims at inspiring the creative potential of students. During their learning process, students are encouraged to engage themselves in various kinds of interactive experiments, both of visual and purely formal mathematical nature. The computer-algebra system Mathematica powers the visualization of mathematical ...
متن کاملSimulation and Visualization of Concept Algebra in MATLAB
Concept algebra (CA) is a denotational mathematics for formal knowledge manipulation and natural language processing. In order to explicitly demonstrate the mathematical models of formal concepts and their algebraic operations in CA, a simulation and visualization software is developed in the MATLAB environment known as the Visual Simulator of Concept Algebra (VSCA). This paper presents the des...
متن کامل