内涵亏值及二值命题逻辑中命题集合约简

作者：马垣

来源：模式识别与人工智能, 2013, (10): 935-943.

DOI：10.16451/j.cnki.issn1003-6059.2013.10.010

• 二值命题逻辑
• 命题集约简
• 概念格
• 内涵亏值 2-Valued Propositional Logic
• Reduction of Proposition Set
• Concept Lattice
• Intent Waned Value

求命题集所有可能的约简是二值命题逻辑的一个重要课题.目前的算法都是逐一求单个约简,汇总起来得到所有可能约简.文中应用形式概念的理论,提出内涵亏值、亏值超图等思想,给出一次即可求出所有约简的算法.该算法使计算全部约简的运算次数大为减少.

• 出版日期2013
• 单位辽宁科技大学