命题逻辑系统中理论的发散度与近似推理的若干性质

发布时间：2018-08-08 20:05

【摘要】：基于演绎定理和完备性定理研究了二值命题逻辑系统、Lukasiewicz命题逻辑系统和R0-命题逻辑系统的理论的发散度与近似推理,获得了用Γ中公式的真度表示其发散度的计算公式和若干可用于近似推理的不等式。
[Abstract]:Based on deductive theorem and completeness theorem, the divergence degree and approximate reasoning of the theory of Lukasiewicz propositional logic system and R0-propositional logic system are studied. In this paper, a formula for calculating divergence of formulas in 螕 is obtained, and some inequalities for approximate reasoning are obtained.
【作者单位】： 泉州师范学院理工学院
【基金】：福建省自然科学基金资助项目(2006J0221)
【分类号】：O141.1

【参考文献】

相关期刊论文 前2条

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

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

【共引文献】

相关期刊论文 前10条

1 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期

2 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

3 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

4 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

5 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

6 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

7 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

8 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

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

10 马盈仓,李骏;FMP和FMT的三I解及其性质[J];纺织高校基础科学学报;2005年02期

相关会议论文 前7条

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

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

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

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

5 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

6 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

7 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

相关博士学位论文 前10条

1 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

2 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

3 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

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

5 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

6 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

7 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

8 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

9 沈晖;基于知识管理的企业集成支撑技术研究[D];清华大学;2003年

10 刘晓红;关于企业人力资源评价信息处理系统的研究[D];西南交通大学;2004年

相关硕士学位论文 前10条

1 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

2 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

3 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

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

5 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

6 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

7 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

8 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

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

10 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年

【二级参考文献】

相关期刊论文 前5条

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

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

3 王国俊;三I方法与区间值模糊推理[J];中国科学E辑;2000年04期

4 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

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

【相似文献】

相关期刊论文 前10条

1 奇棘;谈“社会主义现实主义”在美术创作中的一些问题[J];美术;1980年07期

2 张义渔,李飞;刘少奇同志对抗日民族统一战线理论的贡献[J];社会科学;1980年02期

3 金守庚;辩证唯物论的一条重要原理[J];哲学研究;1980年01期

4 谢洪欣;是区分两类不同的矛盾还是区分两种不同的逻辑?[J];哲学研究;1980年01期

5 凌立坤;逻辑证明与实践检验[J];南昌大学学报(人文社会科学版);1980年02期

6 王子硕;文学流派要用实践作检验[J];山西师大学报(社会科学版);1980年04期

7 张毕来;略说贾氏家塾中的师友之道——贾宝玉在科举问题上的思想局限性[J];文史哲;1980年05期

8 施蛰存;说“飞动”——读杜小记[J];文艺理论研究;1980年02期

9 柯木火;试论对立面的斗争性和同一性的关系[J];暨南学报(哲学社会科学版);1980年04期

10 劳;《美学词典》进行编写[J];辞书研究;1980年04期

相关会议论文 前10条

1 张浩;王根轩;刘志强;;生态城市思想、理论与建设技术[A];首届长三角科技论坛——生态环境与可持续发展分论坛论文集[C];2004年

2 杨卫民;程源;;子午线轮胎CAD/CAE与优化设计[A];2004年国际橡胶会议论文集(C)[C];2004年

3 黄自汉;;对创建学习型企业的思考[A];中国有色金属学会——第二届青年论坛学术会议论文集[C];2004年

4 何传启;;地区现代化的理论与战略[A];地区现代化理论与实践——第二期中国现代化研究论坛论文集[C];2004年

5 李进兴;雷军;崔美花;候向辉;;气测综合解释方法在塔里木盆地应用探讨[A];录井技术文集（第四辑）[C];2004年

6 王爱玲;;适合国情的数控技术及数控装备发展战略探讨[A];全国先进制造技术高层论坛暨制造业自动化、信息化技术研讨会论文集[C];2005年

7 张加林;曹晋芳;文翔;;大力发展循环经济——任重而道远[A];中国环境保护优秀论文集（2005）（上册）[C];2005年

8 王晓刚;;孤独研究的中国化[A];第十届全国心理学学术大会论文摘要集[C];2005年

9 贾洪波;;运用项目管理理论优化气象部门项目管理体系的初步研究[A];江西省气象部门第二届高级工程师技术述职报告会论文集[C];2005年

10 仇裕丰;李玉堂;哈团柱;;穴位的定位与主治之我见[A];中国针灸学会临床分会第三届全国代表大会暨全国针灸临床学术论坛论文集[C];2005年

相关博士学位论文 前10条

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

2 李爱萍;美国“国际教育”：历史、理论与政策[D];华东师范大学;2005年

3 吴振武;中西医学抗衰老领域之机理及治法对比研究[D];广州中医药大学;2005年

4 王建明;企业绿色会计理论与实践研究[D];南京农业大学;2005年

5 曹勇;小流量涡流管特性的理论与实验研究[D];浙江大学;2003年

6 贾庆军;改革开放以来中国货币政策理论与实践的演变[D];复旦大学;2005年

7 杨建勇;现代港口发展的理论与实践研究[D];上海海事大学;2005年

8 张黎黎;在永恒中结晶[D];苏州大学;2005年

9 王波;中国都市农业创新论[D];四川大学;2005年

10 景春华;城市经营的理论与实证研究[D];天津大学;2005年

相关硕士学位论文 前10条

1 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年

2 杨慧扬;冯健男文学批评研究[D];河北大学;2005年

3 刘涛;中国共产党三代领导集体政治诚信观探论[D];陕西师范大学;2005年

4 臧术美;欧洲一体化主流理论的论争、混合与超越[D];华东师范大学;2005年

5 邓满娥;企业战略管理会计研究[D];广东工业大学;2005年

6 刘卫东;中国行政监察现状分析与对策研究[D];华东师范大学;2005年

7 章炯凯;媒体素养教育的理论和实践[D];华东师范大学;2005年

8 陈丽;土地利用规划理论方法与实证研究[D];山西农业大学;2004年

9 黄懋;发展中国农产品行业协会的现实与理论探讨[D];浙江大学;2005年

10 郝永捚;增值税转型理论与实证研究[D];吉林大学;2005年

，

本文编号：2172905