二值命题逻辑中基于前提信息的近似推理理论

发布时间：2018-07-04 23:58

  本文选题：二值命题逻辑 + 真度　； 参考：《模糊系统与数学》2009年02期

【摘要】：以真度为基础,给出二值命题逻辑系统中基于前提信息的相似度和伪距离的概念以及伪距离的真度表示式,对二值命题逻辑中具有前提信息的近似推理问题进行讨论。
[Abstract]:On the basis of truth degree, the concepts of similarity and pseudo-distance based on premise information in binary propositional logic system and the representation of pseudo-distance are given, and the approximate reasoning problem with premise information in binary propositional logic is discussed.
【作者单位】： 青岛大学师范学院数学系;
【分类号】：O141.1

【参考文献】

相关期刊论文 前5条

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

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

3 于鹏;王国俊;;根与F(S)中的近似推理[J];自然科学进展;2006年08期

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

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

【共引文献】

相关期刊论文 前10条

1 张红杰;吴洪博;;L_n命题演算中的一种新程度化方法[J];纺织高校基础科学学报;2007年03期

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

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

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

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

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

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

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

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

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

相关会议论文 前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 王国俊,任燕;Lukasiewicz命题集的发散性与相容性[J];工程数学学报;2003年03期

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

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

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

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

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

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期

【相似文献】

相关期刊论文 前10条

1 齐先义;;一种新的聚类分析方法及隶属函数的排序[J];海军工程大学学报;1984年03期

2 齐先义;;近似推理[J];海军工程大学学报;1984年02期

3 齐先义;;模糊统计推理[J];海军工程大学学报;1985年04期

4 瞿文吉,张鸿姿,蓝祖云,俞洁,张人骧,王晋莲,张葵,张亮;生物铰的研究[J];科学通报;1989年20期

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

6 陆天虹,王静龙;带有额外参数连接函数的广义线性模型[J];数学的实践与认识;1993年01期

7 汤连生,高云福;地下水系统整体拟合的构思及其建模的操作性分析[J];水文地质工程地质;1993年01期

8 胡汉平，李德华;模糊缺省推理的理论和方法研究[J];华中理工大学学报;1994年05期

9 孟子厚，，赵松龄，倪乃琛，王佐民;时频分析的模糊性及应用[J];同济大学学报(自然科学版);1994年02期

10 李俊亭，王文科;西北地区五城市大型水源地地下水流模型若干问题研究[J];西安工程学院学报;1994年02期

相关会议论文 前6条

1 邱小杉;何宁;董峰;魏长华;;基于模糊推理的法医人体骨骼个人识别专家系统:RLXES[A];1998年中国智能自动化学术会议论文集（上册）[C];1998年

2 李茂青;;MIS与DSS中的广义模糊检索及其实现[A];1993中国控制与决策学术年会论文集[C];1993年

3 黄益广;刘正林;;证据分析在企业诊断中的应用[A];2001年中国管理科学学术会议论文集[C];2001年

4 刘志洪;顾宁;;制造业设计知识的模糊分类[A];全国第13届计算机辅助设计与图形学（CAD/CG）学术会议论文集[C];2004年

5 张坚毅;李小奇;张会峰;单树森;;飞行模拟器效费分析研究[A];第五届全国仿真器学术会论文集[C];2004年

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

相关重要报纸文章 前10条

1 江西 史济永;光纤、同轴传输浅谈[N];电子报;2000年

2 Tom Nousaine 著 徐学楷译;五部“地震式”超低音[N];信息时报;2000年

3 $$点评嘉宾 首都经贸大学经济研究所教授 $$吴少平 北大经济系教授 钟伟 $$本版采写 刘凌林;利润水分怎么挤？[N];中国企业报;2001年

4 中新;国产葡萄酒企业亮出质量牌[N];中国消费者报;2001年

5 辽宁 周黄果;怎样改变复读机的音质[N];电子报;2003年

6 湖南 欧阳明星;简单靓声功放[N];电子报;2003年

7 石小宏;信息化叫板传统教学[N];四川日报;2003年

8 刘信义 赵捷;倾力打造营销网络[N];中国建材报;2004年

9 四川 胡杉;湖山SM23100型校园智能广播系统介绍（一）[N];电子报;2004年

10 鲁优;IT认证八大注意事项[N];江苏经济报;2004年

相关博士学位论文 前1条

1 王谷亮;DNA聚合酶β在烷化剂MNNG引起的非定标性突变中的作用[D];浙江大学;2002年

相关硕士学位论文 前7条

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

2 邓志宇;中凸变椭圆活塞车削控制系统研究[D];广东工业大学;2004年

3 于海涛;虚拟样机图形视与总线模拟实现[D];西北工业大学;2004年

4 李军;数据挖掘方法及其在上市公司中的应用研究[D];湖南大学;2004年

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

6 朱凤芝;基于紫外荧光信号的人民币真伪鉴别装置的研究[D];天津大学;2004年

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

本文编号：2098027