Godel n 值命题逻辑中公式的随机真度和形式推演结论的不可靠度估计

来源 :模糊系统与数学 | 被引量 : 0次 | 上传用户：tudeyu

【摘要】

：

利用Godeln值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念.证明在Godel n值逻辑系统中,一个有效推理结论的不可靠度不超

【作者】

：

吴霞张家录

【机构】

：

湘南学院数学系

【出处】

：

模糊系统与数学

【发表日期】

：

2004年期

【关键词】

：

Godel n 值逻辑系统随机真度不可靠度必要度伪距离近似推理

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

利用Godeln值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念.证明在Godel n值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和,通过不可靠度在全体公式集上建立伪距离,给出基于伪距离和不可靠度的两种近似推理模式.

其他文献

氮芥型苦参碱前药的合成与表征

为了得到活性更好的化疗药剂,以苦参碱和氮芥[N,N-二(2-氯乙基)氨基]互为药效基团,以槐果碱为原料,合成了4个氮芥型苦参碱衍生物,所有化合物未有文献报道,其结构经元素分析、

期刊

苦参碱氮芥抗癌前药

隔水管附属管控制流动的风洞和水洞实验研究

通过对附属轴向管的隔水管表面压力分布和流体动力特性进行的风洞和水洞实验测试结果的对比,验证了利用低成本风洞实验代替高成本水洞实验来考察隔水管流体动力特性及漩涡特

期刊

风洞水洞隔水管附属管涡激振动

一种新型三足席夫碱稀土配合物的合成及与DNA作用方式的研究

合成了一种新型三足席夫碱和它的四种稀土配合物,通过元素分析、红外光谱、紫外光谱、差热-热重、核磁共振和摩尔电导率对配合物进行了表征,推测了配合物的可能结构。应用紫

期刊

三足席夫碱稀土配合物DNA作用电化学紫外可见光谱

解无约束优化问题的一个新的非单调信赖域算法

在传统信赖域方法的基础上,提出了求解无约束最优化问题的一个新的带非单调线搜索的信赖域算法.该算法采用非单调Wolfe线搜索技术获得迭代步长,新算法在每一迭代步只需求解一

期刊

无约束优化问题信赖域方法非单调线搜索全局收敛性

外部荧光种子植入法增强液芯光纤中CS2的受激拉曼散射研究

　　为了有效提高受激拉曼散射(SRS)强度、降低SRS阈值，一种有效的措施是通过荧光内部种子植入的方法增强拉曼介质自发拉曼噪声强度。然而，荧光内部种子植入法中激光染料的直接

期刊

液芯光纤荧光种子植入技术受激拉曼散射

一类l—半群l—自同构

设R有l的全序环.记Mn(R)为R上n×n矩阵乘法半群,则Mn(R)在通常格序下成为l—半群.本文对l-半群Mn(R)的V-自同构,∧-自同构以及l—自同构给出了详细的刻画.

期刊

保序映射l—自同构l—半群全矩阵半群环

矩阵的一种特殊运算及其应用

针对元素为非负实数的矩阵,引入矩阵的一种双目运算一一换乘运算,讨论了这种运算的一些主要性质.举例说明这种运算在城市公交路线查询中的应用,和其他查询算法相比,这种方法

期刊

直达距离矩阵环行线路往返线路换乘次数

动态压应力促进大鼠成骨细胞成熟分化的基因水平研究

目的观察不同强度压应力刺激对大鼠成骨细胞骨桥蛋白(OPN)、核结合因子α1(Runx2)、骨钙素(OC)、Osterix、碱性磷酸酶(ALP)及骨形态发生蛋白2(BMP-2) mRNA表达的影响.方法

期刊

压应力成骨细胞骨桥蛋白骨钙素碱性磷酸酶Compressive stressOsteoblastsOsteopontinOsteocalcinA

极性晶体膜中束缚磁极化子的声子平均数与回旋共振频率的关系

采用改进的线性组合算符法和幺正变换方法,研究极性晶体膜中束缚磁极化子的声子平均数与回旋共振频率ωc的变化关系.得出束缚磁极化子的声子平均数由两部分组成:第一部分是由

期刊

束缚磁极化子声子平均数回旋共振频率

广义神经传播方程的非协调变网格有限元方法

本文将Crouzeix-Raviart型各向异性非协调线性三角形元应用到广义神经传播方程,建立了其Crank-Nicolson变网格逼近格式.同时,直接利用插值技巧和单元的特殊性质给出了相应的

期刊

变网格各向异性插值技巧Crank-Nicolson格式

Godel n 值命题逻辑中公式的随机真度和形式推演结论的不可靠度估计

与本文相关的学术论文