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

• 作者: 马垣
• 来源期刊: 模式识别与人工智能
• 学科: 工学
• 关键词: 二值命题逻辑 命题集约简 概念格 内涵亏值
• 年，卷（期）: 2013,（10）
• 所属期刊栏目: 论文与报告
• 页码范围: 935-943
• 页数: 9页
• 分类号: TP181
• 字数: 10779字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马垣	辽宁科技大学软件学院	32	148	7.0	11.0