二值命题逻辑

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
二值命题逻辑中逻辑理论的计量化及应用被引量：1
《计算机工程与应用》2014年第24期42-46,共5页李骏 王菊花 
国家自然科学基金(No.11261032);兰州理工大学博士基金资助项目
在二值命题逻辑系统中,利用势为2的均匀概率测度空间的无穷乘积,通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真度,进而利用理论的真度简化了理论的发散度和相容度的计算公式,给出了由推理的前提集的真度估计其逻辑结...
关键词：计量逻辑学 逻辑理论 理论的真度 相容度 
二值命题逻辑中基于信息限制的随机真度被引量：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)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的...
关键词：二值命题逻辑 逻辑不等式 真度 极小项 解集 
二值命题逻辑中Γ限制蕴涵度量与近似推理
《计算机工程与应用》2010年第35期36-38,共3页王廷明 
基于某信息限制下若A则B的推理思想,以真度为基础,在二值命题逻辑系统中引入有限信息限制下的公式蕴涵度概念,由此定义了信息限制蕴涵度量,并通过信息限制蕴涵度量的真度表示式,给出一系列与有限理论结论集相关的限制蕴涵度量不等式,对...
关键词：二值命题逻辑 真度 信息限制 Γ限制蕴涵度 Γ限制蕴涵度量 近似推理 
二值命题逻辑中基于条件真度的近似推理(Ⅱ)被引量：1
《计算机工程与应用》2010年第29期50-52,共3页王廷明 
在二值命题逻辑中引入了信息Г下理论的相对偏差概念,给出了相对偏差的条件真度表示式;提出了由信息Г下理论的相对偏差确定的公式是理论的III-型误差不大于ε的结论模式,并证明其与I,II-型误差不大于ε的结论模式是等价的,为从不同角...
关键词：二值命题逻辑 条件真度 有限理论 相对偏差 
二值命题逻辑中的概率真度被引量：1
《计算机工程与应用》2010年第11期46-48,76,共4页于西昌 谭桂梅 
山东省自然科学基金No.Y2003A01~~
将二值命题逻辑系统的真度概念引入到概率逻辑,定义了公式的期望,给出了反映公式之间内在联系的相关系数,研究了无限公式收敛时所遵循的规律及特点,引入了度量不确定性的特征值—熵。
关键词：概率真度 数学期望 相关系数 熵 
二值命题逻辑系统的T-真度理论(Ⅰ)
《计算机工程与应用》2010年第10期33-35,共3页王廷明 
在二值命题逻辑系统中引入了公式的T-真度概念,并讨论其逻辑运算性质。以此为基础定义了公式的T-相似度和T-伪距离,得到了公式到有限理论结论集的T-伪距离的T-真度表示式,为研究二值命题逻辑系统基于T-真度的近似推理问题提供数值化工具。
关键词：二值命题逻辑 真度 T-真度 T-相似度 T-伪距离 
二值命题逻辑中基于条件真度的近似推理被引量：2
《计算机工程与应用》2009年第9期51-52,66,共3页王廷明 
以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Γ下的误差不大于ε结论模式,证明了两类结论模式的等价性,并讨论了基于条件真度和真度的近似推理及其关系问题。
关键词：二值命题逻辑 真度 条件真度 有限理论 伪距离 近似推理 
二值命题逻辑理论的结论类型和分类被引量：2
《计算机工程与应用》2009年第3期64-65,73,共3页王廷明 
以公式真度为基础,研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题,给出了分类定理以及同一理论结论的相似度的一个下界。
关键词：命题公式 主析取范式 真度 相似度 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部