I. B. Muchnik, and L. V. Shvartser

Nuclei of Monotonic Systems on a Semilattice of Sets (pdf)

Algorithms developed in the method of monotonic systems for the identification of extremal subsets are modified for the analysis of the conditions of an arbitrary finite semilattice of sets. We show how to generate these subsemilattices in a goal-directed manner in the form of solutions of inequalities defined by collection of monotonic systems. The modified technique is applied to construct new automatic classification algorithm.