系统L在非均匀概率空间下命题的真度理论

发布时间：2017-08-04 05:24

  本文关键词：系统L在非均匀概率空间下命题的真度理论

  更多相关文章： 测度 p-真度 p-相似度 p-逻辑度量空间 近似推理

【摘要】：将经典二值命题逻辑L中公式的真度概念推广到势为2的非均匀概率空间上;当p?(0啜1)时,证明了全体公式的真度值之集在[0,1]中没有孤立点;利用真度定义公式间的p-相似度和伪距离,进而定义了p-逻辑度量空间,证明了该空间没有孤立点,并在此空间中提出了三种不同类型的近似推理模式。
【作者单位】： 西安财经学院统计学院;
【关键词】： 测度 p-真度 p-相似度 p-逻辑度量空间 近似推理
【基金】：陕西省教育厅自然科学研究计划项目(No.09JK439)
【分类号】：O141.1
【正文快照】： 1引言逻辑理自论从?以uk来as,i关ew于icz多值和P命os题t逻分辑别的于研20究世得纪到2了0迅年猛代的提发出展[多1-3]值,在理论和应用方面都取得令人瞩目的成果。数理逻辑的特点在于符号化和形式化,而不注重数值计算。但由于人脑的思维模式与推理方法带有不确定性,导致推理不是

【参考文献】

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

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

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

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

【共引文献】

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

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

2 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期

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

4 李骏,黎锁平,兰倩;一类n值命题逻辑系统中改进的相似度及伪距离[J];甘肃工业大学学报;2003年02期

5 李骏,兰倩,夏亚峰;标准序列逻辑系统S_3中命题的真度值之集在[0,1]上的分布[J];甘肃工业大学学报;2003年04期

6 颉永建;广义R_0-代数中的滤子[J];汉中师范学院学报;2004年06期

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

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

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

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

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

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

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

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

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

1 周湘南;理论的相容度及效应代数的滤子与商[D];陕西师范大学;2005年

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

3 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

4 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

5 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

6 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

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

8 李璧镜;Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间[D];陕西师范大学;2006年

9 曹汝鸣;不完全信息数据库的理论研究[D];南京航空航天大学;2006年

10 关晓红;多值逻辑系统H_α与偏蕴涵代数[D];陕西师范大学;2007年

【二级参考文献】

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

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

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

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

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

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

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

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

8 李骏,兰倩,黎锁平;Lukasiewicz三值命题逻辑中命题的真度理论[J];模糊系统与数学;2004年04期

9 王伟,王国俊;论G銉del蕴涵算子不宜用于建立模糊逻辑系统[J];模糊系统与数学;2005年02期

10 王国俊;广义MP规则[J];陕西师范大学学报(自然科学版);2000年03期

【相似文献】

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

1 向绪言;建立完备测度空间的4种方法及其等价性[J];常德师范学院学报(自然科学版);2002年01期

2 饶维亚;一类退化椭圆型方程解的存在唯一性[J];长春大学学报;2003年02期

3 任立顺;凸函数几个概念的等价性[J];周口师范学院学报;1996年01期

4 许兆龙;实数集上一类集函数延拓成环上测度的事实[J];抚州师专学报;1997年03期

5 于朝霞,孙红卫;模糊函数的积分极限定理(Ⅱ)[J];山东建材学院学报;1999年04期

6 李贵俊;贝特朗(Bertrard)奇论的探讨[J];丹东纺专学报;2001年04期

7 吴嘎日迪;L_M~*尺度下一类周期卷积算子的逼近[J];内蒙古师范大学学报(自然科学汉文版);2002年02期

8 陈希;用模糊积分和层次分析法对新产品作市场预测[J];福建商业高等专科学校学报;2003年01期

9 王晟;n维欧氏空间中单位球面面积的另一求法[J];桂林航天工业高等专科学校学报;1997年Z2期

10 宋伟,王玉丰;单调函数的连续性[J];吉林化工学院学报;2001年03期

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

1 王兴元;邱华君;;名牌对地区经济贡献度测算模型研究[A];2001年中国管理科学学术会议论文集[C];2001年

2 王雪荣;许平;;上市公司控制权私人收益测度与影响因素研究[A];第三届（2008）中国管理学年会论文集[C];2008年

3 刘业进;;专业化分工和交易成本——对中国交易成本的经验估计:1978-2004[A];中国制度经济学年会论文集[C];2006年

4 梁学军;;二型随机集与隶属程度分析[A];数学及其应用文集——中南模糊数学和系统分会第三届年会论文集（上卷）[C];1995年

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

1 王全来;对E.Borel在函数论的几个工作研究[D];西北大学;2006年

2 杨伟;股票信息风险测度研究[D];厦门大学;2009年

3 刘井建;企业高新技术创新项目R&D绩效测度与评价研究[D];哈尔滨工程大学;2008年

4 黄万阳;人民币实际汇率错位测度、效应与矫正研究[D];东北财经大学;2005年

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

1 顾岩;股市泡沫的成因与实证研究[D];东北师范大学;2008年

2 李会平;解析函数及若干相关问题[D];广西民族大学;2009年

3 高义新;基于动态DEA的企业技术创新绩效测度与评价研究[D];南京航空航天大学;2008年

4 聂燕玲;农村劳动力转移程度的测度与评价[D];西南大学;2007年

5 潘琼;p-adic域上的非线性丢番图逼近[D];西北大学;2006年

6 吴亚桃;企业技术创新测度方法及实证研究[D];西南石油大学;2006年

7 孟晓玲;几类系统的几乎全局稳定性[D];郑州大学;2010年

8 谈革新;复杂网络拓扑层抗毁性测度研究[D];南京理工大学;2011年

9 杜玉坤;测度维数的局部化与函数图象盒维数的若干研究[D];华中科技大学;2010年

10 黄铃;非标准分析理论及其在分形中的部分应用[D];海南大学;2012年

，

本文编号：617925