命题公式的随机真度与推理规则

发布时间：2017-10-04 11:14

  本文关键词：命题公式的随机真度与推理规则

  更多相关文章： 命题逻辑 随机真度 推理规则

【摘要】：在n值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在n值Lukasiewicz命题逻辑系统中成立。
【作者单位】： 桂林航天工业学院理学部;
【关键词】： 命题逻辑 随机真度 推理规则
【基金】：广西壮族自治区教育厅科研项目(No.桂教科研[2011]14号)
【分类号】：O141.1
【正文快照】： 1引言如何将数值计算的思想融入到数理逻辑中来,使以符号化为特点的数理逻辑和以数值求解以及误差估计为特点的数值计算联系起来,从而扩大数理逻辑研究和应用范围,是国内外许多学者长期探讨的课题。早在20世纪50年代,Rosser和Turquette提出了用“指派真值”来反映逻辑公式和逻

【参考文献】

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

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

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

3 崔美华;;逻辑系统L_3中公式的随机真度及近似推理[J];高校应用数学学报A辑;2010年04期

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

5 惠小静;王国俊;;经典推理模式的随机化研究及其应用[J];中国科学(E辑:信息科学);2007年06期

6 惠小静;;三种近似推理模式的等价性[J];计算机工程与应用;2008年27期

7 惠小静;王国俊;;经典推理模式的随机化研究及其应用(Ⅱ)[J];模糊系统与数学;2008年03期

8 李修清;朱宁;;R_0型命题逻辑系统的随机化[J];模糊系统与数学;2013年01期

9 王国俊,王伟;逻辑度量空间[J];数学学报;2001年01期

10 惠小静;王国俊;;D-逻辑度量空间与近似推理[J];南京大学学报数学半年刊;2007年02期

【共引文献】

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

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

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

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

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

5 阚婷;张兴芳;马成芬;;带参数的L_p系统中的逻辑度量结构[J];燕山大学学报;2009年04期

6 秦晓燕;刘军;徐扬;陈树伟;刘熠;;Theory of Approximate Reasoning in Two-Valued Predicate Logic Based on the Quasi-truth Degrees[J];Journal of Donghua University(English Edition);2012年01期

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

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

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

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

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

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

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

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

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

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

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

1 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年

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

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

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

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

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

7 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

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

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

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

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

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

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

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

4 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三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 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

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

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

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

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

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

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

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

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

10 裴道武,王国俊;形式系统L~*的扩张L_n~*及其完备性[J];中国科学E辑:技术科学;2003年04期

【相似文献】

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

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

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

3 惠小静;;模糊逻辑系统中广义有效推理的真度递减定理[J];模糊系统与数学;2013年04期

4 辛晓晖;陈述的真理类型论[J];自然辩证法研究;1990年04期

5 吴凤干;;直觉模糊命题逻辑公式的真度[J];金陵科技学院学报;2006年04期

6 李骏;孟新友;李建生;;三值标准序列逻辑中的α-真度理论[J];兰州理工大学学报;2007年01期

7 于西昌;王大全;张兴芳;;四个命题模糊逻辑系统中公式真度的大小之比较[J];聊城大学学报(自然科学版);2007年01期

8 隋云云;;几个三值命题逻辑系统中命题的条件真度[J];潍坊学院学报;2009年04期

9 高香妮;王国俊;;二值逻辑的D-条件真度理论[J];云南师范大学学报(自然科学版);2009年06期

10 惠小静;常健;;关于随机真度的若干注记[J];模糊系统与数学;2009年06期

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

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

中国重要报纸全文数据库 前1条

1 本报评论员;标准要高 要求要严[N];邢台日报;2014年

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

1 高健;飞行模拟器动感模拟系统逼真度研究[D];哈尔滨工业大学;2013年

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

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

2 崔艳林;逼真度与仿真效用及仿真代价的关系研究[D];北京邮电大学;2014年

3 杨蓉;逼真度视角下的仿真效用与仿真代价的均衡研究[D];北京邮电大学;2014年

4 陈静;基于逼真度的建模与仿真过程管理方法及应用[D];北京邮电大学;2015年

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

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

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

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

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

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

，

本文编号：970335