探析基于语言真值格值一阶逻辑的不确定性推理研究

《探析基于语言真值格值一阶逻辑的不确定性推理研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、西南交通大学博士学位论文基于语言真值格值一阶逻辑的不确定性推理研究姓名：赖家俊申请学位级别：博士专业：交通信息工程及控制指导教师：徐扬20101116西南交通大学博士研究生学位论文第1页摘要本论文将语言真值格蕴涵代数引入到格值一阶逻辑中，对语言真值格蕴涵代数的一些代数结构、基于语言真值格值一阶逻辑的不确定性推理的理论与方法、基于语言真值分层格值一阶逻辑的不确定性推理的理论与方法进行了研究，并取得如下四个方面的研究成果：一、关于格蕴涵代数的研究1．在格蕴涵多项式的基础上，重新给出了格蕴涵代数不等式的定义，

2、提出了几类格蕴涵代数不等式解集的结构特征，并得到了有些解集可构成滤子和理想的结构；2．提出了WLI一理想的定义，给出了WLI一理想以及由WLI一理想所生成拓扑空间的性质，得到了满足第二可数性公理的充分必要条件；3．提出了赋范格H蕴涵代数、蕴涵距离吐、V一距离盛、^一距离d．的定义，给出了赋范蕴涵满射、赋范格H蕴涵同态、赋范格H蕴涵同构以及赋范同构的性质，并证明了收敛数列的有界性和蕴涵距离是有界的结论．二、关于语言真值格蕴涵代数的研究1．给出了语言真值格蕴涵代数的若干性质，得到了(aj，屯)寸(aI，6肼

3、)=(ap毛)一(ai，k)§aj=ap且b。=b^铮(aIb。)一(aj,b。)=(口，，b。)_(ap,b^)；2．给出了语言真值格蕴涵代数中对偶分子的推理性质，证明了对偶分子在一定程度上对算子V、八、一具有闭性；3．提出了语言真值格蕴涵代数中蕴涵不可约元素的定义，给出了它的推理性质．三、关于语言真值格语言真值格值一阶逻辑系统‘(nx2)F(x)上的不确定性推理研究1．提出了基于语言真值格值一阶逻辑系统‘(。：)，(X)的不确定性推理理论与方法：2．基于语言真值格值一阶逻辑系统‘(nx2)F(X)，

4、给出了带广义量词的推理规则，并证明了这些推理规则的合理性；3．提出了两种推理模型中的不确定性推理理论与方法．四、关于基于语言真值分层格值一阶逻辑系统‘。脱，厢的不确定性推理研究1．基于语言真值分层格值一阶逻辑系统‘㈣：)一，给出了推理规则在(％，成)≤Aae4。．2)(Ov07)(秒≠(％，f))水平下的不确定性推理理论与方法，并证明了这些推理方法的合理性；2．提出了基于语言真值分层格值一阶逻辑系统‘(脱，一的不确定性推理模型的正第1l页西南交通大学博士研究生学位论文则条件以及基于语言真值分层格值一阶逻

5、辑系统‘(脱埘在蕴涵不可约元素集下的不确定性推理理论与方法．关键词：语言真值格蕴涵代数；非经典逻辑；语言真值格值一阶逻辑；不确定性推理AbstractTheideaoflinguistictruth-valuedlatticeimplicationalgebraisintroducedintothelattice-valuedfirst-orderlogicinthisthesis，thestudypresentedinthisdissertationconcentratesonsomestructur

6、esoflinguistictruth-valuedlatticeimplicationalgebra,theoriesandmethodsofuncertaintyreasoningbasedonlinguistictruth．valuedlattice．valuedfirst—orderlogic‘(脱)F(X)andlinguistictruth-valuedgradationallattice．valuedfirst—orderlogic‘(。2)一．Theinnovationandmainre

7、sultsaresummarizedasfollows：PartOne．Thestudyoflatticeimplicationalgebra1．Accordingtothelatticeimplicationpolynomial，thenotionofinequali够inlatticeimplicationalgebraWasredefined．Theseveralcharacterizationsofsolutionsetinunarylatticeimplicationalgebrainequa

8、litiesareinvestigated，andtheconsmactionsoffiltersandidealsbysomesolutionsetsareobtained．2．TheconceptofweakLI—idealsisdefined,weakLI。idealsandtopologicalspacepropertiesbasedonweakLI-idealsoflatticeimplicationalgebraaleinves