格值逻辑相关论文
该文引入了格值逻辑的L-素蕴含项的概念,并利用格论工具,讨论了L-素蕴含项的性质,进而给出一种格值逻辑公式化简的方法。......
该文针对格蕴涵代数中滤子的概念,讨论了滤子的一些性质。并且通过对经典逻辑在推理中存在的问题,讨论了在不精确性推理中运用滤子的......
基于常规Ⅳ模糊集合包含序(∈),引入格蕴涵代数的由一个Ⅳ模糊集生成的(∈,∈∨q)-Ⅳ模糊LI理想概念并考察其结构性质.建立并证明......
该文借助于格蕴涵代数已有的性质,进一步讨论其结构特征,最终为进一步讨论格值逻辑系统打好基础.为此,具体做了以下工作:1.讨论了......
本文的主要工作分两部分内容:格蕴涵代数的构造理论; L-fuzzy双拓扑基于一个L-fuzzy拓扑的表述和构造理论. 一、格蕴涵代数方面 ......
为优化基于格值逻辑的α-归结原理,将删除策略应用于α-语义归结方法,研究了基于格值逻辑的带有删除策略的α-语义归结方法.首先给......
由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域L_n×L_2的结构特性和归结水......
Zadeh在文[1]中引入Fuzzy集概念之后,这一概念被Goguen[2]推广,真值域由单位闭区间被更一般的格所代替.Rosenfeld[3]将Zadeh的思想......
期刊
从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了......
归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可......
引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通......
在格值逻辑框架下给出上下文无关丈法及上下文无关语言的概念,并研究了格值上下文无关语言在正则运算下的封闭性。......
首先在格值逻辑框架下引入格值自动机的概念,并提出可逆映射的概念,从而诱导出格值可逆自动机的概念;其次研究了格值可逆自动机的代数......
1研究意义1.1机器智能需要研究不确定性环境中的自动推理第一,世界上存在大量各种不确定性。客观物理世界或人类主观事理世界或人类......
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.语义归结是对归结原理的一种......
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.为了提高基于语言......
语义归结方法是对归结原理的一种重要改进,能有效地提高归结推理的效率,讨论了格值逻辑系统的语义归结方法,并列出了语义归结方法的一......
基于MV代数(Many—Valuedalgebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的......
在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是),建立了一个以时轴为语境的......
将建立起基于完全分配剩余格值逻辑上的L-双F拓扑群的相关理论,并特别讨论了单位元F点的邻域系等性质.......
讨论格值一阶逻辑系统LF(X)中α-语义归结方法和有序归结方法的相容性。给出了LF(X)中α-有序语义归结和α-有序语义归结演绎的概念,通......
利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念,给出了真度的一些推理规则,证明了全体公式的......
由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域L_n×L_2的结构特性和归......
根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数,给出......
在格蕴涵代数中定义了一类特殊的素对偶理想,讨论了它们的结构和性质,证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所......
格值逻辑(LVL)是本文作者于1986年引进的人工智能领域中的一种非经典逻辑。本文改进了LVL中的推理模式,相应地给出了改进后的LVL系统中可信度的更新......
在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,给出格值逻辑意义下广义的格值子集构造方法,并证明了任一与除一步推......
讨论了格蕴含代数具有单调性的判定方法,对格蕴含代数的素空间的性质进行了总结,在L*-格值逻辑的语义框架下,定义了L*-格值逻辑上的......
将带广义量词Q的一个阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。......
本文引入有序数偶来描述规则强度,且提出与此规则强度相应的可能性更新公式,将格值逻辑系统拓展为泛格值逻辑系统,并得到相应于此......
对格H蕴涵代数,当(L,ˇ,∧)是完全分配格时,本文给出了(L,ˇ,∧)在L的分子集的幂集P(M)上的一个表示定理。......
为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可......
为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结......
<正> 智能信息处理系统的逻辑基础研究中,一个非常活跃的前沿方向即是多值逻辑的研究,它将有望使计算机科学和人工智能的研究产生......
<正> 1 前言人类的许多智能活动都离不开推理。由于客观世界中客观世界在向人脑反映的过程中存在着大量的不精确的、不完全的或不......
LI-理想是研究格蕴涵代数结构特征的一个重要的工具性概念.综合运用代数学与逻辑学的方法和原理对格蕴涵代数的LI-理想理论作进一......
运用格理论的原理和方法对格蕴涵代数L的LI-理想概念作进一步研究.首先,在L的全体LI-理想之集фLI(L)上定义了格运算 和 ,蕴涵运算 ......
该文定义了基于完全剩余格值逻辑上的半群的概念,在此逻辑框架下,给出了半群中的子群、正则子半群和完全正则子半群的结构,并讨论了它......
该文给出了基于完全剩余格值逻辑上半群的理想,左(右)理想,双边理想等结构,并讨论了它们的某些代数性质。......
从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了由蕴......
归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可......
本文在格值命题逻辑系统L(X)研究工作的基础上,借助于L(X)的语法推演规则,针对四种近似推理模型分别提出了几种近似推理方法。......
逻辑学是人工智能研究的重要手段。格是一类重要的代数结构,现实世界中的许多现象都可以用格来刻画,尤其是不可比较性。格值逻辑是一......
非经典逻辑的研究一直是人工智能领域中一个非常引人关注的研究方向。目前,基于非经典逻辑的自动定理证明理论和技术不断发展,并已得......
不确定性推理是人工智能研究领域中一个重要的研究方向,在逻辑的框架下研究不确定性推理是一种科学的研究方法。格值逻辑是一种重......