基于语言真值格值一阶逻辑的不确定性推理研究
发布时间：2021-06-09 15:07
本论文将语言真值格蕴涵代数引入到格值一阶逻辑中,对语言真值格蕴涵代数的一些代数结构、基于语言真值格值一阶逻辑的不确定性推理的理论与方法、基于语言真值分层格值一阶逻辑的不确定性推理的理论与方法进行了研究,并取得如下四个方面的研究成果：一、关于格蕴涵代数的研究1.在格蕴涵多项式的基础上,重新给出了格蕴涵代数不等式的定义,提出了几类格蕴涵代数不等式解集的结构特征,并得到了有些解集可构成滤子和理想的结构；2.提出了WLI-理想的定义,给出了WLI-理想以及由WLI-理想所生成拓扑空间的性质,得到了满足第二可数性公理的充分必要条件；3.提出了赋范格H蕴涵代数、蕴涵距离d→、V-距离d∨、∧-距离d∧的定义,给出了赋范蕴涵满射、赋范格H蕴涵同态、赋范格H蕴涵同构以及赋范同构的性质,并证明了收敛数列的有界性和蕴涵距离是有界的结论.二、关于语言真值格蕴涵代数的研究1.给出了语言真值格蕴涵代数的若干性质,得到了（aj,bn）→（ai,bm）=（ap,bh）→（ai,bm）（?）aj=ap且bn=bh（?）（ai,bm）→（aj,bn）=（ai,bm）→（ap,bh）；2.给出了语言真值格蕴涵代数中对偶分...
【文章来源】：西南交通大学四川省 211工程院校 教育部直属院校
【文章页数】：129 页
【学位级别】：博士
【文章目录】：
摘要
Abstract
第1章 绪论
1.1 形成本文的学术背景
1.2 国内外研究现状分析
1.2.1 多值逻辑和语言真值格值逻辑的研究概况
1.2.2 针对模糊性的不确定性推理研究概况
1.2.3 语言真值的不确定性推理研究概况
1.3 本文研究的主要内容
第2章 格蕴涵代数与语言真值格蕴涵代数
2.1 格蕴涵代数、语言真值格蕴涵代数及其有关性质
2.2 格蕴涵代数不等式
2.3 格蕴涵代数的WLI-理想
2.4 赋范格H蕴涵代数及性质
2.5 语言真值格蕴涵代数中对偶分子的推理性质
2.6 语言真值格蕴涵代数中蕴涵不可约元素的性质
第3章 基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)的不确定性推理
3.1 语言真值格值一阶逻辑系统L_(v(n×2))F(X)的基本理论
3.2 语言真值格值一阶逻辑系统L_(v(n×2))F(X)的推理规则
3.3 语言真值格值一阶逻辑系统L_(v(n×2))F(X)的不确定性推理
3.3.1 语言真值格值一阶逻辑系统L_(v(n×2))F(X)中公式的程度化
3.3.2 基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中带广义量词的不确定性推理
3.3.3 基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)的不确定性推理
第4章 基于语言真值分层格值一阶逻辑系统L_(v(n×2))fl的不确定性推理
4.1 语言真值分层格值一阶逻辑系统L_(v(n×2))fl的基本理论
4.2 语言真值分层格值一阶逻辑系统L_(v(n×2))fl的推理规则
4.3 语言真值分层格值一阶逻辑系统L_(v(n×2))fl的不确定性推理
4.3.1 基本思想
4.3.2 语言真值分层格值一阶逻辑系统L_(v(n×2))fl不确定性推理模型的正则条件
4.3.3 基于语言真值分层格值一阶逻辑L_(v(n×2))fl的不确定性推理
结论与展望
致谢
参考文献
攻读博士学位期间发表的论文及参与的科研情况
【参考文献】：
期刊论文
[1]格值命题逻辑系统L2n+1P（X）中基于半正则广义文字的自动推理算法[J]. 李晓冰,邱小平,徐扬. 模糊系统与数学. 2009(04)
[2]基于集对分析的上下文感知不确定性的推理方法[J]. 马守明,王汝传,叶宁. 南京邮电大学学报(自然科学版). 2009(01)
[3]不同知识粒度下粗糙集的不确定性研究[J]. 王国胤,张清华. 计算机学报. 2008(09)
[4]LF（X）中带广义量词的可靠性定理[J]. 周平,姜明,徐扬. 模糊系统与数学. 2008(02)
[5]一种用ANN实现带权不确定性推理的方法[J]. 施明辉,周昌乐. 哈尔滨工业大学学报. 2007(09)
[6]格值一阶逻辑系统LF（X）中带广义量词的不确定性推理[J]. 周平,姜明,徐扬. 模糊系统与数学. 2007(02)
[7]格值一阶逻辑系统LF（X）中的广义量词[J]. 周平,姜明,徐扬. 模糊系统与数学. 2006(05)
[8]完备剩余格中的全蕴涵推理方法[J]. 吴洪博,邵晓丽. 数学进展. 2006(03)
[9]剩余格蕴涵代数中准素理想的研究[J]. 朱华,赵建彬,徐扬. 郑州大学学报(理学版). 2006(02)
[10]基于泛逻辑学的逻辑关系柔性化研究[J]. 王万森,何华灿. 软件学报. 2005(05)
博士论文
[1]基于语言真值格值逻辑的归结自动推理研究[D]. 李晓冰.西南交通大学 2008
[2]格蕴涵代数及语言真值不确定性推理研究[D]. 伊良忠.西南交通大学 2007
[3]基于格蕴涵代数的格值逻辑中的近似推理研究[D]. 周平.西南交通大学 2007
[4]基于格蕴涵代数的格值一阶逻辑Lvfl中的不确定性推理研究[D]. 陈树伟.西南交通大学 2006
硕士论文
[1]格蕴涵代数中a-化子和不等式的研究[D]. 龙希庆.西南交通大学 2007
本文编号：3220805
【文章来源】：西南交通大学四川省 211工程院校 教育部直属院校
【文章页数】：129 页
【学位级别】：博士
【文章目录】：
摘要
Abstract
第1章 绪论
1.1 形成本文的学术背景
1.2 国内外研究现状分析
1.2.1 多值逻辑和语言真值格值逻辑的研究概况
1.2.2 针对模糊性的不确定性推理研究概况
1.2.3 语言真值的不确定性推理研究概况
1.3 本文研究的主要内容
第2章 格蕴涵代数与语言真值格蕴涵代数
2.1 格蕴涵代数、语言真值格蕴涵代数及其有关性质
2.2 格蕴涵代数不等式
2.3 格蕴涵代数的WLI-理想
2.4 赋范格H蕴涵代数及性质
2.5 语言真值格蕴涵代数中对偶分子的推理性质
2.6 语言真值格蕴涵代数中蕴涵不可约元素的性质
第3章 基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)的不确定性推理
3.1 语言真值格值一阶逻辑系统L_(v(n×2))F(X)的基本理论
3.2 语言真值格值一阶逻辑系统L_(v(n×2))F(X)的推理规则
3.3 语言真值格值一阶逻辑系统L_(v(n×2))F(X)的不确定性推理
3.3.1 语言真值格值一阶逻辑系统L_(v(n×2))F(X)中公式的程度化
3.3.2 基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中带广义量词的不确定性推理
3.3.3 基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)的不确定性推理
第4章 基于语言真值分层格值一阶逻辑系统L_(v(n×2))fl的不确定性推理
4.1 语言真值分层格值一阶逻辑系统L_(v(n×2))fl的基本理论
4.2 语言真值分层格值一阶逻辑系统L_(v(n×2))fl的推理规则
4.3 语言真值分层格值一阶逻辑系统L_(v(n×2))fl的不确定性推理
4.3.1 基本思想
4.3.2 语言真值分层格值一阶逻辑系统L_(v(n×2))fl不确定性推理模型的正则条件
4.3.3 基于语言真值分层格值一阶逻辑L_(v(n×2))fl的不确定性推理
结论与展望
致谢
参考文献
攻读博士学位期间发表的论文及参与的科研情况
【参考文献】：
期刊论文
[1]格值命题逻辑系统L2n+1P（X）中基于半正则广义文字的自动推理算法[J]. 李晓冰,邱小平,徐扬. 模糊系统与数学. 2009(04)
[2]基于集对分析的上下文感知不确定性的推理方法[J]. 马守明,王汝传,叶宁. 南京邮电大学学报(自然科学版). 2009(01)
[3]不同知识粒度下粗糙集的不确定性研究[J]. 王国胤,张清华. 计算机学报. 2008(09)
[4]LF（X）中带广义量词的可靠性定理[J]. 周平,姜明,徐扬. 模糊系统与数学. 2008(02)
[5]一种用ANN实现带权不确定性推理的方法[J]. 施明辉,周昌乐. 哈尔滨工业大学学报. 2007(09)
[6]格值一阶逻辑系统LF（X）中带广义量词的不确定性推理[J]. 周平,姜明,徐扬. 模糊系统与数学. 2007(02)
[7]格值一阶逻辑系统LF（X）中的广义量词[J]. 周平,姜明,徐扬. 模糊系统与数学. 2006(05)
[8]完备剩余格中的全蕴涵推理方法[J]. 吴洪博,邵晓丽. 数学进展. 2006(03)
[9]剩余格蕴涵代数中准素理想的研究[J]. 朱华,赵建彬,徐扬. 郑州大学学报(理学版). 2006(02)
[10]基于泛逻辑学的逻辑关系柔性化研究[J]. 王万森,何华灿. 软件学报. 2005(05)
博士论文
[1]基于语言真值格值逻辑的归结自动推理研究[D]. 李晓冰.西南交通大学 2008
[2]格蕴涵代数及语言真值不确定性推理研究[D]. 伊良忠.西南交通大学 2007
[3]基于格蕴涵代数的格值逻辑中的近似推理研究[D]. 周平.西南交通大学 2007
[4]基于格蕴涵代数的格值一阶逻辑Lvfl中的不确定性推理研究[D]. 陈树伟.西南交通大学 2006
硕士论文
[1]格蕴涵代数中a-化子和不等式的研究[D]. 龙希庆.西南交通大学 2007
本文编号：3220805
本文链接：https://www.wllwen.com/shekelunwen/ljx/3220805.html
