二值命题逻辑中基于前提信息的随机真度

发布时间：2018-04-23 22:28

  本文选题：二值命题逻辑 + D-随机真度　； 参考：《兰州理工大学学报》2009年03期

【摘要】：由相似度确定的伪距离是多种命题逻辑系统近似推理研究中的一个基本逻辑度量.以D-随机真度为基础,在二值命题逻辑中引入Γ-随机真度以及Γ-随机相似度和Γ-随机伪距离概念,得到Γ-随机伪距离的D-随机真度表示式,将以真度、D-随机真度为基础定义的相似度和伪距离进行统一,为研究基于前提信息的随机化近似推理问题提供数值化依据.
[Abstract]:The pseudo distance determined by similarity is a basic logic measure in the research of approximate reasoning of multiple propositional logic systems. On the basis of D- random truth degree, the concepts of 螕-random truth degree, 螕-random similarity degree and 螕-random pseudo distance are introduced in binary propositional logic, and the D- random truth degree expression of 螕-random pseudo distance is obtained. The similarity and pseudo distance defined on the basis of truth degree D- random truth degree are unified, which provides a numerical basis for the study of stochastic approximate reasoning problem based on premise information.
【作者单位】： 青岛大学师范学院;
【分类号】：O141.1

【参考文献】

相关期刊论文 前3条

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

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

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

【共引文献】

相关期刊论文 前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 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学A辑;2001年11期

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

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

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

10 张兴芳;孟广武;;一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用[J];计算机科学;2005年10期

相关会议论文 前4条

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

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

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

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

相关博士学位论文 前3条

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

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

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

相关硕士学位论文 前10条

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

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

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

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

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

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

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

8 茹永梅;经典逻辑系统（？）中的MT问题及公式的真度理论[D];陕西师范大学;2006年

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

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

【二级参考文献】

相关期刊论文 前10条

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

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

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

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

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

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

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

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

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

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

【相似文献】

相关期刊论文 前10条

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

2 张东晓;李立峰;;二值命题逻辑公式的语构程度化方法[J];电子学报;2008年02期

3 王永安;王国俊;杨合俊;;二值命题逻辑中命题真度相同与逻辑等价的关系[J];西安文理学院学报(自然科学版);2008年01期

4 刘保翠;王国俊;;二值命题逻辑中的三种Γ近似推理模式及其等价性[J];模糊系统与数学;2008年02期

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

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

7 王廷明;王爱青;;二值命题逻辑中伪距离的真度表示及其应用[J];青岛理工大学学报;2008年03期

8 王廷明;王爱青;;二值命题逻辑中基于前提信息的Г-真度理论[J];青岛理工大学学报;2008年04期

9 王延明;;二值命题逻辑中基于信息限制的真度理论[J];福建师大福清分校学报;2008年05期

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

，

本文编号：1793936