连续值命题逻辑中公式的条件相对重言度理论

发布时间：2017-11-17 14:04

  本文关键词：连续值命题逻辑中公式的条件相对重言度理论

  更多相关文章： 赋值密度函数 条件概率真度 条件相对Γ-重言度 条件相对Γ-相似度 伪距离

【摘要】：基于Lukasiewicz命题逻辑系统提出一般性的赋值密度函数,定义了公式的概率真度、条件概率真度的概念,引入了公式的条件相对Γ-重言度,并给出了若干性质。利用公式的条件相对Γ-重言度,定义了公式间的条件相对Γ-相似度,进而导出了伪距离。
【作者单位】： 聊城大学图书馆;聊城职业技术学院;
【基金】：山东省自然科学基金(No.Y2003A01)~~
【分类号】：O141.1
【正文快照】： 1引言近年来众多学者针对多值逻辑系统进行了系统而深入的研究,并取得了丰硕的成果[1-4]。王国俊教授先后提出了模糊值、二值、n值命题逻辑公式真度的理论[5-8],特别是文献[5],它针对连续值命题逻辑利用积分工具引入公式的真度,为连续值命题逻辑系统中近似推理提供了一种可供

【参考文献】

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

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

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

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

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

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

6 吴洪博,王国俊;Lukasie wicz逻辑系统中的广义重言式理论[J];西南交通大学学报(自然科学版);2000年05期

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

【共引文献】

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

1 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

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

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

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

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

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

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

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

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

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

中国博士学位论文全文数据库 前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年

【二级参考文献】

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

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

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

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

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

5 裴道武,王三民;形式系统L~*(n)的完备性[J];高校应用数学学报A辑(中文版);2001年03期

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

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

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

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

10 王国俊;适用于多种蕴涵算子的赋值空间上的测度与积分理论[J];中国科学E辑;2001年01期

【相似文献】

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

1 于西昌;胡凯;张兴芳;;条件概率真度的相似度及伪距离[J];模糊系统与数学;2009年06期

2 于西昌;谭桂梅;张兴芳;;连续值命题逻辑系统中公式的条件概率真度[J];计算机工程与应用;2009年28期

3 袁彦莉;张兴芳;;G銉del逻辑系统中公式条件概率真度的研究[J];山东大学学报(理学版);2009年09期

4 谭桂梅;于西昌;;连续值命题逻辑中公式的条件相对重言度理论[J];计算机工程与应用;2010年16期

5 左卫兵;毋红军;;连续值命题逻辑系统中公式的概率真度[J];河南教育学院学报(自然科学版);2007年01期

6 谭桂梅;于西昌;;G銉del命题逻辑中公式概率真度的相似度及伪距离[J];计算机工程与应用;2010年20期

7 于西昌;胡凯;张兴芳;;命题逻辑中概率真度的相似度及伪距离[J];系统科学与数学;2009年12期

8 于西昌;陈怀进;谭桂梅;;公式概率真度的相似度及伪距离[J];计算机工程与应用;2010年27期

9 于西昌;谭桂梅;;几种逻辑系统中的概率真度[J];计算机工程与应用;2011年12期

10 于西昌;张兴芳;;连续值命题逻辑中公式的概率真度及相似度[J];计算机工程与应用;2009年24期

，

本文编号：1196247