一种非均匀概率空间下二值命题逻辑中命题的真度理论

发布时间：2018-04-30 03:19

  本文选题：命题逻辑 + 真度　； 参考：《河北师范大学学报(自然科学版)》2008年01期

【摘要】：将经典二值命题逻辑中公式的真度概念推广到势为2的非均匀概率空间上,定义了二值逻辑p-测度和其上的命题的真度;在p=1/3的情形下证明了全体公式的真度之集在[0,1]中是稠密的,并给出了公式真度的表达通式;利用真度定义公式间的相似度,进而导出全体公式集上的一种伪距离,为近似推理理论提供一种可能的框架.
[Abstract]:In the case of p = 1 / 3 , it is proved that the set of the truth of the whole formula is dense and the expression formula of the formula is given . The similarity between the formulas is defined by the truth degree , then a pseudo - distance on the whole formula set is derived , and a possible framework is provided for the approximate reasoning theory .

【作者单位】： 华北水利水电学院数学与信息科学学院
【基金】：河南省自然科学基金(0611052600) 华北水利水电学院青年科研基金(HSQJ2005002)
【分类号】：O141.1

【参考文献】

相关期刊论文 前2条

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

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

【共引文献】

相关期刊论文 前4条

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

2 傅丽;宋建社;;经典命题逻辑的Boole语义理论[J];模糊系统与数学;2007年02期

3 李骏;王国俊;;G銉del n值命题逻辑中命题的α-真度理论[J];软件学报;2007年01期

4 张小红;;基于左连续伪T-模的非可换模糊逻辑系统PUL~*[J];数学进展;2007年03期

相关博士学位论文 前1条

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

相关硕士学位论文 前3条

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

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

3 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年

【二级参考文献】

相关期刊论文 前1条

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

【相似文献】

相关期刊论文 前10条

1 李骏;邓富喜;;n值S-MTL命题逻辑系统中公式真度的统一理论[J];电子学报;2011年08期

2 丁春晓;张兴芳;;模糊逻辑系统公理真度分析[J];模糊系统与数学;2011年03期

3 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期

4 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期

5 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期

6 樊明亚,朱小阳;师专逻辑教材改革研究[J];中国大学教学;1999年06期

7 程仲棠;;关于“蕴涵怪论”及其反例[J];学术研究;2011年08期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前10条

1 张清宇;;古典命题逻辑的证伪系统[A];1996年逻辑研究专辑[C];1996年

2 刘社军;;命题逻辑之判定层次及其判定方法[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

3 夏梦;;逻辑真理的特点[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

4 李娜;;我讲《数理逻辑》课程的方法[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

5 任燕;王洪丽;鲁忠良;;模糊逻辑的紧致性与模糊理论相容度[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

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

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

8 刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年

9 熊明;;古典命题演算的直觉主义语义分析[A];2000年逻辑研究专辑[C];2000年

10 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

相关重要报纸文章 前3条

1 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年

2 陈波;逻辑学与理性精神[N];光明日报;2003年

3 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年

相关博士学位论文 前7条

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

2 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

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

4 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年

5 田忠锋;形式逻辑前提批判[D];吉林大学;2008年

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

7 张继华;科学探究推理研究[D];西南大学;2012年

相关硕士学位论文 前10条

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

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

3 崔艳丽;R_0代数的简化以及相对真度的相关性质研究[D];陕西师范大学;2010年

4 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

5 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

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

7 王永安;二值命题逻辑公式在等价意义下的一般表示及其应用[D];陕西师范大学;2008年

8 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年

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

10 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年

，

本文编号：1822843