命题逻辑中理论的条件真度

发布时间：2017-08-16 03:28

  本文关键词：命题逻辑中理论的条件真度

  更多相关文章： 计量逻辑 真度 条件真度 近似推理 理论和谐度

【摘要】：探讨了理论真度的性质后基于条件概率的思想,给出了理论的条件真度的概念,并用它建立了一种可以在公式集之间展开的近似推理模式,用于探寻最优推理结论和最优推理前提,最后给出了理论的和谐度的概念,刻画理论内部公式和谐共存的程度。
【作者单位】： 浙江理工大学理学院;
【关键词】： 计量逻辑 真度 条件真度 近似推理 理论和谐度
【基金】：国家自然科学基金资助项目(10871229;60863002) 浙江理工大学科研资助项目(YJG-Z07001)
【分类号】：O141.1
【正文快照】： 0引言为了将数值计算引入到数理逻辑中,文献[1]首先在二值命题逻辑中建立了真度理论,之后,计量逻辑学在文献[2]中被正式提出,其中分别介绍了二值命题逻辑L,Lukasiewicz多值命题逻辑Luk,Ln和命题演算系统L*,L*n中的真度,相容度和近似推理理论。文献[3]基于条件概率的思想,在二

【参考文献】

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

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

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

3 韩邦合;王国俊;;二值逻辑中命题的条件真度理论[J];模糊系统与数学;2007年04期

4 张兴芳;;逻辑系统中理论的下真度与相容度(Ⅰ)[J];模糊系统与数学;2007年06期

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

6 胡江山;;一种n值逻辑系统中命题的条件真度[J];山东大学学报(理学版);2009年06期

7 王国俊;高香妮;;命题逻辑系统中理论的真度概念及其应用[J];陕西师范大学学报(自然科学版);2009年05期

【共引文献】

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

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

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

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

4 王廷明;;二值命题逻辑中的蕴涵度量与近似推理[J];重庆师范大学学报(自然科学版);2009年03期

5 亓正坤;王廷明;丁洁玉;;二值命题逻辑中限制逻辑等价关系及其应用[J];东北师大学报(自然科学版);2012年02期

6 张小红;祝峰;;Rough逻辑系统RSL与模糊逻辑系统Luk[J];电子科技大学学报;2011年02期

7 卢延鑫;;谓词逻辑在关系数据库中的应用[J];电脑知识与技术(学术交流);2007年17期

8 王廷明;;二值命题逻辑中Г-的蕴涵距离和近似推理[J];德州学院学报;2008年06期

9 袁彦莉;张兴芳;;G_n命题逻辑系统中绝对真度的理论研究[J];德州学院学报;2009年04期

10 王廷明;;二值命题逻辑中有限理论的相对偏差及其应用[J];德州学院学报;2010年02期

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

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

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

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

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

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

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

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

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

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

5 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

6 赖洪亮;Ω-范畴序结构性质的研究[D];四川大学;2007年

7 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

8 吴茂念;基于分离的信念更新研究[D];贵州大学;2008年

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

10 刘学生;基于粗集的不确定多属性决策排序法的研究[D];大连理工大学;2009年

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

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

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

3 张保垒;表列演算探究[D];华东师范大学;2011年

4 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

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

6 李苏妮;加权Moore机的同余与格值Moore机的约化[D];陕西师范大学;2011年

7 王志明;WBR_0代数的研究[D];陕西师范大学;2011年

8 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年

9 张金凤;R_0代数的两类特殊元及其应用[D];陕西师范大学;2011年

10 刘杰;正则剩余格上的模糊理想基的研究[D];陕西师范大学;2011年

【二级参考文献】

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

1 王国俊,任燕;Lukasiewicz命题集的发散性与相容性[J];工程数学学报;2003年03期

2 任芳;L~*系统中由单个原子生成的公式的真值函数的特征[J];工程数学学报;2005年03期

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

4 左卫兵;李艺星;;非线性序集逻辑系统L_4~2中命题真度值在[0,1]上的分布[J];华北水利水电学院学报;2007年04期

5 左卫兵;;二值命题逻辑中公式的一种概率真度[J];华北水利水电学院学报;2007年05期

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

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

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

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

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

【相似文献】

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

1 王廷明;;二值命题逻辑中基于条件真度的近似推理[J];计算机工程与应用;2009年09期

2 郭秀敏;高荣荣;王国俊;;三值Lukasiewicz逻辑中命题的条件真度理论[J];黑龙江科技学院学报;2008年03期

3 秦克云，徐扬，宋振明;基于系统L(X)的几种近似推理[J];模糊系统与数学;1998年02期

4 张兴芳;孟广武;;一阶模糊谓词逻辑公式的解释模型真度理论及其应用[J];系统科学与数学;2008年05期

5 佟绍成;一类格值蕴涵算子上的近似推理[J];辽宁工学院学报(自然科学版);1994年04期

6 L.A.Zadeh;金雅芬;;近似推理的理论(Ⅲ)[J];计算机科学;1990年04期

7 孙兆豪,唐文彦,吕蓬;专家系统中的近似匹配和近似推理[J];河北大学学报(自然科学版);1993年02期

8 查新月;模糊仿真的近似推理与边值问题的数值解[J];数学理论与应用;2005年02期

9 刘富春;;归结与调解方法的有效性和完备性——基于扩充模糊逻辑[J];计算机工程与应用;2006年02期

10 刘富春;;再扩充模糊逻辑中归结方法的有效性[J];广东工业大学学报;2006年01期

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

1 徐扬;;基于格值命题逻辑L_(vpl)的近似推理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

2 程里春;;近似推理的几个定理[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

3 任平;喻东;黄颖强;;近似推理模式的行为科学研究[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

4 张永清;;准优模糊蕴涵与近似推理[A];数学及其应用文集——中南模糊数学和系统分会第三届年会论文集（上卷）[C];1995年

5 韩卫;姬琼;;贝叶斯网络的一种近似推理算法[A];2005中国控制与决策学术年会论文集（下）[C];2005年

6 李承家;戴冠中;;模糊控制系统稳定性研究的现状及新进展[A];1997中国控制与决策学术年会论文集[C];1997年

7 李永敏;朱善君;吉吟东;陈湘晖;;一种基于近似推理的数据挖掘算法[A];1998中国控制与决策学术年会论文集[C];1998年

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

9 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

10 孟广武;;格区间值Fuzzy集的分解定理[A];模糊数学和系统成果会论文集[C];1991年

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

1 孙燕;基于机器学习技术的《伤寒论》方证分析方法研究[D];北京中医药大学;2007年

2 白治江;基于遗传算法的模糊系统研究[D];华东师范大学;2006年

3 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

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

5 李敏;基于可变模糊集理论的径流预报方法研究[D];大连理工大学;2008年

6 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

7 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年

8 陈晓楠;农业干旱灾害风险管理理论与技术[D];西安理工大学;2008年

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

10 覃锋;模糊逻辑中若干问题的研究[D];四川大学;2004年

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

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

2 张乐;MTL-代数上的度量化研究[D];浙江理工大学;2012年

3 徐章艳;基于Vague集的近似推理[D];广西师范大学;2000年

4 郭明星;基于模糊推理的城市配电网供电能力评估[D];天津大学;2004年

5 胡大伟;动态贝叶斯网络的近似推理算法研究[D];合肥工业大学;2009年

6 杨峰;基于抽样的贝叶斯网络推理算法研究[D];合肥工业大学;2008年

7 田应忠;基于模糊集的模糊专家系统研究与应用[D];华中科技大学;2004年

8 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

9 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年

10 于鹏;F（S）中的近似推理与三I算法的连续性[D];陕西师范大学;2007年

，

本文编号：681281