%0 Journal Article
%T 概念的矩阵化描述及相关定理的矩阵化证明
%A 董辉
%A 马垣
%A 宫玺
%J 计算机科学
%D 2009
%I 
%X 概念格作为形式概念分析理论中的核心数据结构,已在知识工程和软件工程等领域得到了广泛的应用.然而,对概念格理论的研究仅存在于纯教学领域1],虽然已有的Hasse图能体现概念间的范化与特化关系,但时概念本身的理解帮助不大,用于定理的证明更为少见.从可视化着手,对概念格的图形化研究做了一点尝试,把概念信息理解成概念矩形,并用之于概念格定理的证明,取得满意的效果.
%K 概念格
%K 概念矩形
%K 概念格生成算法
%K 批处理
%K 渐进式
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=25E2AEA916474D594BFFD8344A73ED27&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=0B39A22176CE99FB&sid=7EBE588F611589FC&eid=D46BA3D3D4B3C585&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=7