■ukasiewicz n值命题逻辑中公式的α-随机真度理论

发布时间：2017-08-18 19:07

  本文关键词：■ukasiewicz n值命题逻辑中公式的α-随机真度理论

  更多相关文章： n值命题逻辑 α-随机真度 α-Dn相似度 α-Dn伪距离

【摘要】：给出■ukasiewicz n值命题逻辑中公式的α-随机真度的概念和性质,利用α-随机真度定义了公式间的α-Dn相似度,进而导出全体公式集上的一种伪距离。
【作者单位】： 聊城大学数学科学学院;
【关键词】： n值命题逻辑 α-随机真度 α-Dn相似度 α-Dn伪距离
【基金】：教育部科学技术研究重点项目(206089)
【分类号】：O141.1
【正文快照】： 1预备知识数理逻辑的特点在于符号化和形式化,其精确的形式化的推理方法是人工智能学科及相关研究中普遍采用的方法,而数值计算则似乎是远离形式推理的完全不同的方法。但由于人脑的思维模式与推理方法带有不确定性,导致推理是不精确的,因此将二者融合的研究近年来受到了广泛

【参考文献】

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

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

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

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

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

【共引文献】

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

1 张红杰;吴洪博;;L_n命题演算中的一种新程度化方法[J];纺织高校基础科学学报;2007年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 王国俊,李璧镜;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年

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

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

2 赖洪亮;Ω-范畴序结构性质的研究[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];工程数学学报;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 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑;2002年02期

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

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

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

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

，

本文编号：696242