论文部分内容阅读
求命题集所有可能的约简是二值命题逻辑的一个重要课题．目前的算法都是逐一求单个约简，汇总起来得到所有可能约简．文中应用形式概念的理论，提出内涵亏值、亏值超图等思想，给出一次即可求出所有约简的算法．该算法使计算全部约简的运算次数大为减少．
内涵亏值及二值命题逻辑中命题集合约简
【摘 要】
：
求命题集所有可能的约简是二值命题逻辑的一个重要课题．目前的算法都是逐一求单个约简，汇总起来得到所有可能约简．文中应用形式概念的理论，提出内涵亏值、亏值超图等思想，给出一次
【机 构】
：
辽宁科技大学软件学院
【出 处】
：
模式识别与人工智能
【发表日期】
：
2013年10期
其他文献
随着社会的不断发展,YAFFS2文件系统逐渐受到了人们的重视。它主要是指以存储器的编程中心为规划方向,将Flash擦写功能为导向的文件加载系统。但由于管理器中的信息存储过程
近年来,随着高校教学信息管理难度的上升和信息化技术应用的推广,各大高校都开始了教学管理信息化系统的建设,以期增加管理效率,降低工作强度。论文对教育信息化管理的必要性
无论基于分类质量还是基于相对正域的变精度粗糙集区间约简模型都存在多种异常，根本原因是约简过程中条件类的粒度发生变化，且分类质量、相对正域和下近似分布三者不再等价变化
随着我国社会经济的迅速发展和科学技术的全面进步,也带动了计算机网络技术的应用和发展,计算机网络技术的应用和发展改变了我们的传统生活方式,还从根本上提高了我们的生活