格值逻辑相关论文
基于常规Ⅳ模糊集合包含序(∈),引入格蕴涵代数的由一个Ⅳ模糊集生成的(∈,∈∨q)-Ⅳ模糊LI理想概念并考察其结构性质.建立并证明......
近四十年来，由于不确定性推理在控制系统中的广泛应用，关于不确定性推理的逻辑基础-非经典逻辑理论的研究更加引起了人们广泛的关注......
本文的主要工作分两部分内容：格蕴涵代数的构造理论； L-fuzzy双拓扑基于一个L-fuzzy拓扑的表述和构造理论． 一、格蕴涵代数方面 ......
Zadeh在文[1]中引入Fuzzy集概念之后,这一概念被Goguen[2]推广,真值域由单位闭区间被更一般的格所代替.Rosenfeld[3]将Zadeh的思想......
期刊
从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了......
归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可......
引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通......
在格值逻辑框架下给出上下文无关丈法及上下文无关语言的概念，并研究了格值上下文无关语言在正则运算下的封闭性。......
首先在格值逻辑框架下引入格值自动机的概念，并提出可逆映射的概念，从而诱导出格值可逆自动机的概念；其次研究了格值可逆自动机的代数......
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.语义归结是对归结原理的一种......
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.为了提高基于语言......
语义归结方法是对归结原理的一种重要改进，能有效地提高归结推理的效率，讨论了格值逻辑系统的语义归结方法，并列出了语义归结方法的一......
基于MV代数（Many—Valuedalgebra）语义，通过在MV代数赋值格和全体命题集上分别建立概率测度，利用积分方法提出了一种格值逻辑上命题的......
在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是),建立了一个以时轴为语境的......
将建立起基于完全分配剩余格值逻辑上的L-双F拓扑群的相关理论,并特别讨论了单位元F点的邻域系等性质.......
讨论格值一阶逻辑系统LF（X）中α-语义归结方法和有序归结方法的相容性。给出了LF（X）中α-有序语义归结和α-有序语义归结演绎的概念,通......
利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念,给出了真度的一些推理规则,证明了全体公式的......
根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数,给出......
在格蕴涵代数中定义了一类特殊的素对偶理想，讨论了它们的结构和性质，证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所......
在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,给出格值逻辑意义下广义的格值子集构造方法,并证明了任一与除一步推......
讨论了格蕴含代数具有单调性的判定方法,对格蕴含代数的素空间的性质进行了总结,在L＊-格值逻辑的语义框架下,定义了L＊-格值逻辑上的......
为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可......
为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率，将语义归结策略应用于α-归结原理，讨论了格值命题逻辑LP(X)中的α-语义归结......
LI-理想是研究格蕴涵代数结构特征的一个重要的工具性概念.综合运用代数学与逻辑学的方法和原理对格蕴涵代数的LI-理想理论作进一......
非经典逻辑的研究一直是人工智能领域中一个非常引人关注的研究方向。目前，基于非经典逻辑的自动定理证明理论和技术不断发展，并已得......
不确定性推理是人工智能研究领域中一个重要的研究方向,在逻辑的框架下研究不确定性推理是一种科学的研究方法。格值逻辑是一种重......
目前，逻辑学被广泛应用于计算机科学中逻辑电路设计、程序设计分析、安全协议验证以及人工智能等方面。各种逻辑系统不仅为知识表示......
自动定理证明(Automated Theorem Proving)或者机器定理证明(MechanicalTheorem Proving)是通过计算机实现定理证明.二十世纪五十......
智能交通是集信息化、智能化、社会化为一体的新型复杂运输系统,充满了大量的、各种各样的、复杂的不确定性信息。为了更加合理地......
基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向,能够对含有不可比较性信息进行有效地刻画；另外人们对事物进行推理......
使用组合计数法建立了有限可补格上的一阶格值逻辑的Mostowski定理....
