software

Formal context is used in theoretical computer scince for various purposes, but especially in connection with data representation and organization. It was introduced by B. Ganter and R. Wille at the end of the 70's as one of the key notions in Formal Concept Analysis. Framework is an algebraic, formal context structure whose purpose is capturing the topological or topology-like structure of a system from its externally observed properties. The objects of a framework are called places and the attributes are collections of places connected by a possible presence of some physical object, for example, a particle. The set of attributes is called a framology. The generalized distance may be used for study of mutual similarities between two objects of the same type, which, however may vary from various topological and algebraic structures, structures carrying infomation, like databases, to, for instance, dynamical systems. Application Object Generalized Metrics deals with the generalized distance based on object properties. It checks if the formal context is correctly given by the input and then it calculates the tables of three modifications of the generalized distance between the objects of the given formal context. The calcullation is based on the properties of the framework associated with the formal context on the set of its objects.

Formal context, objects, framework, framology, generalized distance

5. 11. 2014

Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

http://matika.umat.feec.vutbr.cz/software/webmath/ContextGeneralizedMetrics2.jsp