模式识别与人工智能
2025年4月3日 星期四   首 页     期刊简介     编委会     投稿指南     伦理声明     联系我们                                                                English
模式识别与人工智能  2013, Vol. 26 Issue (10): 935-943    DOI:
论文与报告 最新目录| 下期目录| 过刊浏览| 高级检索 |
内涵亏值及二值命题逻辑中命题集合约简
马垣
辽宁科技大学 软件学院 鞍山 114051
Intent Waned Values and Reduction of Proposition Set in 2-Valued Propositional Logic
MA Yuan
School of Software, University of Science and Technology LiaoNing, Anshan 114051

全文: PDF (426 KB)   HTML (1 KB) 
输出: BibTeX | EndNote (RIS)      
摘要 求命题集所有可能的约简是二值命题逻辑的一个重要课题。目前的算法都是逐一求单个约简,汇总起来得到所有可能约简。文中应用形式概念的理论,提出内涵亏值、亏值超图等思想,给出一次即可求出所有约简的算法。该算法使计算全部约简的运算次数大为减少。
服务
把本文推荐给朋友
加入我的书架
加入引用管理器
E-mail Alert
RSS
作者相关文章
马垣
关键词 二值命题逻辑命题集约简概念格内涵亏值    
Abstract:It is an important subject to find all possible reductions of a proposition set in the two-valued propositional logic. The current algorithms find single reduction one by one, and collect them to get all the possible reductions. In this paper, an algorithm for finding all the reductions at a time with the help of the formal concept theory is proposed, and the notions of intent waned values and waned values hypergraph are put forward. The proposed algorithm greatly decreases the operation times of finding all reductions.
Key words2-Valued Propositional Logic    Reduction of Proposition Set    Concept Lattice    Intent Waned Value   
收稿日期: 2012-05-07     
ZTFLH: TP181  
作者简介: 马垣(通讯作者),男,1941年生,教授,主要研究方向为形式概念、粗糙集、数据库.E-mail:mayuanas@sina.com.
引用本文:   
马垣. 内涵亏值及二值命题逻辑中命题集合约简[J]. 模式识别与人工智能, 2013, 26(10): 935-943. MA Yuan. Intent Waned Values and Reduction of Proposition Set in 2-Valued Propositional Logic. , 2013, 26(10): 935-943.
链接本文:  
http://manu46.magtech.com.cn/Jweb_prai/CN/      或     http://manu46.magtech.com.cn/Jweb_prai/CN/Y2013/V26/I10/935
版权所有 © 《模式识别与人工智能》编辑部
地址:安微省合肥市蜀山湖路350号 电话:0551-65591176 传真:0551-65591176 Email:bjb@iim.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn