首页 | 本学科首页   官方微博 | 高级检索  
    检索          
共有20条相似文献,以下是第1-20项 搜索用时 156 毫秒

1.  一阶模糊谓词逻辑公式的解释模型真度理论及其应用  被引次数:5
   张兴芳  孟广武《系统科学与数学》,2008年第28卷第5期
   基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.    

2.  G(o)del逻辑系统中模糊逻辑方程τ(X→p)=α的解的性质  
   杨洁《模糊系统与数学》,2012年第26卷第4期
   以模糊逻辑系统中公式的真度概念为基础,提出了基于真度理论的模糊逻辑方程的概念.并在G(o)del逻辑系统中就形如τ(X→p)=α的模糊逻辑方程展开了讨论.我们得到了如下结论:模糊逻辑方程τ(X→p)=α有m-同型解当且仅当α∈{i/(m+2)!+1/2|i=0,1,2…,(m+2!/2)}.    

3.  Gdel逻辑系统中模糊逻辑方程τ(X→p)=α的解的性质  
   杨洁《模糊系统与数学》,2012年第4期
   以模糊逻辑系统中公式的真度概念为基础,提出了基于真度理论的模糊逻辑方程的概念。并在Go¨del逻辑系统中就形如τ(X→p)=α的模糊逻辑方程展开了讨论。我们得到了如下结论:模糊逻辑方程τ(X→p)=α有m-同型解当且仅当α∈{i/(m+2)!+1/2i=0,1,2…,(m+2)!/2}。    

4.  一种新的中介真值程度的度量方法及模糊谓词的分解  
   张胜礼  潘正华《模糊系统与数学》,2009年第23卷第3期
   以中介数学系统为背景, 为处理现实生活中普遍存在的模糊现象提供一种度量逻辑真值程度的新方法. 在建立了谓词的标准度概念后, 描述了谓词的真值与对应的数值区域之间的关系; 采用距离的概念, 并以对应谓词真值的数值区域长度为基准, 给出了一维情形下的个体真值程度函数以及基于真值程度函数的一元谓词的表示法.又在提出了λ-真值程度截集、数与谓词的乘积概念后,给出了关于一元模糊谓词的中介分解定理, 从而建立了一元模糊谓词与清晰谓词间的量化关系.应用示例表明:真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点.    

5.  命题逻辑系统(£)*n中公式关于有限理论的∑Γ-真度理论  
   吴洪博《模糊系统与数学》,2008年第22卷第4期
   将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统(£)*n中引入了公式集相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.并利用真度关系:τΓ(A) τΓ(A→B)≤1 τΓ(B)在模糊命题逻辑系统(£)*n中的公式集F(S)上引入相对于有限理论的Γ-伪距离概念,从而为在模糊命题逻辑系统(£)*n中建立相对于有限理论的近似推理框架奠定了基础.    

6.  一阶模糊谓词逻辑公式的区间解释真度理论  被引次数:12
   张兴芳  王国俊  孟广武《模糊系统与数学》,2006年第20卷第2期
   通过引进一阶模糊语言变元集赋值的新概念,给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的区间解释真度的定义,并讨论了它们的一系列性质。    

7.  有限Boole语义中公式的条件随机真度  
   左卫兵《模糊系统与数学》,2012年第26卷第4期
   基于条件概率的思想,利用赋值集的随机化方法,在有限Boole语义中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件相似度和条件伪距离,建立了条件随机逻辑度量空间,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。    

8.  命题逻辑系统Ln^*中公式关于有限理论的∑r-真度理论  
   吴洪博《模糊系统与数学》,2008年第22卷第4期
   将模糊命题逻辑中的∑-a-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统Ln^*中引入了公式集相对于有限理论的∑r-模糊真度理论,讨论了其中的主要性质。并利用真度关系:τr(A)+τr(A→B)≤1+τr(B)在模糊命题逻辑系统Ln^*中的公式集F(S)上引入相对于有限理论的 Г-伪距离概念,从而为在模糊命题逻辑系统Ln^*中建立相对于有限理论的近似推理框架奠定了基础。    

9.  条件概率真度的相似度及伪距离  被引次数:1
   于西昌  胡凯  张兴芳《模糊系统与数学》,2009年第23卷第6期
   基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并证明了概率真度的推理规则.    

10.  二值命题逻辑中的三种Г近似推理模式及其等价性  
   刘保翠  王国俊《模糊系统与数学》,2008年第22卷第2期
   在二值命题逻辑中引入了公式的Г蕴涵真度,证明了全体有限理论的蕴涵真度值在[0,1]中稠密。在Г蕴涵真度的基础上,定义了公式间的Г蕴涵相似度及伪距离。最后讨论了基于Г蕴涵真度的三种近似推理模式,得出了这三种近似推理模式之间是等价的结论。    

11.  二值命题逻辑中的三种Γ近似推理模式及其等价性  被引次数:5
   刘保翠  王国俊《模糊系统与数学》,2008年第22卷第2期
   在二值命题逻辑中引入了公式的Γ蕴涵真度,证明了全体有限理论的蕴涵真度值在[0,1]中稠密.在Γ蕴涵真度的基础上,定义了公式间的Γ蕴涵相似度及伪距离.最后讨论了基于Γ蕴涵真度的三种近似推理模式,得出了这三种近似推理模式之间是等价的结论.    

12.  基于真度理论的α-反向三Ⅰ问题的形式解  
   《模糊系统与数学》,2014年第4期
   在多值逻辑系统L*n中,基于真度理论提出了模糊推理的α-反向三Ⅰ问题,并给出了α-反向三ⅠMP、α-反向三ⅠMT问题解的具体形式,在系统L*n中建立了α-反向三Ⅰ问题的形式化推理机制,为模糊推理的α-反向三Ⅰ算法奠定了逻辑基础。    

13.  系统L_n中公式相对于有限理论的Г-绝对真度理论  
   许格妮  关晓红《数学的实践与认识》,2010年第5期
   将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lukasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.    

14.  系统Ln中公式相对于有限理论的Γ-绝对真度理论  
   许格妮  关晓红《数学的实践与认识》,2010年第40卷第5期
   将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lulcasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.    

15.  计量逻辑学的基本思想和研究综述  
   王国俊《模糊系统与数学》,2012年第26卷第4期
   介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。    

16.  有限Boole语义中基于前提信息的随机真度  
   左卫兵《数学杂志》,2013年第3期
   本文研究了有限Boole语义中基于前提信息的随机化问题.利用赋值集的随机化方法,提出了公式的基于前提信息Γ的Γ-随机真度,得到了Γ-随机真度的MP规则,HS规则和交推理规则.通过引入公式间的Γ-随机相似度和Γ-伪距离,建立了Γ-随机逻辑度量空间,在有限Boole语义上推广了基于前提信息的近似推理理论.    

17.  基于FI-代数的一阶模糊谓词演算逻辑系统  
   朱怡权《模糊系统与数学》,2008年第22卷第4期
   在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统.主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性.这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题.    

18.  二值命题逻辑中逻辑方程τ(A→X)=m/2n解集的结构  被引次数:1
   王廷明《模糊系统与数学》,2011年第25卷第1期
   二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构以及近似推理研究中有着重要应用.给出了二值命题逻辑中公式是逻辑方程τ(A→X)=m/2n解的几个充要条件,得到了该逻辑方程的解集分别按真度相等关系和逻辑等价关系的分类定理,并给出了逻辑方程解集中公式的伪距离上确界的数值表示,为进一步研究此类逻辑方程的解集提供了结构性方法.    

19.  命题模糊逻辑系统П和God中理论的相容度与下真度的计算公式(Ⅱ)  
   张兴芳  王庆平《模糊系统与数学》,2008年第22卷第1期
   讨论命题模糊逻辑系统П和God中理论相容度与下真度的计算问题。引入逻辑公式的核、零核及理论的核的新概念,得到命题模糊逻辑系统Ⅱ和God中理论相容度与下真度的计算公式,给出理论不相容的新的充要条件。    

20.  命题模糊逻辑系统Π和G(o)d中理论的相容度与下真度的计算公式(II)  被引次数:1
   张兴芳  王庆平《模糊系统与数学》,2008年第22卷第1期
   讨论命题模糊逻辑系统Π和G(o)d中理论相容度与下真度的计算问题.引入逻辑公式的核、零核及理论的核的新概念,得到命题模糊逻辑系统Π和G(o)d中理论相容度与下真度的计算公式,给出理论不相容的新的充要条件.    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号