二值命题逻辑中有限理论带误差结论集的结构

发布时间：2017-10-26 19:23

  本文关键词：二值命题逻辑中有限理论带误差结论集的结构

  更多相关文章： 二值命题逻辑 有限理论 极小项 真度 逻辑等价

【摘要】：二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象,对其结构进行分析是近似推理研究中需要解决的问题。通过公式是有限理论Г的带误差结论的充要条件,利用集合划分方法,对有限理论Г的带误差结论集分别基于真度相等关系和逻辑等价关系进行分类,得到了基于两类等价关系的包含等价类个数和代表元表示形式的分类定理,进一步体现了二值命题逻辑系统近似推理研究中理论Г的带误差结论集的特征。
【作者单位】： 青岛大学师范学院;
【关键词】： 二值命题逻辑 有限理论 极小项 真度 逻辑等价
【分类号】：O141.1
【正文快照】： 1引言真度是命题公式真确度的数值表征,也是多种逻辑系统程度化研究中的一个基本概念。在二值命题逻辑系统中,文献[1]、[2]、[3]、[4]提出了以数值计算为主要特征的命题公式的真度和伪距离概念,建立了逻辑度量空间(F(S),ρ),为二值命题逻辑系统的程度化研究和近似推理理论构

【参考文献】

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

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

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

3 惠小静;;三种近似推理模式的等价性[J];计算机工程与应用;2008年27期

4 王廷明;;关于主范式中极小项和极大项的下标算法[J];青岛理工大学学报;2006年02期

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

6 王国俊,王伟;逻辑度量空间[J];数学学报;2001年01期

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

【共引文献】

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

1 刘保翠;王国俊;;命题集F(S)基于相似关系定义的拓扑[J];安康学院学报;2007年03期

2 龚加安;吴洪博;;BR_0代数的模糊滤子与模糊素滤子[J];安康学院学报;2009年06期

3 段景瑶;王国俊;;Boole代数的等价刻画[J];宝鸡文理学院学报(自然科学版);2007年03期

4 王廷明;;二值命题逻辑中的蕴涵度量与近似推理[J];重庆师范大学学报(自然科学版);2009年03期

5 阚婷;张兴芳;马成芬;;带参数的L_p系统中的逻辑度量结构[J];燕山大学学报;2009年04期

6 张小红;祝峰;;Rough逻辑系统RSL与模糊逻辑系统Luk[J];电子科技大学学报;2011年02期

7 卢延鑫;;谓词逻辑在关系数据库中的应用[J];电脑知识与技术(学术交流);2007年17期

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

9 袁彦莉;张兴芳;;G_n命题逻辑系统中绝对真度的理论研究[J];德州学院学报;2009年04期

10 王廷明;;二值命题逻辑中有限理论的相对偏差及其应用[J];德州学院学报;2010年02期

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

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

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

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

4 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

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

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

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

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

4 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

5 吴茂念;基于分离的信念更新研究[D];贵州大学;2008年

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

7 刘学生;基于粗集的不确定多属性决策排序法的研究[D];大连理工大学;2009年

8 潘小东;关于格值逻辑及其语言真值不确定性推理研究[D];西南交通大学;2010年

9 路强;面向功能的可视化创新概念设计方法研究[D];合肥工业大学;2010年

10 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年

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

1 许筱婷;基于本体论的知识表达[D];湘潭大学;2010年

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

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

【二级参考文献】

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

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

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 裴道武,王国俊;形式系统L~*的扩张L_n~*及其完备性[J];中国科学E辑:技术科学;2003年04期

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

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

10 王廷明;;关于主范式中极小项和极大项的下标算法[J];青岛理工大学学报;2006年02期

【相似文献】

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

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

2 王廷明;王爱青;;二值命题逻辑中的伪距离不等式与近似推理[J];青岛理工大学学报;2009年03期

3 王廷明;;二值命题逻辑中有限理论的相对偏差及其应用[J];德州学院学报;2010年02期

4 王廷明;;二值命题逻辑中逻辑方程τ(A→X)=m/2~n解集的结构[J];模糊系统与数学;2011年01期

5 李骏;夏亚峰;兰倩;;n值标准序列逻辑系统中的近似推理理论[J];兰州理工大学学报;2006年02期

6 王廷明;;二值命题逻辑中Γ限制蕴涵度量与近似推理[J];计算机工程与应用;2010年35期

7 隋云云;;逻辑系统L_4~2中公式的相似度[J];潍坊学院学报;2011年04期

8 王廷明;严文海;;二值命题逻辑中基于前提信息的近似推理理论[J];模糊系统与数学;2009年02期

9 王廷明;;二值命题逻辑中基于条件真度的近似推理[J];计算机工程与应用;2009年09期

10 王爱青;王廷明;;二值命题逻辑中有限理论数值特征的真度研究[J];大学数学;2009年05期

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

1 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年

2 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年

3 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

4 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年

5 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年

6 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年

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

8 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

9 陈永义;;NF逻辑系统[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

10 陈勇明;谢海英;;逻辑代数的集合图方法的注记[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

中国重要报纸全文数据库 前10条

1 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年

2 重庆市彭水县郁山中学 钟年映;教学并非都得循序渐进[N];中国教育报;2009年

3 王苏伊 王立嘉;想在北京买假名牌难了[N];市场报;2005年

4 陈波;逻辑学的2005年[N];光明日报;2006年

5 张慧英;企业家本身是一种生活方式[N];中国工业报;2003年

6 李健 段晓燕;彼得·德鲁克：计算机是个“低能儿”[N];社会科学报;2002年

7 造造 编写;鲁班软件实战练兵场（25）[N];建筑时报;2007年

8 小马;走近LCD[N];中国电脑教育报;2002年

9 金娜;皮装选购有诀窍[N];大众科技报;2000年

10 中国科学院计算技术研究所 常亮邋史忠植;语义Web的逻辑基础[N];计算机世界;2007年

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

1 冯彦波;合并逻辑方法研究[D];南开大学;2010年

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

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

4 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

5 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年

6 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年

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

8 李晓冰;基于语言真值格值逻辑的归结自动推理研究[D];西南交通大学;2008年

9 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年

10 黄志强;佛教逻辑比较研究[D];中国人民大学;2002年

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

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

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

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

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

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

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

7 张琼;BL_△~*形式系统与NM（?）形式系统的研究[D];陕西师范大学;2010年

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

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

10 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年

，

本文编号：1100099