论文部分内容阅读
求命题集所有可能的约简是二值命题逻辑的一个重要课题．目前的算法都是逐一求单个约简，汇总起来得到所有可能约简．文中应用形式概念的理论，提出内涵亏值、亏值超图等思想，给出一次即可求出所有约简的算法．该算法使计算全部约简的运算次数大为减少．
内涵亏值及二值命题逻辑中命题集合约简
【摘 要】
：
求命题集所有可能的约简是二值命题逻辑的一个重要课题．目前的算法都是逐一求单个约简，汇总起来得到所有可能约简．文中应用形式概念的理论，提出内涵亏值、亏值超图等思想，给出一次
【机 构】
：
辽宁科技大学软件学院
【出 处】
：
模式识别与人工智能
【发表日期】
：
2013年10期
其他文献
【正】 我在此论述马克思主义在工人阶级研究中应该发挥作用的十项命题。我非常清楚这些命题还仅仅是一些主张,尚需逻辑与证据的充分证明。第一,马克思主义认为阶级是生产的
随着社会的不断发展,YAFFS2文件系统逐渐受到了人们的重视。它主要是指以存储器的编程中心为规划方向,将Flash擦写功能为导向的文件加载系统。但由于管理器中的信息存储过程
妊娠期再生障碍性贫血(pregnancy associated aplastic ane mia，PAAA)是指患者既往无贫血病史，仅在妊娠期发生的再生障碍性贫血，是一种十分罕见而又严重的疾病。患者表现为妊娠
近年来,随着高校教学信息管理难度的上升和信息化技术应用的推广,各大高校都开始了教学管理信息化系统的建设,以期增加管理效率,降低工作强度。论文对教育信息化管理的必要性
1特殊白细胞分类当遇到淋巴细胞分类百分数极高时，或淋巴＋单核〉中性粒细胞时，一定要做手工分类。因为各种原始细胞和异形淋巴细胞都是1个圆形的细胞核，自动分析仪可能均当作淋巴
无论基于分类质量还是基于相对正域的变精度粗糙集区间约简模型都存在多种异常，根本原因是约简过程中条件类的粒度发生变化，且分类质量、相对正域和下近似分布三者不再等价变化
选择一种安全、快捷且副反应相对较少的终止妊娠的方法是医患双方共同关心的问题。过去妊娠12—15周一般采用钳刮术，或17周后行中期引产，随着米非司酮、米索前列醇在临床的应用
随着我国社会经济的迅速发展和科学技术的全面进步,也带动了计算机网络技术的应用和发展,计算机网络技术的应用和发展改变了我们的传统生活方式,还从根本上提高了我们的生活
良好的遵医行为是溃疡性结肠炎患者控制疾病的关键，为帮助患者提高遵医率，将152例患者随机分为两组即干预组和对照组，对干预组进行了院外全程干预，对照组出院后未施加影响。出院3