一种n值逻辑系统中命题的条件真度 被引量：11

1

作者 胡江山 《山东大学学报（理学版）》 CAS CSCD 北大核心 2009年第6期56-59,共4页

基于条件概率的思想,在n值R0-命题逻辑系统Ln*中引入条件真度的概念,并讨论该条件真度的性质及相应的推理规则。

关键词 r0-命题逻辑系统 真度 条件真度

原文传递

Lukasiewicz逻辑系统中的公理在Gdel以及R_0系统中的真度分析 被引量：1

2

作者 屠桂晶 张兴芳 李志允 《聊城大学学报（自然科学版）》 2010年第1期1-3,共3页

对Lukasiewicz逻辑系统中的公理在Gdel系统以及R0系统中的真度大小进行了分析,得到了有意义的结果:Lukasiewicz逻辑系统的某些公理在Gdel,以及R0系统中不是公理,但其真度皆大于0.5.

关键词 公理 Gdel系统 Lukasiewicz系统 r0系统 真度

在线阅读 下载PDF 职称材料

经典逻辑公理在模糊逻辑系统中的真度分析

3

作者 牛广化 陈怀进 袁彦莉 《计算机工程与应用》 CSCD 北大核心 2010年第18期38-39,共2页

对经典逻辑中的公理在Gdel系统、Lukasiewicz以及R0系统中的真度大小进行了分析,得到了一系列深刻而有趣的结果。

关键词 经典逻辑 公理 Gdel系统 Lukasiewicz系统 r0系统 真度

在线阅读 下载PDF 职称材料

一阶形式系统K^＊及其完备性 被引量：17

4

作者 裴道武 《数学年刊（A辑）》 CSCD 北大核心 2002年第6期675-684,共10页

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.

关键词 模糊逻辑 一阶谓词演算 形式系统K^＊ r0代数 完备性

在线阅读 下载PDF 职称材料

Γ-R_0代数及其滤子

5

作者 任燕 田辉 《海南师范大学学报（自然科学版）》 CAS 2008年第4期416-419,共4页

基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数—Γ-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了Γ-R0代数代数的滤子的一般形式及其Γ-R0代数的特殊滤子与特殊命题集之间的关系.

关键词 e^＊命题逻辑系统 r0代数 Г-r0代数 滤子 极大命题集 完备命题集

在线阅读 下载PDF 职称材料

否定度理论及其在模糊推理中的应用

6

作者 马巧云 吴洪博 《西安文理学院学报（自然科学版）》 2010年第3期18-21,共4页

定义了多值逻辑系统W中的否定度,利用否定度的定义和R0-代数的性质得出了多值逻辑系统W中否定度的基本性质,讨论了多值逻辑系统W中的否定度理论在模糊推理中的应用.

关键词 逻辑系统 否定度 r0-代数 模糊推理

在线阅读 下载PDF 职称材料

模糊逻辑系统公理真度分析 被引量：1

7

作者 丁春晓 张兴芳 《模糊系统与数学》 CSCD 北大核心 2011年第3期1-7,共7页

分别对Lukasiewicz逻辑系统中的公理在R0系统和Gdel系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中Gdel系统的真度大小和Gdel逻辑系统中的公理在R0系统和Lukasiewicz系统中的真度大小进行了计算和分析,从真度方... 分别对Lukasiewicz逻辑系统中的公理在R0系统和Gdel系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中Gdel系统的真度大小和Gdel逻辑系统中的公理在R0系统和Lukasiewicz系统中的真度大小进行了计算和分析,从真度方面研究和分析了常用逻辑系统之间的关系。 展开更多

关键词 公理 Godel系统 Lukasiewicz系统 r0系统 真度

原文传递

R_0代数的一种等价形式

8

作者 王小敏 《西安工业大学学报》 CAS 2006年第6期596-598,共3页

R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代... R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代数就是R0代数,并且得到了R0代数的一类等价系统. 展开更多

关键词 模糊逻辑 形式演绎系统L＊ r0代数 基础r0代数 等价系统

在线阅读 下载PDF 职称材料

模糊集间的R_0-相似关系及其性质

9

作者 刘杰 吴洪博 《计算机工程与应用》 CSCD 北大核心 2011年第31期53-56,62,共5页

将王国俊教授在R0-型逻辑系统中建立的R0-蕴涵算子应用于模糊数学理论之中,在非空集合X为论域的模糊集族F(X)上定义了一种新型运算-R0蕴含运算,并讨论了F(X)上R0-蕴含运算的一些基本性质。通过R0-蕴含运算在F(X)上定义了一个二元模糊相... 将王国俊教授在R0-型逻辑系统中建立的R0-蕴涵算子应用于模糊数学理论之中,在非空集合X为论域的模糊集族F(X)上定义了一种新型运算-R0蕴含运算,并讨论了F(X)上R0-蕴含运算的一些基本性质。通过R0-蕴含运算在F(X)上定义了一个二元模糊相似关系-R0-相似关系,并对其性质进行了较为详细的讨论。在有限论域X确定的模糊集族F(X)上给出了几个R0-相似关系的具体实例。 展开更多

关键词 模糊数学 模糊逻辑 r0-蕴涵算子 r0-型逻辑系统 r0-相似关系

在线阅读 下载PDF 职称材料

基础R0－代数的性质及在L^＊系统中的应用 被引量：27

10

作者 吴洪博 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2003年第3期557-563,共7页

研究了王国俊教授建立的模糊命题演算的形式演绎系统和与之在语义上相关的R_0-代数,提出了基础R_0-代数的观点并讨论了其中的一些性质,在将系统中的推演证明转化为相应的R_0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了... 研究了王国俊教授建立的模糊命题演算的形式演绎系统和与之在语义上相关的R_0-代数,提出了基础R_0-代数的观点并讨论了其中的一些性质,在将系统中的推演证明转化为相应的R_0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了系统中的模糊演绎定理。 展开更多

关键词 模糊逻辑 基础r0-代数 r0-代数 L^＊系统 模糊演绎定理

在线阅读 下载PDF 职称材料

基于完备BR_0-代数的全蕴涵三I算法 被引量：9

11

作者 吴洪博 王国俊 于鸿丽 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2006年第2期341-353,共13页

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法,对—般蕴涵算子给出了三I算法解存在的—个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明,而且使其证明过程与相应... 研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法,对—般蕴涵算子给出了三I算法解存在的—个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三I算法是与B(?)*系统相匹配的模糊推理方法． 展开更多

关键词 模糊逻辑 基础Br0-代数 r0-单位区间 三I算法 基础L^＊系统

在线阅读 下载PDF 职称材料