检索结果-南通市图书馆

检索条件"主题词=Lukasiewicz n值命题逻辑"

共 1 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间

Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间

引用

作者：李璧镜陕西师范大学

学位级别：硕士

近年来,模糊控制技术在应用方面取得了举世瞩目的成功。然而,作为其核心的模糊推理在数学基础上却并未无懈可击。所以,以研究模糊推理的数学基础为核心的模糊逻辑,作为一个全新的数学领域,引起了世界上许多著名学者的关注,并且取得了一... 详细信息

近年来,模糊控制技术在应用方面取得了举世瞩目的成功。然而,作为其核心的模糊推理在数学基础上却并未无懈可击。所以,以研究模糊推理的数学基础为核心的模糊逻辑,作为一个全新的数学领域,引起了世界上许多著名学者的关注,并且取得了一系列重要的研究成果。模糊逻辑的应用范围十分广泛。一方面,它在机器自动证明理论,近似推理及模糊控制等领域有广泛的应用。另一方面,它也丰富和发展了纯粹数学理论的研究,例如,在证明理论的独立性和相容性方面的研究,在特殊的代数结构(如MV-代数,BL-代数,R代数)方面的研究,都引起了人们的极大兴趣并取得了成功。模糊推理是模糊控制的理论基础,而各种各样的蕴涵算子又是模糊推理的数学工具。完备的逻辑系统的建立与蕴涵算子的选择密切相关,比如lukasiewicz系统选择的就是lukasiewicz蕴涵算子,Godel系统选择的就是Godel蕴涵算子,(?)系统选择的是R蕴涵算子等等。而这些蕴涵算子的最大特点就是可以与某个特定的三角模构成伴随对,我们将这类算子成为正则蕴涵算子。现在已经有了很多的研究工作都是关于蕴涵算子在模糊推理中的应用,然而却很少涉及其逻辑语义方面的性质。本文就主要从两个不同的角度研究蕴涵算子在语义方面的性质。第一章基础知识。本章扩充了原来公式集的范围,定义了新的公式集以及与之对应的赋值域。正则蕴涵算子和积分语义学的基本概念和性质也有所介绍。这些内容都为后面关于语义方面的讨论打好基础。第二章在lukasiewicz n值命题逻辑中引入了公式的真度理论,得到了一个极限定理。表明当n趋于无穷时由公式的真度决定的真度函数τ收敛于积分真度τ,从而架起了离散值lukasiewicz逻辑与连续值lukasiewicz逻辑之间的桥梁。第三章针对能建立逻辑度量空间的这类系统,进行了语义方面的统一研究。首先,证明了全体逻辑公式在赋值域上是可积的,从而借助程度化的思想在这类系统中定义了统一形式的公式间的伪距离。同时讨论了逻辑度量空间中孤立点分布的部分情形,得到了在此类系统中,各种逻辑运算均连续,积分推理规则均成立的重要结论,从而使得在此类系统中建立统一的近似推理成为可能。

关键词： lukasiewicz n值命题逻辑公式真度极限定理积分真度左连续三角模 Lebesgue可测逻辑度量空间连续性

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

回到顶部

执行限定条件

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：