命题逻辑系统■中公式相对于有限理论的∑_Γ-模糊真度理论 被引量：9

1

作者 吴洪博 乔希民 《山东大学学报（理学版）》 CAS CSCD 北大核心 2008年第6期1-8,共8页

将模糊命题逻辑系统中的∑-(α-重言式)理论与计量逻辑学中的真度理论相结合,在n-值Lukasievicz模糊命题逻辑系统■中引入了公式相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质。特别地证明了真度关系:τΓ(A)+τΓ(A→B)≤1... 将模糊命题逻辑系统中的∑-(α-重言式)理论与计量逻辑学中的真度理论相结合,在n-值Lukasievicz模糊命题逻辑系统■中引入了公式相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质。特别地证明了真度关系:τΓ(A)+τΓ(A→B)≤1+τΓ(B),并利用这一关系在模糊命题演算系统■中的公式集F(S)上引入相对于有限理论的Γ-伪距离,从而为在模糊命题逻辑系统■中建立相对于有限理论的近似推理框架奠定了基础。 展开更多

关键词 多值逻辑 逻辑系统ln 有限理论 ∑г-模糊真度 Г-伪距离

在线阅读 下载PDF 职称材料

真度的均值表示形式在逻辑系统L_n中的应用 被引量：4

2

作者 于鸿丽 吴洪博 《模糊系统与数学》 CSCD 北大核心 2014年第3期7-12,共6页

命题真度是计量逻辑学中的基础概念.本文将真度定义的均值表示形式应用于逻辑系统Ln中.首先,利用真度均值形式的定义计算了某些公式的真度;其次,证明了有关公式真度的基本性质.相比利用真度定义的加权表示形式的证明,该证明过程更加简明... 命题真度是计量逻辑学中的基础概念.本文将真度定义的均值表示形式应用于逻辑系统Ln中.首先,利用真度均值形式的定义计算了某些公式的真度;其次,证明了有关公式真度的基本性质.相比利用真度定义的加权表示形式的证明,该证明过程更加简明,拓宽了真度理论的研究思路,丰富了现有研究成果。 展开更多

关键词 真度 均值表示 系统ln

原文传递

系统L_n~*中公式相对于有限理论的Σ_Γ-真度再研究 被引量：4

3

作者 于鸿丽 吴洪博 《模糊系统与数学》 北大核心 2019年第6期56-61,共6页

利用真度定义的均值表示形式,在经典命题演算系统Ln^*中重新定义了公式相对于有限理论Г的∑Г-真度,探讨了Ln^*中∑Г-真度的性质•丰富了现有研究成果,拓宽了真度理论的研究思路。

关键词 ∑Г真度 有限理论 系统ln^*

原文传递

命题逻辑系统L_n~*中公式关于有限理论的Σ_Γ-真度理论 被引量：13

4

作者 吴洪博 《模糊系统与数学》 CSCD 北大核心 2008年第4期1-7,共7页

将模糊命题逻辑中的Σ-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统Ln*中引入了公式集相对于有限理论的ΣΓ-模糊真度理论,讨论了其中的主要性质。并利用真度关系:τΓ(A)+τΓ(A→B)≤1+τΓ(B)在模糊命题逻辑系... 将模糊命题逻辑中的Σ-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统Ln*中引入了公式集相对于有限理论的ΣΓ-模糊真度理论,讨论了其中的主要性质。并利用真度关系:τΓ(A)+τΓ(A→B)≤1+τΓ(B)在模糊命题逻辑系统Ln*中的公式集F(S)上引入相对于有限理论的Γ-伪距离概念,从而为在模糊命题逻辑系统Ln*中建立相对于有限理论的近似推理框架奠定了基础。 展开更多

关键词 多值逻辑 逻辑系统ln^＊ 有限理论 ∑r-模糊真度 Г-伪距离

在线阅读 下载PDF 职称材料

逻辑系统■中的真度、发散度与相容度的分布 被引量：1

5

作者 于海 詹婉荣 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第5期6-9,共4页

研究了n值Lukasiewicz命题逻辑系统■中公式的真度、理论的发散度与相容度的分布问题.令H={k/nm|k=0,…,nm;m=1,2,…},利用McNaughton函数证明了对任意k/nm∈H,都有公式A,使得A的真度为k/nm,从而全体公式的真度值之集在[0,1]中稠密.又... 研究了n值Lukasiewicz命题逻辑系统■中公式的真度、理论的发散度与相容度的分布问题.令H={k/nm|k=0,…,nm;m=1,2,…},利用McNaughton函数证明了对任意k/nm∈H,都有公式A,使得A的真度为k/nm,从而全体公式的真度值之集在[0,1]中稠密.又由真度值之集的稠密性和系统■的广义演绎定理证明了理论的发散度取值之集为单位区间[0,1].最后由理论的相容度与发散度的关系得到了理论的相容度取值之集为{0}∪[1/2,1]. 展开更多

关键词 逻辑系统ln 真度 发散度 相容度

在线阅读 下载PDF 职称材料

系统L_n中公式相对于有限理论的Σ_Γ-真度再研究 被引量：2

6

作者 于鸿丽 吴洪博 《模糊系统与数学》 北大核心 2017年第2期1-6,共6页

利用真度定义的均值表示形式,在经典命题演算系统L_n中重新定义公式相对于有限理论Γ的∑_Γ-真度,较为详细地讨论了它们的性质,拓宽了真度理论的研究思路,丰富了现有研究成果。

关键词 ∑Г-真度 有限理论 系统ln

原文传递

IEC61850对变电站自动化系统报文性能的要求 被引量：30

7

作者 徐立子 《电网技术》 EI CSCD 北大核心 2002年第11期1-3,19,共4页

阐述了IEC 61850对逻辑节点、通信信息片、事件时间、传输时间、报文的类型和性能级的定义。并指出了变电站自动化系统中报文的性能要求,IED同步标准及电力系统有关参量的指标(如电压、电流对不同级别的精确度、谐波、分辨度和采样率)等。

关键词 IEC61850 变电站 自动化系统 报文性能 电力系统

在线阅读 下载PDF 职称材料

系统L_n中公式关于局部有限理论的Γ-真度 被引量：1

8

作者 李顺琴 《模糊系统与数学》 北大核心 2017年第4期11-16,共6页

在n值Lukasiewicz命题逻辑系统L_n中运用公式相对于局部有限理论的Γ-真度定义的等价形式,讨论了Γ-真度的部分重要性质,并给出了Γ-真度的推理规则。

关键词 Г-真度 命题逻辑系统ln 局部有限理论

原文传递

逻辑系统L_n*中一类特殊公式的Σ_Γ-真度

9

作者 马巧云 《计算机工程与应用》 CSCD 北大核心 2016年第11期34-37,共4页

在模糊命题系统Ln^＊中,利用公式A的原子公式集SA与有限理论Γ的原子公式集SΓ之间的关系,讨论了公式A的ΣΓ-真度,给出了当SΓSA和SA∩SΓ=Φ时τΓ（A）的简单表示形式。利用这些结论,给出了当SΓSA时ΣΓ-真度的一些性质的简单... 在模糊命题系统Ln^＊中,利用公式A的原子公式集SA与有限理论Γ的原子公式集SΓ之间的关系,讨论了公式A的ΣΓ-真度,给出了当SΓSA和SA∩SΓ=Φ时τΓ（A）的简单表示形式。利用这些结论,给出了当SΓSA时ΣΓ-真度的一些性质的简单证明。 展开更多

关键词 逻辑系统ln^＊ 有限理论 ΣΓ-真度

在线阅读 下载PDF 职称材料

L_n*系统中α-反向FMP和α-反向FMT问题的解

10

作者 刘东利 《计算机工程与应用》 CSCD 北大核心 2016年第11期26-29,共4页

提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题。通过在F（S）中引入一个预序,在Ln^＊系统中,给出了上述问题的解。并说明了这些解从形式上和α-反向三I算法的结果一致,从而在逻辑系统Ln^＊中建立了反向三I算... 提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题。通过在F（S）中引入一个预序,在Ln^＊系统中,给出了上述问题的解。并说明了这些解从形式上和α-反向三I算法的结果一致,从而在逻辑系统Ln^＊中建立了反向三I算法的形式化推理机制。 展开更多

关键词 α-反向FMP问题 α-反向FMT问题 逻辑命题系统ln^＊

在线阅读 下载PDF 职称材料

系统_n~*的逻辑性质及其应用

11

作者 张乐 裴道武 王三民 《高校应用数学学报（A辑）》 CSCD 北大核心 2011年第2期247-252,共6页

证明了系统Ln^＊中的可满足性定理,紧致性定理和可判定性定理,完善了系统Ln^＊的理论体系,并将这些性质应用到计量逻辑学中,给出了∑г-真度和条件真度存在的充要条件.

关键词 模糊逻辑 系统_n~* 可满足性 紧致性 可判定性 计量逻辑

在线阅读 下载PDF 职称材料

强正则剩余格值逻辑系统L^N及其完备性 被引量：15

12

作者 裴道武 《数学学报（中文版）》 SCIE CSCD 北大核心 2002年第4期745-752,共8页

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见... 正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张. 展开更多

关键词 模糊逻辑 强正则剩余格 形式系统￡^N 扩张 完备性

原文传递