命题公式

作品数：81被引量：66H指数：5
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：王礼萍张树功王晓峰冯泰王廷明更多>>
相关机构：北方民族大学中央广播电视大学哈尔滨学院吉林大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金宁夏回族自治区自然科学基金广西教育厅科研项目北京市教育委员会科学研究与研究生教育类项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
数理逻辑中命题公式等价证明的程序化研究与实现
《电子技术与软件工程》2023年第7期186-189,共4页杨剑兰 周青 
云南省教育厅科学研究基金项目《离散数学中数理逻辑、集合论、图论相关推演的计算机程序化研究与实现》(项目编号:2023J1405)。
本文介绍了逻辑学中数理逻辑中的命题公式,并解释命题公式的等价判断标准,联系其与计算机编程的关系。最后,通过具体的例题,给出了求解两个命题公式是否等价的具体步骤和编程测试结果,以此说明了命题公式在数理逻辑问题中的具体用法,也...
关键词：逻辑学 数理逻辑 命题公式 程序设计 
基于树宽的警示传播算法收敛性分析被引量：1
《计算机应用研究》2022年第10期3061-3064,3077,共5页谢志新 王晓峰 于卓 曹泽轩 吴宇翔 莫淳惠 
国家自然科学基金资助项目(62062001,61762019,61862051,61962002);宁夏自然科学基金资助项目(2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119);北方民族大学重大专项资助项目(ZDZX201901);北方民族大学研究生创新项目(YCX22197)。
警示传播算法作为一种基本的信息传播算法,其收敛时求解可满足性问题十分有效,但因子图结构较为复杂时,算法往往不收敛导致求解失败。为了对这种现象给予理论解释,同时对警示传播算法收敛性进行有效分析,利用树分解方法构造了命题公式...
关键词：警示传播算法 收敛性 树宽 命题公式 可满足性问题 
一种求解命题公式骨干集的警示传播算法
《计算机工程与科学》2021年第11期2056-2061,共6页王帅 王晓峰 梁田 李志 
国家自然科学基金(62062001,61762019,61862051,61962002);北方民族大学重大专项(ZDZX201901);宁夏自然科学基金(2020AAC03214,NZ17111,2019AAC03120,2019AAC03119);北方民族大学校级科研一般项目(2019XYZJK05)。
警示传播WP算法是一类重要的信息传播算法,在命题公式的可满足性判定中非常有效。通过对WP算法的数学原理分析发现,当算法收敛时以高概率固定部分变元的赋值,可以对公式进行化简。基于这样的特征修改WP算法的迭代方程和变元赋值条件,设...
关键词：警示传播算法 SAT问题 因子图 骨干集 
基于二维结构熵的置信传播算法收敛性分析被引量：3
《计算机应用研究》2021年第7期2032-2036,2043,共6页牛进 王晓峰 左逢源 林青文 
国家自然科学基金资助项目(61462001,61762019,61862051,61962002);北方民族大学重大专项资助项目(ZDZX201901);宁夏自然科学基金资助项目(NZ17111,2019AAC03120,2019AAC03119);北方民族大学校级科研一般项目(2019XYZJK05)。
为了对置信传播(BP)算法在结构比较复杂的命题公式上有时会失效,常常表现为不收敛的现象给予理论解释,提出了基于警示传播的社区发现算法(WPLPA)。依据BP算法在因子图上的信息迭代策略,利用WPLPA算法对命题公式所对应因子图的社区结构...
关键词：命题公式 二维结构熵 置信传播算法 收敛性 社区发现 
基于结构熵的警示传播算法收敛性分析被引量：2
《计算机应用研究》2021年第3期760-763,776,共5页牛进 王晓峰 林青文 
国家自然科学基金资助项目(61462001,61762019,61862051,61962002);北方民族大学重大专项资助项目(ZDZX201901);宁夏自然科学基金资助项目(NZ17111,2019AAC03120,2019AAC03119);北方民族大学校级科研一般项目(2019XYZJK05)。
收敛性是评价信息传播算法性能的重要指标,信息传播算法求解可满足性问题时,命题公式的结构特征影响算法的收敛性,具有复杂结构的命题公式,信息传播算法不总收敛。为了系统地对此现象给予理论解释,借助于结构熵的方法和技术,提出命题公...
关键词：可满足性问题 命题公式 结构熵 警示传播算法 收敛性 
命题逻辑中等价公式的证明方法探讨
《创新教育研究》2020年第4期442-445,共4页杨恒云 
命题公式是命题逻辑中的基本研究对象。判定两个命题公式是否逻辑等价是一个重要问题。本文结合例题讲解,对证明两个命题公式等价的方法进行了总结,共提出六种方法,并对各种方法进行了分析和探讨。
关键词：命题逻辑 命题公式 逻辑等价 
主范式及其应用
《知识文库》2019年第10期66-67,共2页白昊月 
本文介绍了命题公式主范式的基本定义及相关定理,并对其作出了相应解释,探讨了命题公式主范式的求法:等值演算法,以及它的用途,最后给出了主范式的应用,并联系实际对这些应用加以阐述.1主范式可分为主析取范式与主合取范式。主析取范式...
关键词：主范式 命题公式 命题变项 主合取范式 主析取范式 
数理逻辑中演绎推理的图解法
《数学学习与研究》2018年第23期3-3,共1页熊瑜 毕金钵 
本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验,总结数理逻辑中演绎推理的要点和难点,利用图解法帮助学生更快速简单地掌握推理演算的技巧.
关键词：数理逻辑 命题公式 谓词公式 演绎推理 
对称命题公式的随机真度在[0,1]区间的分布
《桂林航天工业学院学报》2018年第2期240-242,共3页李修清 
利用随机变量数学期望的思想,给出命题公式随机真度的概念,证明了全体n元对称命题公式集的基于某些随机变量的随机真度在[0,1]区间稠密。
关键词：随机真度 布尔函数 对称命题公式 
CP-nets学习的复杂度被引量：3
《计算机科学》2018年第6期211-215,共5页刘惊雷 廖士中 
国家自然科学基金(61673293;61572419;61773331)资助
CP-nets是一种简单且直观的图形化偏好表示工具,其表示、推理和学习是3个基本问题。不同于基于统计学习理论的研究方法,文中基于逻辑理论来研究二值CP-nets的学习问题。首先,建立命题公式的可满足性和CPnets表示的偏好公式之间的联系,将...
关键词：二值条件偏好网 推理与学习 命题公式的可满足性 有界树宽的CP-nets 复杂度的上下界 
全选清除导出
共9页<123456789>
检索报告 对象比较 聚类工具 使用帮助 返回顶部