Goguen公理化扩张系统的真度理论研究

发布时间：2017-12-15 17:29

  本文关键词：Goguen公理化扩张系统的真度理论研究

  更多相关文章： Goguen命题逻辑系统 计量逻辑 真度 随机真度 发散度 相容度 近似推理

【摘要】：摘要:通过增加新的连接词～,△对n值Goguen命题逻辑系统进行公理化扩张,得到Π～,△.在该系统中给出公式的k真度、k相似度与k伪距离的定义.证明了k真度的MP规则、HS规则等性质.说明了把命题公式中的部分原子命题分别与它的对合否定互换,公式的k真度不变.接着,在Π～,△中给出公式的k随机真度、k随机相似度与k随机伪距离间的计算公式.论证了k随机真度的MP规则、HS规则等基本性质.同时介绍了三种近似推理模式以及讨论了三种推理模式之间的等价性.然后,借助公式的诱导函数,在Π～,△中给出公式在k连接词下相对于局部有限理论r的Γ-k真度、Γ-k相似度与Γ-k伪距离的概念.得到了Γ-k真度的交并运算规则、MP规则、HS规则等基本理论.最后,利用赋值集的随机化方法,在Π～,△中提出公式在k连接词下相对于局部有限理论r的Γ-k随机真度、Γ-k随机相似度与Γ-k随机伪距离.引入了任意理论r相对于特定理论Γ0的相对随机发散度和相对随机相容度,建立了相对随机发散度与相对随机相容度之间的关系式.
【学位授予单位】：延安大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：O141

【相似文献】

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

1 张兴芳;张安英;韩红霞;;模糊谓词逻辑中基于有限解释的公式的条件α-真度理论[J];模糊系统与数学;2008年02期

2 张兴芳,孟广武;模糊谓词逻辑公式的有限和可数解释真度理论[J];聊城大学学报(自然科学版);2004年04期

3 王国俊,秦晓燕,周湘南;一类二值谓词逻辑中公式的准真度理论[J];陕西师范大学学报(自然科学版);2005年01期

4 张兴芳;王国俊;孟广武;;一阶模糊谓词逻辑公式的区间解释真度理论[J];模糊系统与数学;2006年02期

5 秦晓燕;徐扬;刘熠;;二值谓词逻辑中公式的向量真度[J];模式识别与人工智能;2013年08期

6 张安英;李德胜;张兴芳;于西昌;;基于一阶模糊逻辑公式的有限解释真度的推理理论[J];聊城大学学报(自然科学版);2005年04期

7 程雅静;;计量逻辑中真度的均值表示形式及应用研究[J];现代经济信息;2013年10期

8 吴凤干;;直觉模糊命题逻辑公式的真度[J];金陵科技学院学报;2006年04期

9 于西昌;王大全;张兴芳;;四个命题模糊逻辑系统中公式真度的大小之比较[J];聊城大学学报(自然科学版);2007年01期

10 隋云云;;几个三值命题逻辑系统中命题的条件真度[J];潍坊学院学报;2009年04期

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

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

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

1 本报评论员;标准要高 要求要严[N];邢台日报;2014年

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

1 高健;飞行模拟器动感模拟系统逼真度研究[D];哈尔滨工业大学;2013年

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

1 郝国平;几类模糊逻辑系统中真度及近似推理研究[D];延安大学;2015年

2 贺锦瑞;两种命题逻辑系统中的真度研究[D];延安大学;2016年

3 侯文艳;软集在关联规则挖掘中的应用[D];西南交通大学;2017年

4 朱乃调;增加两类算子的G(?)del公理化扩张系统计量化的研究[D];延安大学;2017年

5 高晓莉;Goguen公理化扩张系统的真度理论研究[D];延安大学;2017年

6 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

7 崔艳林;逼真度与仿真效用及仿真代价的关系研究[D];北京邮电大学;2014年

8 杨蓉;逼真度视角下的仿真效用与仿真代价的均衡研究[D];北京邮电大学;2014年

9 陈静;基于逼真度的建模与仿真过程管理方法及应用[D];北京邮电大学;2015年

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

，

本文编号：1292832