计量逻辑学

作品数：26被引量：261H指数：7
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：王国俊惠小静韩邦合王庆平于鹏更多>>
相关机构：陕西师范大学兰州理工大学陕西科技大学延安大学更多>>
相关期刊：《工程数学学报》《计算机科学与探索》《云南师范大学学报（自然科学版）》《模糊系统与数学》更多>>
相关基金：国家自然科学基金陕西省自然科学基金博士科研启动基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
逻辑公式间的Jaccard距离及其应用被引量：13
《计算机科学与探索》2020年第11期1975-1980,共6页于鹏 
国家自然科学基金Nos.61976130,61871260;陕西省教育厅专项科研项目No.18Jk0099;陕西科技大学博士科研启动基金No.2019BJ-41。
对命题逻辑的相关概念进行量化处理,是命题逻辑研究的一种新方法,是一种有别于语构与语义的研究方法,是研究命题集结构的一个有力工具。通过运用向量间的Jaccard相似系数,在经典逻辑系统L中给出了公式间的Jaccard相似度、Jaccard距离等...
关键词：Jaccard相似系数 近似推理 计量逻辑学 逻辑度量空间 
计量逻辑学中的反射变换
《模糊系统与数学》2018年第6期33-40,共8页王庆平 
国家自然科学基金资助项目(61562030)
首先在连续值L*逻辑度量空间中,给出了公式集F(S)上的反射变换φ:F(S)→F(S)的概念,证明了该反射变换φ是F(S)上的自同构映射。其次证明了计量逻辑学中公式的真度,公式间的相似度与伪距离在反射变换下保持不变,而且证明了在反射变换下...
关键词：计量逻辑学 反射变换 真度 近似推理 不动点 
公式真度的Hamming距离表示形式与分解定理被引量：6
《软件学报》2018年第10期3091-3110,共20页于鹏 赵彬 
国家自然科学基金(11531009);中央高校基本科研业务费专项资金(GK201501001)~~
首先应用模糊集截集的方法,给出了多值逻辑系统L_n中广义重言式的一个等价刻画,并利用模糊集间的标准Hammin距离,定义了公式间的Hamming距离、Hamming相似度与Hamming真度,给出了计量逻辑学基本概念的Hamming距离表示方法.然后给出了计...
关键词：HAMMING距离 近似推理 计量逻辑学 相容理论 三-I真度解 
多值逻辑中基于Camberra模糊距离的计量化方法被引量：7
《电子学报》2018年第10期2305-2315,共11页赵彬 于鹏 
国家自然科学基金重点项目(No.11531009);中央高校基本科研业务费专项资金(No.GK201501001)
本文以模糊集间的Camberra距离为工具,给出了多值Lukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不...
关键词：计量逻辑学 Camberra模糊距离 近似推理 相容理论 
经典计量逻辑学中的仿射变换
《模糊系统与数学》2016年第1期129-136,共8页王庆平 张敏 
国家自然科学基金资助项目(61562030;11171200;61103133);江西省科技厅青年自然科学基金资助项目(20144BAB2020002);江西财经大学校级课题
首先给出了(0,1)-矩阵和(⊥,┬)-矩阵的定义,并研究了这两类矩阵的性质。在此基础上,给出了经典计量逻辑度量空间中仿射变换Φ的定义,证明了仿射变换Φ是逻辑公式集F(S)上的自同构映射,而且逻辑公式的真度、逻辑公式之间的相似度和伪距...
关键词：计量逻辑学 仿射变换 自同构映射 伪距离 
n值Lukasiewicz命题逻辑系统中公式的矛盾度理论被引量：3
《西南师范大学学报（自然科学版）》2015年第8期1-6,共6页李顺琴 惠小静 
国家自然科学基金项目(11471007);陕西省自然科学基金项目(2014JM1020);延安大学专项科研基金项目(YGQ2014-45)
在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.
关键词：计量逻辑学 Lukasiew icz命题逻辑 矛盾度 推理规则 
n值逻辑系统Ln^＊中矛盾度的等价定义及性质被引量：3
《云南师范大学学报（自然科学版）》2015年第3期36-40,共5页李顺琴 惠小静 
国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);陕西省科技计划资助项目(2014ks15-03-07);陕西省高水平大学建设专项资金资助项目(2012SXTS07)
给出了n值R0-命题逻辑系统L*n中一个更为直观的矛盾度定义的等价形式,利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明,并得到了矛盾度的对称性定理.
关键词：计量逻辑学 R0-命题逻辑系统 矛盾度 等价形式 对称性定理 
逻辑公式的模糊度
《计算机科学与探索》2015年第5期635-640,共6页于鹏 
陕西省自然科学基金No.2011JQ1015;陕西省统计科研计划项目No.2014LX05~~
从判断一个命题正确与否的难易程度入手,在经典的二值逻辑系统中,利用一个命题公式赋值为1与赋值为0的个数,引入了一个反映命题公式清晰程度的量——模糊度。给出了模糊度的相关性质,指出了模糊度与计量逻辑学中真度定义之间的联系与区...
关键词：计量逻辑学 模糊度 近似推理 真度 
计量逻辑学中的旋转对称逻辑公式被引量：1
《模糊系统与数学》2015年第2期62-67,共6页李骏 何金龙 
国家自然科学基金资助项目(11261032)
密码学中的旋转对称布尔函数是一类具有多输入单输出性质的函数,本文以此类函数为基础提出了旋转对称逻辑公式的概念。初步研究了此类公式的性质,并给出了此类公式真度的轨道刻画。接着给出了全体旋转对称公式等价类的个数统计。最后证...
关键词：旋转对称逻辑公式 旋转对称布尔函数 真度 轨道 反射变换 
二值命题逻辑中逻辑理论的计量化及应用被引量：1
《计算机工程与应用》2014年第24期42-46,共5页李骏 王菊花 
国家自然科学基金(No.11261032);兰州理工大学博士基金资助项目
在二值命题逻辑系统中,利用势为2的均匀概率测度空间的无穷乘积,通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真度,进而利用理论的真度简化了理论的发散度和相容度的计算公式,给出了由推理的前提集的真度估计其逻辑结...
关键词：计量逻辑学 逻辑理论 理论的真度 相容度 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部