Lukasiewicz命题逻辑系统中真度的等价定义及相关性质

发布时间：2017-08-21 08:20

  本文关键词：Lukasiewicz命题逻辑系统中真度的等价定义及相关性质

  更多相关文章： 计量逻辑学 Lukasiewicz命题逻辑 真度定义 等价形式 推理规则

【摘要】：对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果.
【作者单位】： 陕西师范大学数学与信息科学学院;
【关键词】： 计量逻辑学 Lukasiewicz命题逻辑 真度定义 等价形式 推理规则
【基金】：国家自然科学基金(11171196)~~
【分类号】：O141.1
【正文快照】： 1引引言言数理逻辑的特点在于符号化和形式化,它以精确的、形式化的推理方法为显著特征,这种方法与数值计算有明显的不同.随着人工智能的发展和模糊推理的研究,形式推理与数值计算相融合的方法近年来受到了广泛的关注.20世纪70年代,Pavelka在系列文章[1]中用“指派真值”来反

【参考文献】

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

1 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

2 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

3 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑:信息科学;2005年06期

4 李骏;王国俊;;逻辑系统L_n~*中命题的真度理论[J];中国科学E辑:信息科学;2006年06期

5 李骏;王国俊;;n值Lkasiewicz命题逻辑中命题的α-真度理论[J];计算机工程与应用;2006年31期

6 吴洪博;;命题逻辑系统L_n~*中公式关于有限理论的Σ_Γ-真度理论[J];模糊系统与数学;2008年04期

7 韩邦合;李永明;;计量逻辑学中的近似推理[J];模糊系统与数学;2010年05期

8 刘华文;王国俊;张诚一;;几种逻辑系统中的近似推理理论[J];山东大学学报(理学版);2007年07期

9 吴洪博,陈景林;L~*系统的半对偶形式系统S“非汉字符号”~*[J];陕西师范大学学报(自然科学版);2001年04期

10 李骏,黎锁平,夏亚峰;Lukasiewicz n值命题逻辑中命题的真度理论[J];数学学报;2004年04期

【共引文献】

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

1 刘保翠;王国俊;;命题集F(S)基于相似关系定义的拓扑[J];安康学院学报;2007年03期

2 龚加安;吴洪博;;BR_0代数的模糊滤子与模糊素滤子[J];安康学院学报;2009年06期

3 刘宏岚;高庆狮;杨炳儒;;多值逻辑中的命题相关性与逻辑运算研究[J];北京科技大学学报;2007年S2期

4 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

5 刘东利,茹永梅;经典二值逻辑系统L中的MT问题[J];宝鸡文理学院学报(自然科学版);2005年04期

6 段景瑶;王国俊;;Boole代数的等价刻画[J];宝鸡文理学院学报(自然科学版);2007年03期

7 杜亚灵;尹贻林;;基于模糊逻辑的公共项目风险分配模型[J];北京理工大学学报(社会科学版);2008年03期

8 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

9 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

10 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

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

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

2 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

3 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

4 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

5 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

6 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

7 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

8 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

9 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年

10 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

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

1 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年

2 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

3 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

4 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年

5 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年

6 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年

7 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年

8 于海田;民航安全分析与管理研究[D];上海大学;2011年

9 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年

10 范永青;几类复杂动态系统稳定及同步控制研究[D];广东工业大学;2012年

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

1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年

2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年

3 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年

4 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年

5 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年

6 许筱婷;基于本体论的知识表达[D];湘潭大学;2010年

7 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年

8 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

9 赵力;模糊推理的三Ⅰ算法研究[D];山东大学;2010年

10 吴媛;剩余格的模糊滤子和广义模糊滤子[D];西北大学;2011年

【二级参考文献】

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

1 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

2 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

3 何颖俞,王国俊;L~*-Lindenbaum代数的结构与L~*公理系统的简化形式[J];工程数学学报;1998年01期

4 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

5 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期

6 陆汝钤,应明生;知识推理的一个模型[J];中国科学E辑:技术科学;1998年04期

7 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期

8 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑:技术科学;2002年01期

9 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑:技术科学;2002年02期

10 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑:技术科学;2002年02期

【相似文献】

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

1 巫伟亮;;一个多参数反向Hilbert型积分不等式[J];华南师范大学学报(自然科学版);2008年04期

2 黄臻晓;;一个-4齐次核的Hilbert型积分不等式[J];华南师范大学学报(自然科学版);2009年02期

3 黄臻晓;;一个-4λ齐次核的Hilbert型积分不等式[J];湛江师范学院学报;2009年03期

4 黄臻晓;;一个逆向的Hilbert型积分不等式及其等价式[J];山西师范大学学报(自然科学版);2010年02期

5 黄臻晓;;一个具有混合核的新的Hilbert型积分不等式[J];数学的实践与认识;2010年11期

6 候光林;对等差数列两种“等价形式”的认识[J];数学通报;1996年11期

7 钟五一;杨必成;;一个新的Hilbert型积分不等式的含多参数的最佳推广[J];江西师范大学学报(自然科学版);2007年04期

8 钟五一;;一个Hilbert型不等式的含多参量的最佳推广[J];广东教育学院学报;2007年05期

9 黄臻晓;;一个Hilbert型积分不等式的含多参数的最佳推广[J];数学理论与应用;2009年01期

10 陶娜娜;余平洋;;模糊随机约束等价形式的有效性[J];开封大学学报;2009年02期

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

1 曹炳元;;分式绝对值几何规划的等价形式[A];中国运筹学会第七届学术交流会论文集（上卷）[C];2004年

2 陈东彦;滕春贤;姚锋敏;;MPEC等价形式的研究[A];中国运筹学会第八届学术交流会论文集[C];2006年

3 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

4 戎晓霞;李霞;;一类随机规划的等价形式[A];2004年中国管理科学学术会议论文集[C];2004年

5 王长钰;;广义半无限极大极小规划的一阶最优性条件[A];2006年中国运筹学会数学规划分会代表会议暨第六届学术会议论文集[C];2006年

6 姚锋敏;滕春贤;陈东彦;;价格控制问题的精确罚等价[A];中国运筹学会第八届学术交流会论文集[C];2006年

7 马建华;刘家壮;;一类非增值型双线性双层规划的对偶[A];中国运筹学会第六届学术交流会论文集（下卷）[C];2000年

8 陈东彦;毕海云;;离散时间代数Riccati方程解矩阵的迹的下界[A];第二十六届中国控制会议论文集[C];2007年

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

1 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

2 方芩;组合分析中若干问题的研究[D];大连理工大学;2008年

3 彭兴璇;三角剖分上的多元有理样条及其应用[D];大连理工大学;2006年

4 李秀红;粗糙集的模糊刻画与知识颗粒特征研究[D];山东大学;2006年

5 李佳民;求解带平衡约束数学规划问题的组合同伦内点方法[D];吉林大学;2007年

6 陈雪生;Abel群中子集和的一些问题[D];中南大学;2006年

7 张韶华;欧几里德算法及相关问题研究[D];山东大学;2010年

8 高永;分拆恒等式的组合证明[D];南开大学;2009年

9 陈伟;0-1二次规划的全局最优性条件及算法[D];上海大学;2005年

10 陈晓静;互反级数关系与经典组合恒等式[D];大连理工大学;2010年

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

1 姚锋敏;均衡约束数学规划的若干理论及应用研究[D];哈尔滨理工大学;2007年

2 韩邦合;计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论[D];陕西师范大学;2007年

3 王志勇;投资组合模型的几种等价形式[D];大连理工大学;2007年

4 李博;带有w-距离的向量值Ekeland变分原理及其等价形式[D];苏州大学;2009年

5 郑桂梅;不动点定理的一些等价形式及推广[D];贵州大学;2006年

6 陈建芮;变分不等式的两类新算法[D];内蒙古工业大学;2007年

7 曾玉娥;三角范畴中的两个问题[D];上海交通大学;2011年

8 卫福山;C*-代数的迹秩及其拟对角扩张[D];华东师范大学;2006年

9 张振环;（2+1）维可积非均匀海森堡铁磁链方程的延拓结构[D];首都师范大学;2007年

10 宋翔;量子（流体）方程零Debye长度极限的渐近格式[D];首都师范大学;2008年

，

本文编号：711805