MTL代数语义上逻辑公式的概率真度 被引量：8

1

作者 左卫兵 《电子学报》 EI CAS CSCD 北大核心 2015年第2期293-298,共6页

基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计... 基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能. 展开更多

关键词 MTl代数 l-赋值 概率真度 概率逻辑度量空间 程度化推理

下载PDF 职称材料

基于L＊-格值逻辑上的BCH-代数中的直觉不分明化理想 被引量：2

2

作者 王森 张广济 《模糊系统与数学》 CSCD 北大核心 2010年第2期7-14,共8页

在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,将用集论所刻画的BCH-代数与理想的概念在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化BCH-代数中的理想... 在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,将用集论所刻画的BCH-代数与理想的概念在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化BCH-代数中的理想、闭理想及q理想的有关性质。 展开更多

关键词 l＊-格值 lUKASIEWICZ蕴涵算子 闭理想 q理想 直觉不分明化BCH-代数

下载PDF 职称材料

直觉I-fuzzy拓扑空间中,T_3,T_4分离公理 被引量：1

3

作者 张春芝 《宝鸡文理学院学报（自然科学版）》 CAS 2017年第1期10-14,共5页

目的讨论直觉I-fuzzy拓扑空间中的T_3,T_4分离公理以及与T_1,T_2分离公理的关系。方法 L*-格值上Lukasiewicz蕴含算子。结果与结论首先给出直觉I-fuzzy拓扑空间中T_3,T_4分离性的概念,接着得到它们的等价命题,最后讨论了T_3,T_4分离性与... 目的讨论直觉I-fuzzy拓扑空间中的T_3,T_4分离公理以及与T_1,T_2分离公理的关系。方法 L*-格值上Lukasiewicz蕴含算子。结果与结论首先给出直觉I-fuzzy拓扑空间中T_3,T_4分离性的概念,接着得到它们的等价命题,最后讨论了T_3,T_4分离性与T_1,T_2分离性的关系。 展开更多

关键词 l＊-格值逻辑 直觉I-fuzzy拓扑空间 T3 T4分离性

下载PDF 职称材料

直觉I-Fuzzy拓扑空间中的内部算子

4

作者 张春芝 王瑞英 姚尧 《宝鸡文理学院学报（自然科学版）》 CAS 2015年第3期11-14,共4页

目的讨论直觉I-Fuzzy拓扑空间中的内部算子。方法 L*-格值上的不等式方法。结果与结论首先得到直觉I-Fuzzy拓扑空间中内部算子的概念,接着给出结论:从拓扑的直觉I-Fuzzy内部算子I出发,得到一个直觉I-Fuzzy拓扑τI,再利用τI定义的内部... 目的讨论直觉I-Fuzzy拓扑空间中的内部算子。方法 L*-格值上的不等式方法。结果与结论首先得到直觉I-Fuzzy拓扑空间中内部算子的概念,接着给出结论:从拓扑的直觉I-Fuzzy内部算子I出发,得到一个直觉I-Fuzzy拓扑τI,再利用τI定义的内部算子恰好回到I。 展开更多

关键词 直觉I-Fuzzy拓扑空间 l-格值逻辑 直觉I-Fuzzy内部算子

下载PDF 职称材料

直觉I-Fuzzy拓扑空间的杨忠道定理

5

作者 张春芝 王瑞英 姚尧 《数学的实践与认识》 北大核心 2016年第7期228-234,共7页

以L＊-格值上Lukasiewicz蕴含算子为工具引入了直觉I-Fuzzy拓扑空间中导集概念，接着给出它的一些性质，最后证明了直觉I-Fuzzy拓扑空间中导集的杨忠道定理．

关键词 l%MUl%-格值逻辑 直觉I-Fuzzy拓扑空间 拟差 导集 杨忠道定理

原文传递

基于L^＊-格值逻辑上的BCK-代数中直觉不分明化理想 被引量：14

6

作者 彭家寅 《系统科学与数学》 CSCD 北大核心 2010年第4期556-576,共21页

在L^＊-格值逻辑的语义框架下，以L^＊-格值上的Lukasiewicz蕴涵算子为工具定义了L^＊-格值逻辑上的直觉不分明化BCK-代数的概念，将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L^＊-格值谓词演算下给予了新的刻画... 在L^＊-格值逻辑的语义框架下，以L^＊-格值上的Lukasiewicz蕴涵算子为工具定义了L^＊-格值逻辑上的直觉不分明化BCK-代数的概念，将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L^＊-格值谓词演算下给予了新的刻画，讨论了它们的性质及其关系，研究了这些理想与其同态象、同态原象之间关系，获得了同类理想之积仍为该类理想． 展开更多

关键词 l^＊-格值 lUKASIEWICZ蕴涵算子 直觉不分明化BCK-代数 直觉不分明化理想 直觉不分明化正定蕴涵理想 直觉不分明化蕴涵理想

原文传递

基于L*-格值逻辑上的直觉不分明化凸集 被引量：5

7

作者 张广济 王森 《大连大学学报》 2008年第3期5-10,共6页

本文在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,定义了L*-格值逻辑上的直觉不分明化凸集的概念,将用集论所刻画的凸集在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化凸集的有关代数性质。

关键词 l^＊-格值 lUKASIEWICZ蕴涵算子 直觉不分明化凸集

下载PDF 职称材料

基于L*-格值逻辑上的直觉不分明化群 被引量：4

8

作者 张广济 王森 《大连大学学报》 2008年第6期4-7,共4页

在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,定义了L*-格值逻辑上的直觉不分明化群的概念,将用集论所刻画的群的概念及相关性质在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化群的有关性质。

关键词 l^＊-格值 lUKASIEWICZ蕴涵算子 直觉不分明化群

下载PDF 职称材料

基于L^(*)-格值逻辑上的直觉I-fuzzy凸集

9

作者 杨帆 王瑞英 《内蒙古师范大学学报（自然科学版）》 CAS 2022年第2期164-170,共7页

基于L^(*)-格值逻辑语义,给出了该语义框架下的直觉I-fuzzy凸集的定义,推广了L;-格值逻辑上的直觉不分明化凸集的结果,研究了直觉I-fuzzy凸集的代数性质。

关键词 l^(%MUl%)-格值逻辑 lUKASIEWICZ蕴涵算子 直觉I-fuzzy凸集

下载PDF 职称材料

基于L^＊-格值逻辑上的直觉不分明化环

10

作者 王森 张广济 《大连大学学报》 2009年第3期10-12,共3页

首先在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,给出了L*-格值逻辑上的直觉不分明化环和子环的概念。进一步,在L*-格值谓词演算下,给出了环的同态映射f关于直觉模糊集A的直觉不分明化同态核和直觉不分明化商... 首先在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,给出了L*-格值逻辑上的直觉不分明化环和子环的概念。进一步,在L*-格值谓词演算下,给出了环的同态映射f关于直觉模糊集A的直觉不分明化同态核和直觉不分明化商集的定义,并在此基础上讨论了直觉不分明化环、子环和同态核的有关性质,最后得到L*-格值逻辑意义下的同态基本定理。 展开更多

关键词 l%MUl%-格值 lUKASIEWICZ蕴涵算子 直觉不分明化环

下载PDF 职称材料

基于完全剩余格值逻辑上的不分明化理想

11

作者 蒋志勇 《华东交通大学学报》 2001年第1期68-69,共2页

使用应明生教授提出的完全剩余格值逻辑 L语义的方法介绍了环 R中的不分明化左理想 ( L -左理想 ) ,右理想( L -右理想 ) ,理想 ( L -理想 ) 。

关键词 应明生 完全剩余格值逻辑l语义 不分明化理想 代数性质

下载PDF 职称材料

基于完备剩余格值逻辑的伪BCI-代数的不分明化理想

12

作者 彭家寅 《模糊系统与数学》 北大核心 2019年第5期10-29,共20页

通过完备剩余格值逻辑中一元模糊谓词演算,将伪BCI-代数中的经典模糊理想、模糊p-理想、模糊结合理想、模糊q-理想和模糊a-理想进行重新刻画,引入了BCI-代数的l-值模糊理想、l-值模糊p-理想、l-值模糊结合理想、l-值模糊q-理想和l-值模... 通过完备剩余格值逻辑中一元模糊谓词演算,将伪BCI-代数中的经典模糊理想、模糊p-理想、模糊结合理想、模糊q-理想和模糊a-理想进行重新刻画,引入了BCI-代数的l-值模糊理想、l-值模糊p-理想、l-值模糊结合理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法,研究这几种l-值模糊理想的性质及关系。提供了l-值模糊理想成为l-值模糊p-理想(l-值模糊q-理想)的条件,研究了这些l-值模糊理想在交、同态映射和笛卡尔积运算下的不变性,推广了经典模糊情形下相应的现有结论。 展开更多

关键词 伪BCI-代数 完备剩余格值逻辑 l-值模糊理想 l-值模糊p-理想 l-值模糊结合理想 l-值模糊q-理想 l-值模糊α-理想

原文传递

基于完备剩余格值逻辑的BCI-代数的三种模糊理想

13

作者 彭家寅 刘淼 汤建钢 《模糊系统与数学》 北大核心 2023年第4期1-16,共16页

通过完备剩余格值逻辑中一元模糊谓词,将经典BCI-代数中的p-理想、q-理想和a-理想进行重新刻画,引入了BCI-代数的l-值模糊p-理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法,研究这三种l-值模糊理想的性... 通过完备剩余格值逻辑中一元模糊谓词,将经典BCI-代数中的p-理想、q-理想和a-理想进行重新刻画,引入了BCI-代数的l-值模糊p-理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法,研究这三种l-值模糊理想的性质及关系,推广了经典模糊情形下相应的现有结论。 展开更多

关键词 BCI-代数 完备剩余格值逻辑 l-值模糊p-理想 l-值模糊q-理想 l-值模糊a-理想

原文传递

直觉Fuzzifying拓扑空间的闭包算子

14

作者 何琼 王小霞 薛雨佳 《延安大学学报（自然科学版）》 2023年第2期111-114,共4页

利用L*-格值上的Lukasiewicz蕴含算子,讨论直觉Fuzzifying拓扑空间的闭包算子。首先给出了直觉Fuzzifying拓扑空间中闭包度的概念及其相关性质,其次定义直觉Fuzzifying拓扑空间的闭包算子,最后证明了拓扑的直觉Fuzzifying闭包算子Icl等... 利用L*-格值上的Lukasiewicz蕴含算子,讨论直觉Fuzzifying拓扑空间的闭包算子。首先给出了直觉Fuzzifying拓扑空间中闭包度的概念及其相关性质,其次定义直觉Fuzzifying拓扑空间的闭包算子,最后证明了拓扑的直觉Fuzzifying闭包算子Icl等价于从直觉Fuzzifying闭包算子Icl出发得到一个直觉Fuzzifying拓扑Iτ定义的闭包算子Icl。 展开更多

关键词 直觉Fuzzifying拓扑空间 l%MUl%-格值逻辑 直觉Fuzzifying闭包算子

下载PDF 职称材料

L—不分明化环

15

作者 蒋志勇 《华东交通大学学报》 2007年第5期159-160,共2页

运用应明生教授提出的完全剩余格L值逻辑语义的方法引入了L—不分明化环的概念,然后讨论了L—环的若干性质.

关键词 完全剩余格值逻辑 l-不分明化环

下载PDF 职称材料

基于完备剩余格值逻辑的下推自动机与上下文无关文法 被引量：1

16

作者 彭家寅 《山东大学学报（理学版）》 CAS CSCD 北大核心 2019年第5期112-126,共15页

引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等... 引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。 展开更多

关键词 完备剩余格值逻辑 l-值下推自动机 l-值上下文无关文法 l-值上下文无关语言

原文传递