当前位置: X-MOL 学术Theor. Comput. Sci. › 论文详情
A general theory of concept lattice with tractable implication exploration
Theoretical Computer Science ( IF 0.718 ) Pub Date : 2020-05-21 , DOI: 10.1016/j.tcs.2020.05.014
Tsong-Ming Liaw; Simon C. Lin

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. One also speaks of the tractability of the general concept lattice for both its lattice structure and logical content. The general concept lattice permits a feasible construction that can be completed in a single scan of the formal context, though the conventional formal-concept lattice and rough-set lattice can be regained from the general concept lattice. The logic implication deducible from the general concept lattice takes the form of μ1→μ2 where μ1,μ2∈M⁎ are composite attributes out of the concerned formal attributes M. Remarkable is that with a single formula based on the contextual truth 1η one can deduce all the implication relations extractable from the formal context. For concreteness, it can be shown that any implication A→B (A,B being subsets of the formal attributes M) discussed in the formal-concept lattice corresponds to a special case of μ1→μ2 by means of μ1=∏A and μ2=∏B. Thus, one may elude the intractability due to searching for the Guigues-Duquenne basis appropriate for the implication relations deducible from the formal-concept lattice. Likewise, one may identify those μ1→μ2 where μ1=∑A and μ2=∑B with the implications that can be acquired from the rough-set lattice. (Here, the product ∏ stands for the conjunction and the summation ∑ the disjunction.)
更新日期:2020-05-21

 

全部期刊列表>>
Springer化学材料学
骄傲月
如何通过Nature平台传播科研成果
跟Nature、Science文章学绘图
隐藏1h前已浏览文章
中洪博元
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
南开大学
朱守非
廖良生
郭东升
汪铭
伊利诺伊大学香槟分校
徐明华
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug