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

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

单位：西安电子科技大学理学院数学系; 陕西西安710126; 西安邮电大学理学院; 陕西西安710121; 西安财经学院理学院; 陕西西安710068