命题逻辑系统R0L3n+1中公式的Γ-真度及性质

来源 :计算机学报 | 被引量 : 0次 | 上传用户：zzhmx750

【摘要】

：

计量逻辑理论是王国俊教授于21世纪初期建立的一种新型逻辑理论,真度理论在计量逻辑理论中发挥着关键的作用.该文将真度概念加以推广,在(3n+1)-值模糊命题逻辑系统R0L中引入

【作者】

：

吴洪博周建仁

【机构】

：

陕西师范大学数学与信息科学学院

【出处】

：

计算机学报

【发表日期】

：

2015年08期

【关键词】

：

模糊逻辑计量逻辑命题逻辑系统R0L Γ-真度连接词 MP规则 HS规则

【基金项目】

：

国家自然科学基金项目(11171196);中央高校基本科研业务费专项资金项目(GK201501001)资助~~

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

计量逻辑理论是王国俊教授于21世纪初期建立的一种新型逻辑理论,真度理论在计量逻辑理论中发挥着关键的作用.该文将真度概念加以推广,在(3n+1)-值模糊命题逻辑系统R0L中引入了公式相对于含有限个命题变元的理论的Γ-真度;讨论了与析取连接词、合取连接词、蕴含连接词、否定连接词等基本逻辑连接词相关的Γ-真度性质;讨论了与分离规则MP,三段论规则HS等推理规则相关的Γ-真度性质.该文的工作为将计量逻辑的思想融入(3n+1)-值模糊命题逻辑系统R0L并建立基于给定理论的近似推理基本框架和相关的逻辑度量空间奠定了基础.

其他文献

基于RFID技术的烟草零售企业库存数据准确性研究

针对烟草零售企业供应链中普遍存在的库存数据失真问题,建立了在(Q,R)补货策略条件下RFID技术对烟草库存数据影响的数学模型,并进行了计算机仿真研究,通过对比RFID技术实施前

期刊

烟草零售企业库存数据RFID技术

修辞断句与语感培养

文言文断句是文言教学的重点和基础，也是高考的重要考点。文言断句的方法很多，如名词断句法、虚词断句法、对话断句法、句式断句法、修辞断句法等。总体而言，断句离不开文段的把

期刊

所字短语断句法文言文

非比例结构阻尼系统的振动控制

提出了一种非比例结构阻尼系统的振动控制方法．把模态阻尼矩阵分为对角阻尼矩阵和对角元素为零的非对角阻尼矩阵，将非对角阻尼矩阵视为小量，用摄动方法求解这个受控系统，可得到非

期刊