一种S-蕴涵模糊逻辑系统的真度理论

发布时间：2017-08-28 03:17

  本文关键词：一种S-蕴涵模糊逻辑系统的真度理论

  更多相关文章： 积分真度 推理规则 S-蕴涵

【摘要】：利用计量逻辑学中真度理论的思想,首次对S-蕴涵的模糊逻辑系统的真度理论进行研究.在模糊逻辑与语义解释为乘积算子,蕴涵解释为其相应S-蕴涵的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,建立一种S-模糊逻辑系统下的真度理论,得到其真度推理规则.
【作者单位】： 西安工程大学理学院;准格尔旗实验小学;
【关键词】： 积分真度 推理规则 S-蕴涵
【基金】：国家自然科学基金(60775038) 陕西省教育厅专项科研计划项目(2010JK567)
【分类号】：O141.1
【正文快照】： 0引言基于模糊集思想的近似推理理论是Zadeh在文献[1]中首次提出的,它不同于人工智能领域所倡导的方法.人工智能学科强调符号操作,它扎根于逻辑之中,以语构的形式展开自动推理而根本不看重数值计算,但基于模糊集的方法自然是离不开数值计算的.Zadeh的方法在于将二者相结合[2].

【参考文献】

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

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

2 王国俊,钱桂生,党创寅;命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论[J];中国科学E辑:信息科学;2004年10期

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

4 ;Theory of truth degrees of propositions in the logic system L_n~*[J];Science in China(Series F:Information Sciences);2006年04期

5 左卫兵;;n值命题逻辑中的P-随机真度及近似推理[J];计算机工程与应用;2009年07期

6 韩邦合;王国俊;;二值逻辑中命题的条件真度理论[J];模糊系统与数学;2007年04期

7 惠小静;刘兴祥;;三值G銉del命题逻辑系统的随机化[J];模糊系统与数学;2009年04期

8 王国俊;时慧娴;;n值逻辑系统L_n~*中广义重言式的计量化研究[J];陕西师范大学学报(自然科学版);2009年02期

9 王国俊;高香妮;;命题逻辑系统中理论的真度概念及其应用[J];陕西师范大学学报(自然科学版);2009年05期

10 马丽娜;王国俊;;广义MP问题的α-三Ⅰ解的形式化理论[J];陕西师范大学学报(自然科学版);2011年02期

【共引文献】

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

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

2 刘宏岚;高庆狮;杨炳儒;;多值逻辑中的命题相关性与逻辑运算研究[J];北京科技大学学报;2007年S2期

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

4 刘东利,茹永梅;经典二值逻辑系统L中的MT问题[J];宝鸡文理学院学报(自然科学版);2005年04期

5 杜亚灵;尹贻林;;基于模糊逻辑的公共项目风险分配模型[J];北京理工大学学报(社会科学版);2008年03期

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

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

8 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

9 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期

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

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

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年

8 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年

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

10 ;The Randomization of R0-logic With Six-valued Nonlinear Valuation Set[A];Proceedings of 2010 International Conference on Broadcast Technology and Multimedia Communication(Volume 5)[C];2010年

中国博士学位论文全文数据库 前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];浙江理工大学;2010年

2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年

3 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年

4 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年

5 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年

6 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年

7 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

8 刘汇洋;若干广义t-模及相关模糊逻辑系统[D];宁波大学;2010年

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

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

【二级参考文献】

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

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

2 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期

3 李骏;王国俊;;基于支持度理论的广义MP问题的形式化解[J];电子学报;2008年11期

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

5 王国俊;刘保翠;;四种命题逻辑中公式的相对Γ-重言度理论[J];工程数学学报;2007年04期

6 左卫兵;;一种非均匀概率空间下二值命题逻辑中命题的真度理论[J];河北师范大学学报(自然科学版);2008年01期

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

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

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

10 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑:技术科学;2002年02期

【相似文献】

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

1 左卫兵;张嘎;;一种五元格值逻辑上命题真度的分布[J];计算机工程与应用;2011年22期

2 关晓红;张海霞;;逻辑系统L*中公式的Γ-演绎真度理论[J];计算机工程与应用;2011年18期

3 陈伟;廖洲宝;何海志;刘俊邦;;模糊逻辑推理系统在目标毁伤分析中的应用[J];电光与控制;2008年11期

4 曹宏举;;命题逻辑的推理的构造法的改进[J];中国城市经济;2010年12期

5 纪岳;姚卿达;董祖明;;函数依赖结构与演绎图[J];中山大学学报(自然科学版);1990年03期

6 康密军;李云情;宋长虹;魏志强;;基于语义规则的普适计算隐私控制方法研究[J];中国海洋大学学报(自然科学版);2009年03期

7 曹建树;天气预报的模糊推理[J];山东气象;1989年04期

8 莫志浩;中介命题扩张系统MP推理规则集的简化[J];南京航空航天大学学报;2001年02期

9 裴道武;模糊逻辑中的自然演绎系统[J];工程数学学报;2002年03期

10 曾文飞;颜玲;;一个基于谓词逻辑的金融投资辅助决策系统[J];邵阳学院学报(自然科学版);2006年01期

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

1 方毅;;牛顿的哲学推理规则之思考[A];第二届中国科技哲学及交叉学科研究生论坛论文集（博士卷）[C];2008年

2 李喜初;;试论《易经》符号系统的推理规则[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

3 高欣;;基于条件不确定性的不确定推理研究[A];第三届中国智能计算大会论文集[C];2009年

4 姚旭晨;马建强;;几个汉语典型语言现象的范畴语法分析[A];中国计算机语言学研究前沿进展（2007-2009）[C];2009年

5 彭展;;一阶谓词系统的独立性[A];2004年逻辑研究专辑[C];2004年

6 赵岚;胡九川;;基于数据表的模糊推理规则生成法[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

7 赵新生;高善清;邢立新;许梅生;;炮兵军用文书智能处理的主要模型及推理规则[A];计算机模拟与信息技术会议论文集[C];2001年

8 石翌轶;;基于前向链策略的RDF闭包生成技术研究[A];2008'中国信息技术与应用学术论坛论文集（一）[C];2008年

9 郭戈;王伟;柴天佑;;一种模糊方法在结晶器液位控制中的应用[A];1997中国控制与决策学术年会论文集[C];1997年

10 张锦文;;推理与计算[A];逻辑学文集[C];1978年

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

1 丁柱杉;禄丰庙山小学尝试开设儿童哲学课[N];楚雄日报(汉);2007年

2 文/高君;网站流量缘何飚升？[N];计算机世界;2004年

3 刘达;GOOGLE百度联姻中国搜索坚持“智能化”革命[N];中国经营报;2004年

4 黄中;自控科技走向全面智能化[N];中国知识产权报;2001年

5 郭韦钰 丁连红;语义Web和语义网格[N];中国计算机报;2004年

6 朱林源;判决书“本院认为”部分的写作探讨[N];江苏经济报;2000年

7 马振兵;加强党员违纪案件审理报告的说理性[N];镇江日报;2008年

8 李建会;人工智能：挑战人类智慧的科学[N];科技日报;2000年

9 丁丽芳;女性管理者在企业中的作用[N];发展导报;2003年

10 李树琦;逻辑推理与科学精神[N];中国社会科学报;2011年

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

1 张忠平;基于约束的XML数据库模式规范化研究[D];复旦大学;2004年

2 谈子敬;XML的完整性约束[D];复旦大学;2003年

3 毛明毅;面向对象的广义空间逻辑运算模型与推理研究[D];西北工业大学;2006年

4 项森;基于逻辑的程序验证方法在高可信软件开发上的应用[D];中国科学技术大学;2006年

5 华保健;一种用于指针程序安全性证明的指针逻辑[D];中国科学技术大学;2008年

6 李兆鹏;汇编指针程序安全性验证的研究[D];中国科学技术大学;2008年

7 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年

8 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年

9 王治纲;分布式环境中基于本体的RBAC策略研究[D];华中科技大学;2006年

10 王振明;用于指针逻辑的自动定理证明器的设计与实现[D];中国科学技术大学;2009年

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

1 左丽娟;基于多Agent技术的电子商务模拟系统的研究与实现[D];河海大学;2002年

2 孙丽娜;言语交际中的语用推理述评[D];燕山大学;2009年

3 苏召;XML弱函数依赖与单依赖集合的研究[D];燕山大学;2007年

4 李明洋;基于本体的教育资源知识点推理研究[D];重庆大学;2009年

5 林晖;专利信息检索实验系统的研究与实现[D];北京邮电大学;2009年

6 荣凌燕;XML多值依赖问题的研究[D];燕山大学;2006年

7 陈莉;基于领域本体的智能搜索系统的研究和应用[D];南京航空航天大学;2008年

8 王其冰;本体查询和推理规则在学科概念建模中的应用[D];华东师范大学;2009年

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

10 王梅娟;XML数据的规范化存储[D];南京师范大学;2007年

，

本文编号：747126