Decision Aiding Software Using FCA
نویسندگان
چکیده
The consensus problem arises from social choice theory and systematic biology where we are looking for the common information shared by a series of trees. In this paper we present a decision aiding software to help systematic biologist to choose the consensus function the most appropriate for their need. This software is based on a previous study between consensus functions and axiomatic properties, and their underlined concept lattice.
منابع مشابه
Using and Extending Formal Concept Analysis to Visualise Variability during Requirements Engineering
Research on variability in software artefacts is something which is already studied extensively in research. The visualisation of variability is one aspect of this research, and results like e.g. feature diagrams are well-known and well-spread. When it concerns the origin of the variability within the phase of requirements engineering, research is much scarcer. A visualisation technique for bot...
متن کاملCombining FCA Software and Sage
This paper discusses in how far FCA software can be combined with the computer algebra system Sage. The motivation for this paper is teaching mathematics to software engineering students using Sage and FCA which highlights differences and connections between mathematical and computational structures. Furthermore, this paper provides implementation details on how Sage’s functions for matrices, g...
متن کاملOperational Specification for FCA using Z
We present an outline of a process by which operational software requirements specifications can be written for Formal Concept Analysis (FCA). The Z notation is used to specify the FCA model and the formal operations on it. We posit a novel approach whereby key features of Z and FCA can be integrated and put to work in contemporary software development, thus promoting operational specification ...
متن کاملRepresentation aiding for a complex, dynamic control task: Illustration of an alternative approach to decision support
Representation aiding is a form of decision support that relies heavily, (although not exclusively) upon computer graphics. The goal of representation aiding is to support, rather than to replace, an individual in meeting inevitable challenges. The design of successful representation aids depends upon the tasks to be performed and characteristics of human cognition and perception. Issues in des...
متن کاملInducing Decision Trees via Concept Lattices
The paper presents a new method of decision tree induction based on formal concept analysis (FCA). The decision tree is derived using a concept lattice, i.e. a hierarchy of clusters provided by FCA. The idea behind is to look at a concept lattice as a collection of overlapping trees. The main purpose of the paper is to explore the possibility of using FCA in the problem of decision tree inducti...
متن کامل