n值命题逻辑中公式列的收敛性

发布时间：2017-07-18 15:42

  本文关键词：n值命题逻辑中公式列的收敛性

  更多相关文章： 逻辑度量空间 度量收敛 赋值收敛 真度收敛

【摘要】：在n值R0命题逻辑系统中给出了公式列按真度收敛的定义,研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出了三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明了公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的。
【作者单位】： 兰州理工大学理学院;
【关键词】： 逻辑度量空间 度量收敛 赋值收敛 真度收敛
【基金】：国家自然科学基金(No.11261032)
【分类号】：O141.1
【正文快照】： 1引言数理逻辑是以符号化为特点的形式化理论,它注重形式推理而不重视数值计算[1-2]。为了将数值计算引入到数理逻辑中,王国俊教授等从基本概念的程度化入手,给出了公式的真度、公式间的相似度与伪度量等概念[3-4],建立了逻辑度量空间,提出了一套完整的近似推理机制[5-6],进而

【相似文献】

中国期刊全文数据库 前10条

1 张兴芳,孟广武;模糊谓词逻辑公式的有限和可数解释真度理论[J];聊城大学学报(自然科学版);2004年04期

2 王国俊,秦晓燕,周湘南;一类二值谓词逻辑中公式的准真度理论[J];陕西师范大学学报(自然科学版);2005年01期

3 张兴芳;王国俊;孟广武;;一阶模糊谓词逻辑公式的区间解释真度理论[J];模糊系统与数学;2006年02期

4 李友雨;张兴芳;李成允;;L*系统中由单个原子生成公式的真度分布[J];计算机工程与应用;2010年10期

5 于鹏;;真度方程组及其应用[J];计算机工程与应用;2012年07期

6 王国俊;;一类一阶逻辑公式中的公理化真度理论及其应用[J];中国科学:信息科学;2012年05期

7 秦晓燕;徐扬;刘熠;;二值谓词逻辑中公式的向量真度[J];模式识别与人工智能;2013年08期

8 张安英;李德胜;张兴芳;于西昌;;基于一阶模糊逻辑公式的有限解释真度的推理理论[J];聊城大学学报(自然科学版);2005年04期

9 李友雨;张兴芳;李成允;;公式真度的大小之比较[J];模糊系统与数学;2011年02期

10 李璧镜;;模态逻辑公式的真度理论[J];计算机工程与应用;2013年03期

中国重要会议论文全文数据库 前1条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

中国硕士学位论文全文数据库 前10条

1 贺锦瑞;两种命题逻辑系统中的真度研究[D];延安大学;2016年

2 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

3 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年

4 周丽莉;两种模糊命题逻辑的公式的概率真度[D];辽宁师范大学;2007年

5 李慧玲;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度[D];辽宁师范大学;2007年

6 郝国平;几类模糊逻辑系统中真度及近似推理研究[D];延安大学;2015年

7 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

8 李小兵;n值S-MTL系统中公式的矛盾度理论及理论的平均真度[D];兰州理工大学;2014年

9 秦晓燕;关于PI证明的若干注记以及逻辑公式的真度理论[D];陕西师范大学;2005年

10 胡江山;几种逻辑系统中命题真度的研究[D];山东大学;2009年

，

本文编号：558447