期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
真度约简与计量逻辑学推理模式的关系
1
作者 于鹏 《陕西科技大学学报(自然科学版)》 2011年第5期145-147,152,共4页
基于计量逻辑学公式真度理论给出了n值Lukasiewicz命题集的真度约简方法和计量逻辑学中近似推理的模式,讨论了真度约简与近似推理模式之间的关系,为在F(S)中展开近似推理提供了新的途径.
关键词 计量逻辑学 近似推理 命题集约简 LUKASIEWICZ 命题集
在线阅读 下载PDF
概率逻辑学基本定理的推广 被引量:41
2
作者 王国俊 惠小静 《电子学报》 EI CAS CSCD 北大核心 2007年第7期1333-1340,共8页
通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计... 通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计量逻辑学,得出了带参数■的有限逻辑理论相容度概念,是δ-相容度的推广. 展开更多
关键词 不可靠度 生成状态集 生成概率 自然合并概率 计量逻辑学 p-相容度
在线阅读 下载PDF
多值逻辑中基于Camberra模糊距离的计量化方法 被引量:7
3
作者 赵彬 于鹏 《电子学报》 EI CAS CSCD 北大核心 2018年第10期2305-2315,共11页
本文以模糊集间的Camberra距离为工具,给出了多值Lukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不... 本文以模糊集间的Camberra距离为工具,给出了多值Lukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不相容的公式的Camberra-真度之和.然后以Camberra-真度为依托,研究了Lukasiewicz逻辑度量空间的一些性质,证明了三值Lukasiewicz逻辑度量空间没有孤立点,以及每一个球形领域都是不相容理论等结论.为在公式集F(S)上展开程度化推理提供了一种新的方法. 展开更多
关键词 计量逻辑学 Camberra模糊距离 近似推理 相容理论
在线阅读 下载PDF
(3n+1)值逻辑系统R_0L中公式的真度性质 被引量:8
4
作者 吴洪博 周建仁 张琼 《电子学报》 EI CAS CSCD 北大核心 2011年第10期2230-2234,2229,共6页
基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n... 基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0L中建立近似推理理论提供了一种可能的框架. 展开更多
关键词 计量逻辑学 R0L系统 真度 相似度 伪距离
在线阅读 下载PDF
Lukasiewicz命题逻辑系统中真度的等价定义及相关性质 被引量:18
5
作者 周建仁 吴洪博 《工程数学学报》 CSCD 北大核心 2013年第4期580-590,共11页
对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系... 对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果. 展开更多
关键词 计量逻辑学 Lukasiewicz命题逻辑 真度定义 等价形式 推理规则
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部