格值逻辑公式中短语和文字的可消性

本文分别给出了格值辽辑公式中短语和文字可消去的一些充要条件,从而为格值逻辑公式的化简提供了理论基础.     

格值有穷自动机和单体二阶格值逻辑

引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义下的Schutzenberger分类定理.     

基于格值逻辑的模糊概念格

从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了由蕴涵算子诱导的算子对是伽罗瓦连接,并讨论了相关的一些性质,进而给出了格值模糊概念格的构造算法.格值模糊概念格的建立为模糊性与不可比较性信息的处理提供了可靠的数学工具.     

有限可补格上的一阶格值逻辑几个性质

本文建立了格值逻辑的正规性概念,证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑,并证明了Fraise定理在其上成立.     

量化转换系统的格值语言包含关系

近十年来,量化形式化验证方法的研究取得了很多的研究成果。量化转换系统是一种新型的量化模型,该模型的主要特点是其动作集合上被赋予一个基于完备剩余格的格值等价关系。在量化转换系统的模型上,本文提出了一种格值语言包含关系去度量系统的一个状态所接受的语言能在多大程度上被另一个状态所接受的语言所包含,研究了这种关系的计算复杂性问题,并用格值版本的HennessyMilner逻辑的子逻辑提供了它的逻辑刻画。所有这些性质表明所提出的格值语言包含关系为并发和分布式系统的量化验证提供了重要的理论基础。     

基于L*-格值逻辑上的BCH-代数中的直觉不分明化理想

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

格值命题逻辑系统中基于滤子的MP归结演绎

给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.     

基于群范畴的L-fuzzy结构提升范畴及其表示

引入群范畴上L-fuzzy结构提升范畴与格值结构提升范畴概念,L-fuzz结构是在逻辑层面表达群理论多值语义的有点化描述,也是Zermelo-Fr(a)nkel公理集合理论和各种代数形式理论的格值模型的语义赋值,而格值结构是在范畴层面表达群理论多值语义的无点化描述,本文建立了L-fuzzy结构与格值结构这两种不同数学结构之间的联系,证明了在范畴层面上述两种结构是同构的.给出了基于群范畴的L-fuzzy结构的格值结构表示.     

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

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

基于L~*-格值逻辑上的BCK-代数中直觉不分明化理想

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

效应代数的不分明化滤子

在连续格值逻辑的语义框架下,以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念,将用G.Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画,给出了不分明滤子的几个等价描述和性质.在两个经典效应代数的效应态射与效应同构意义下,讨论了这种不分明滤子的像和前像问题.     

分层的格值命题逻辑系统Lvpl中的推理规则

格值命题逻辑系统Lvpl中的推理规则体现了逻辑系统的语法功能,推理规则越多逻辑系统的语法演绎能力越强.针对推理规则的具体例子的研究已有很多成果,但其中对于推理规则需要满足的条件缺乏系统研究.本文通过研究分析二值逻辑中推理规则的特点,来研究Lvpl中的推理规则.给出Lvpl中推理规则的公式演绎部分需要满足的条件,为Lvp...     

基于完备剩余格的双标号转换系统

为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要,根据经典的双标号转换系统,提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下,将传统的互模拟关系推广到格值情形,来度量系统之间的接近程度。通过引入格值Hennessy-Milner逻辑的概念,给出格值互模拟关系的逻辑刻画。     

格值一阶逻辑LF(X)中α-广义语义归结方法的相容性

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理由于其易于在计算机上实现而受到广泛研究。为了提高基于格值逻辑的α-广义归结原理的效率,将删除策略应用于α-广义语义归结方法,研究了格值逻辑中删除策略和α-广义语义归结的相容性。首先证明了带有删除策略的α-广义语义归结的完备性;接着,给出了带有删除策略的α-广义语义归结算法,并证明了该算法的可靠性和完备性。     

模糊集层次结构的本质刻画

将Zadeh提出的模糊集的模糊结构提升到格值结构,引入赋予格值结构的集合概念,称之为格值集合,并给出了格值集合的表示定理.在此基础上,证明格值集合范畴可以嵌入到集合的层范畴,说明格值结构具有层结构这一特征,从而揭示格值集合具有层次结构,这一结果也刻画了Zadeh模糊集的层次结构的本质特征.     

有限可补格上的格值逻辑的特征

本文给出了有限可补格上的格值逻辑的特征,即如果L是一个强于L_1的正则逻辑系统并且L有紧致性和LS性质,则L～L_1.     

基于格蕴涵代数的模糊幂集

模糊幂集理论依赖于相应的模糊算子的选取,本文通过格蕴涵代数中的蕴涵算子讨论了L—型模糊集的幂集,为高阶格值逻辑的研究作了必要的准备。     

几类格值自动机的关系

本文给出了四类格值自动机及其语言的定义,证明了前三类格值自动机的等价性,讨论了第四类格值自动机与前三类格值自动机的关系。     

格值有限状态机的弱交换性

提出了格值有限状态机可弱交换的概念和格值变换半群可弱交换的概念,用矩阵和半群对格值有限状态机的弱交换性进行刻画,得出了格值有限状态机可弱交换的几个等价条件,并找出了格值有限状态机的弱交换性与其伴随第二类格值变换半群弱交换性的关系。此外,研究了格值有限状态机的满直积、限制直积、级联积、圈积及和的弱交换性,并研究了格值有限状态机伴随第二类格值随变换半群的全直积和限制直积的弱交换性,得出了其全直积和限制直积可弱交换的充分条件。     

格值有限状态机的乘积与覆盖

给出了格值有限状态机的覆盖一种新的定义,在这种新的定义下讨论两个格值有限状态机的之间的覆盖关系,也讨论了格值有限状态机全直积、限制直积、级联积与圈积之间的覆盖关系以及格值有限状态机的积与覆盖它们的格值有限状态机的积之间的覆盖关系。