A general theory of concept lattice with tractable implication exploration

摘要

This work develops the general concept lattice for the problem concerning categorisation of objects according to their properties. Unlike the conventional approaches, such as the formal concept lattice and the rough set lattice, the general concept lattice is designed to adhere to the general principle that the information content should be invariant regardless how the variables/parameters are presented. Here, one will explicitly demonstrate the existence of such a construction by a sequence of fulfilments compatible with the conventional lattice structure. The general concept lattice promises to be a comprehensive categorisation for all the distinctive object classes according to whatever properties they are equipped with. It will be shown that one can always regain the formal concept lattice and rough set lattice from the general concept lattice.