二值命题逻辑

作品数：48被引量：299H指数：6
导出分析报告
相关领域：理学更多>>
相关作者：王廷明王国俊王爱青王永安李立峰更多>>
相关机构：青岛大学陕西师范大学青岛理工大学西安文理学院更多>>
相关期刊：《重庆师范大学学报（自然科学版）》《模式识别与人工智能》《计算机工程与应用》《电子学报》更多>>
相关基金：国家自然科学基金河南省自然科学基金中央高校基本科研业务费专项资金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
二值命题逻辑中公式列的收敛性
《兰州理工大学学报》2016年第4期148-151,共4页李骏 蒙頔 
国家自然科学基金(11261032)
在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的.
关键词：逻辑度量空间 度量收敛 赋值收敛 真度收敛 
二值命题逻辑中逻辑理论的计量化及应用被引量：1
《计算机工程与应用》2014年第24期42-46,共5页李骏 王菊花 
国家自然科学基金(No.11261032);兰州理工大学博士基金资助项目
在二值命题逻辑系统中,利用势为2的均匀概率测度空间的无穷乘积,通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真度,进而利用理论的真度简化了理论的发散度和相容度的计算公式,给出了由推理的前提集的真度估计其逻辑结...
关键词：计量逻辑学 逻辑理论 理论的真度 相容度 
内涵亏值及二值命题逻辑中命题集合约简
《模式识别与人工智能》2013年第10期935-943,共9页马垣 
求命题集所有可能的约简是二值命题逻辑的一个重要课题.目前的算法都是逐一求单个约简,汇总起来得到所有可能约简.文中应用形式概念的理论,提出内涵亏值、亏值超图等思想,给出一次即可求出所有约简的算法.该算法使计算全部约简的运算次...
关键词：二值命题逻辑 命题集约简 概念格 内涵亏值 
二值命题逻辑的无损求解被引量：4
《计算机学报》2013年第5期1097-1114,共18页唐益明 刘晓平 
国家"八六三"高技术研究发展计划项目基金(2012AA011103);国家自然科学基金(61203077;61105076;61070124;41076120;60890075);中国博士后科学基金(2012M521218);中央高校基本科研业务费专项资金(2012HGQC0011;2012HGCX0001;2012HGBZ0639)资助~~
针对协同问题求解、协同设计等诸多领域中存在逻辑冲突的共性问题,从二值命题逻辑理论出发,研究面向冲突的无损求解(即初始解空间获取)问题.首先,提出简单合取式的扩充和Wh-析取范式等概念,在此基础上定义初始解空间,并通过提出的有效...
关键词：协同计算 冲突 二值命题逻辑 无损求解 
二值命题逻辑中逻辑方程解集的数值特征
《德州学院学报》2013年第2期22-24,32,共4页王廷明 
二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构研究中有着重要应用.讨论基于真度的τ(A→X)=m/2n型逻辑方程的解在逻辑运算下的相关性质,给出反映其解集结构的几个数值特征的数值表示,为进一步研究该类逻辑方程的解集以...
关键词：二值命题逻辑 真度 逻辑方程 解集 数值特征 
二值命题逻辑中基于信息限制的随机真度被引量：1
《计算机工程与应用》2012年第22期51-53,57,共4页亓正坤 丁洁玉 王廷明 
国家自然科学基金资助项目(No.11002075)
以随机真度为基础,提出了二值命题逻辑中公式的在有限信息Γ限制下的随机真度概念。以此为基础定义了公式的Γ-限制随机相似度和Γ-限制随机伪距离,得到了在有限信息Γ限制下公式到理论结论集的Γ-限制随机伪距离的Γ-限制随机真度表示...
关键词：二值命题逻辑 信息 Γ-限制随机真度 Γ-限制随机相似度 Γ-限制随机伪距离 
系统L中τ(A→X)≥α型逻辑不等式的解问题
《计算机工程与应用》2012年第16期44-46,50,共4页王廷明 
二值命题逻辑L中τ(A→X)≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过F(Sn)中公式是逻辑不等式τ(A→X)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的...
关键词：二值命题逻辑 逻辑不等式 真度 极小项 解集 
二值命题逻辑中限制逻辑等价关系及其应用
《东北师大学报（自然科学版）》2012年第2期22-25,共4页亓正坤 王廷明 丁洁玉 
国家自然科学基金资助项目(11002075)
给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ)中基于真...
关键词：二值命题逻辑 真度 限制逻辑等价 逻辑方程 解集 
有限理论结论基于根的余式和结论集的表示
《青岛大学学报（自然科学版）》2011年第2期1-4,共4页王廷明 
二值命题逻辑系统中理论的结论集是逻辑推理研究的基本对象,对其结构进行分析是逻辑推理研究中需要解决的问题。通过公式是有限理论结论的结构性条件,引入了有限理论结论的基于有限理论根的余式概念,在逻辑等价意义下将有限理论的结论...
关键词：二值命题逻辑 有限理论 逻辑等价 根 余式 
二值命题逻辑中逻辑方程τ(A→X)=m/2~n解集的结构被引量：2
《模糊系统与数学》2011年第1期19-24,共6页王廷明 
二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构以及近似推理研究中有着重要应用。给出了二值命题逻辑中公式是逻辑方程τ(A→X)=m2n解的几个充要条件,得到了该逻辑方程的解集分别按真度相等关系和逻辑等价关系的分类定理...
关键词：二值命题逻辑 逻辑方程 真度 极小项 解集 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部