The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composing two closure operators and that the resulting operator is still a closure operator. Also, we extend any similarity into a similarity which is compatible with the logical equivalence, and we prove that this gives the ...

There are examples of algorithms which allow the e cient computation of the concepts of a given formal context. However, when one wants to apply those algorithms to an arbitrary closure operator, which might not be given by a formal context, those algorithms cannot be applied directly. Therefore we want to discuss the problem of nding an appropriate formal context for a given closure operator, ...

We propose a framework for managing resources via convergent operators. Operators represent their need for a resource to a designated resource closure operator that manages the resource. We evaluate a specific design for a resource closure operator by simulation and demonstrate that the operator achieves a near-optimal balance between cost and value without using any model of the relationship b...