基于Lukasiewicz三角模及其剩余蕴涵的模糊粗糙集

讨论基于Lukasiewicz三角模及其剩余蕴涵的模糊粗糙集模型,研究了相应模糊粗糙集的代数性质,证明了自反模糊关系下该模型中的下近似集构成一个模糊拓扑,且上、下近似算子恰为其闭包及内部算子。

Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统L_n

讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L_3和n值逻辑系统L_n(n>3),首先给出了L_3的真值表,它是C_2真值表的扩充,它也保持MP规则和正则性,接下来讨论了L_3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及L_3的准重言式与C_2的重言式之间的关系。最后考虑了L_n中的子代数及不同逻辑系统L_n中重言式的比较。

基础L~*系统的一种扩张——Lukasiewicz系统

研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。

Lukasiewicz命题逻辑系统中真度的等价定义及相关性质

对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果.

Lukasiewicz命题集的发散性与相容性

在Lukasiewicz命题逻辑系统中研究了一组公式的全发散性,明确了相容公式集可以是全发散的。得到了公式集不相容的充要条件。给出了发散度单调下降收敛于0的公式序列。

Lukasiewicz多值逻辑系统中的广义重言式理论

引入一类特殊的公式序列 Ak,k=1 ,2 ,… ,证明了在 Lukasiewicz多值逻辑系统 ,对任意真值 α∈Ln而言 ,可达 α-重言式类类不空 ,进一步证明了系统中广义重言式的类类互异定理。最后讨论了 Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。

基于Lukasiewicz蕴涵算子的反向三I算法

三I算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文针对Lukasiewicz蕴涵算子讨论FMP模型及FMT模型的反向三I推理及反向α-三I推理,借助该蕴涵算子的性质,给出相应的推理算法。

n值Lukasiewicz命题逻辑系统中公式的绝对真度理论

在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.

Lukasiewicz区间值命题逻辑的广义重言式

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.

Lukasiewicz命题逻辑中命题的Choquet积分真度理论

将已有的不确定性测度概念引入到了Lukasiewicz命题逻辑中的全体赋值之集上,然后利用McNaughton函数关于该不确定性测度的Choquet积分定义了命题的Choquet积分真度概念.证明了当赋值空间上的不确定性测度满足有限可加性时Choquet积分真度函数就具有良好性质,由此可诱导出命题集上的一个伪距离,进而可建立逻辑度量空间并展开程度化推理,特别是证明了当赋值空间上的不确定性测度取为Borel概率测度时Choquet积分真度函数就退化为概率计量逻辑中的Borel概率真度函数.本文是已有命题逻辑概率计量化工作的继续与深入,为表示逻辑命题间不确定性的非线性关系提供了一种推理框架.

F(S)在Lukasiewicz逻辑系统中的一种分划

利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α 重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,重言式可由对非重言式进行有限次升级算法得到.

模糊有穷自动机与单体二阶Lukasiewicz逻辑

该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Bchi与Elgot基本定理.通过引入星-自由模糊语言与非周期模糊语言,刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言.

区间值模糊Lukasiewicz蕴涵的研究

Lukasiewicz蕴涵是一个常用的重要蕴涵。在区间值模糊集合上给出了交并等几个运算的概念,证明了<I[0,1],≤>是有界格、分配格、完备格和有余格,其中,<I[0,1],■,■c>是有余格<I[0,1],≤>诱导的代数系统。重新构造了一种区间值模糊Lukasiewicz蕴涵,讨论了该蕴涵的正则、单调和代数等重要性质。

Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计

在Lukasiewiczn值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogorov公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewiczn值逻辑系统中,一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间,证明逻辑伪距离空间中没有孤立点,利用逻辑伪距离在全体公式集F(S)中提出两种不同形式的近似推理模式.

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系,证明了:若(L(n), )是一个n元链,θ,I分别为最小、最大元,则以 为导出关系的格蕴涵代数(L(n),∨,∧,→,′,θ,I)恰有一个,并且与n值Lukasiewicz逻辑系统同构.

粗代数与三值Lukasiewicz代数

在粗糙集的代数方法研究中一个重要的方面是从粗糙集的偶序对(〈下近似集,上近似集〉)表示入手,通过定义偶序对的基本运算,从而构造出相应粗代数,并寻找能抽象表示偶序对性质的一般代数结构.其中最有影响的粗代数分别是粗双Stone代数、近似空间代数和粗Nelson代数,它们对应的一般代数分别是正则双Stone代数、预粗代数和半简单Nelson代数.文章证明了这三种粗代数都可以化为三值Lukasiewicz代数,从而将它们统一到了三值Lukasiewicz代数的框架下.并在此基础上,更直接地证明了一个近似空间中的所有粗糙集可构成一个三值Lukasiewicz代数.最后给出一个实例,说明了从一个信息系统得到其对应三值Lukasiewicz代数的过程.

Lukasiewicz逻辑值上下文无关语言的代数刻画

提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的l-VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性。

Lukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画

通过研究Lukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都是一个极大相容理论.利用Lukasiewicz蕴涵算子的连续性在全体极大相容理论之集上引入了一种Fuzzy拓扑,证明了该Fuzzy拓扑空间是零维的、良紧的,但不是覆盖式紧的,其分明截拓扑空间是覆盖式紧的、可度量化的.

Lukasiewicz蕴涵代数及其性质

由一般的格蕴涵代数的定义出发 ,验证了Lukasiewicz涵代数并讨论了Lukasiewicz蕴涵代数的单性和周期性 .

应用Lukasiewicz蕴涵的O型模糊推理

基于Ｏ型模糊集的模糊推理称为Ｏ型模糊推理。本文给出了应用Ｌｔｉｋａｓｉｅｗｉｃｚ蕴涵的Ｏ型模糊推理方法，并讨论了这一推理方法的良好性质。