文献类型：期刊文章

作　　者：李立峰[1,2] 刘三阳[1] 罗清君[3]

机构地区：[1]西安电子科技大学理学院数学系,陕西西安710126 [2]西安邮电大学理学院,陕西西安710121 [3]西安财经学院理学院,陕西西安710068

出　　处：《电子学报》

基　　金：中央高校基本科研业务费专项资金(No.K50511700008);陕西省教育厅自然科学专项基金(No.11JK1051;No.2013JK1098;No.2013JK1130;No.2013JK1182)

年　　份：2013

卷　　号：41

期　　号：7

起止页码：1384-1388

语　　种：中文

收录情况：BDHX、BDHX2011、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、EI(收录号：20133916789746)、IC、INSPEC、JST、RCCSE、RSC、SCOPUS、ZGKJHX、核心刊

摘　　要：本文首先讨论了二部图中双单纯边与概念格中概念之间的对应关系;其次研究了弦二部图和约简的形式背景的若干性质;最后将概念格中元素的消除理论应用于二部图的研究,给出了弦二部图的概念格刻画.结果表明,一个二部图是弦二部图当且仅当对应的概念格中有一个∨∧—不可约元的完美消除序列.

关 键 词：知识推理 约简形式背景  概念格 弦二部图  边完美消除序列  

分 类 号：TP18]