A Theory of Closure Operators
نویسندگان
چکیده
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only for the states that it assures, and define a more general concept in which acceptable states are a superset of assurable states. This modified definition permits operators to make arbitrary choices that are later changed by other operators, easing their composition and allowing them to maintain aspects of a configuration. The result is that operators can be used to implement closures, which can in turn be used to build self-managing systems.
منابع مشابه
CHARACTERIZATION OF L-FUZZIFYING MATROIDS BY L-FUZZIFYING CLOSURE OPERATORS
An L-fuzzifying matroid is a pair (E, I), where I is a map from2E to L satisfying three axioms. In this paper, the notion of closure operatorsin matroid theory is generalized to an L-fuzzy setting and called L-fuzzifyingclosure operators. It is proved that there exists a one-to-one correspondencebetween L-fuzzifying matroids and their L-fuzzifying closure operators.
متن کاملFrom torsion theories to closure operators and factorization systems
Torsion theories are here extended to categories equipped with an ideal of 'null morphisms', or equivalently a full subcategory of 'null objects'. Instances of this extension include closure operators viewed as generalised torsion theories in a 'category of pairs', and factorization systems viewed as torsion theories in a category of morphisms. The first point has essentially been treated in [15].
متن کاملCategories of lattice-valued closure (interior) operators and Alexandroff L-fuzzy topologies
Galois connection in category theory play an important role inestablish the relationships between different spatial structures. Inthis paper, we prove that there exist many interesting Galoisconnections between the category of Alexandroff $L$-fuzzytopological spaces, the category of reflexive $L$-fuzzyapproximation spaces and the category of Alexandroff $L$-fuzzyinterior (closure) spaces. This ...
متن کاملM-FUZZIFYING MATROIDS INDUCED BY M-FUZZIFYING CLOSURE OPERATORS
In this paper, the notion of closure operators of matroids is generalized to fuzzy setting which is called $M$-fuzzifying closure operators, and some properties of $M$-fuzzifying closure operators are discussed. The $M$-fuzzifying matroid induced by an $M$-fuzzifying closure operator can induce an $M$-fuzzifying closure operator. Finally, the characterizations of $M$-fuzzifying acyclic matroi...
متن کاملM-FUZZIFYING DERIVED OPERATORS AND DIFFERENCE DERIVED OPERATORS
This paper presents characterizations of M-fuzzifying matroids bymeans of two kinds of fuzzy operators, called M-fuzzifying derived operatorsand M-fuzzifying difference derived operators.
متن کاملOn Closure Operators in Fuzzy Algebras and Fuzzy Deductive Systems
The starting point of this paper is the classical well-known theorem due to G. BIRKHOFF, P. HALL, and J. SCHMIDT which establishes a one-to-one correspondence between compact closure operators, inductive closure operators, inductive closure systems, and closure operators generated in universal algebras (and generated in deductive systems, respectively). In the paper presented we make first step...
متن کامل