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

西南交通大学研究生学位论文三零零主塑年姓级专二零一零年十一月十六日国内图书分类号:.国际图书分类号:密级:公开
删存褿‘.拦猇甐甇篖篜瓺::..‘一。●一
:口口,录慈日期:加磁≠/,月二,口日本学位论文作者完全了解学校有关保留、使用学位论文的规定,同意学校保留并向国家有关部门或机构送交论文的复印件和电子版,,可以采用影印、:指导老师签名:
学位论文作者签名:索西南交通大学学位论文创新性声明二、基于语言真值格值一阶逻辑系统名#海,提出了带广义量词的推理规则,三、给出了语言真值格值一阶逻辑系统‘#,械脑映潭然降亩ㄒ逡给出了语言真值分层格值一阶逻辑系统‘。。:,疗的推理规则,提出了基于语言真值分层本人郑重声明,所呈交的学位论文,是本人在导师指导下独立进行研究工作所取得的成果,除文中已经注明引用的内容外,本论文不包含任何其他个人或集体已经发表或撰写过的研究成果,对文中的研究做出贡献的个人和集体,均已经在文中作了明确地说明,:一、提出了弱硐牒陀镅哉嬷蹈裨毯性毯豢稍荚K氐亩ㄒ澹⒏了弱一理想空间、赋范蕴涵满射、赋范格毯⒏撤陡馠蕴涵同构、赋范同构的性质,并证明了收敛数列的有界性和蕴涵距离是有界的结论,.......,提出了基于语言真值格值一阶逻辑系统‘的不确定性推理理论与方法,并用典型实例验证所给出方法的合理性..四、建立了语言真值分层格值一阶逻辑系统‘。础,疗的不确定性推理理论与方法,格值一阶逻辑系统‘。。:,一的不确定性推理模型的正则条件以及基于语言真值分层格值一阶逻辑系统‘,节日期:『辏痜月二口日
摘要提出了赋范格毯⒃毯嗬胪隆一距离盛、,琸靉且铮一口,,哼凇#琤;谟镅哉嬷捣植愀裰狄唤茁呒低场疲一,给出了推理规则在耄≤岢隽嘶谟镅哉嬷捣植愀裰狄唤茁呒低场眦,一的不确定性推理模型的正西南交通大学博士研究生学位论文第本论文将语言真值格蕴涵代数引入到格值一阶逻辑中,对语言真值格蕴涵代数的一些代数结构、基于语言真值格值一阶逻辑的不确定性推理的理论与方法、基于语言真值分层格值一阶逻辑的不确定性推理的理论与方法进行了研究,并取得如下四个方面的研究成果:一、关于格蕴涵代数的研究在格蕴涵多项式的基础上,重新给出了格蕴涵代数不等式的定义,提出了几类格蕴涵代数不等式解集的结构特征,并得到了有些解集可构成滤子和理想的结构;提出了焕硐氲亩ㄒ澹隽薟一理想以及由焕硐胨赏仄丝占的性质,得到了满足第二可数性公理的充分必要条件;给出了赋范蕴涵满射、赋范格毯⒏撤陡馠蕴涵同构以及赋范同构的性质,、关于语言真值格蕴涵代数的研究隽擞镅哉嬷蹈裨毯娜舾尚灾剩玫搅,屯一隽擞镅哉嬷蹈裨毯卸耘挤肿拥耐评硇灾剩っ髁硕耘挤肿釉谝欢ǔ度上对算子恕⒁痪哂斜招裕岢隽擞镅哉嬷蹈裨毯性毯豢稍荚K氐亩ㄒ澹隽怂耐评硇灾剩三、关于语言真值格语言真值格值一阶逻辑系统‘#上的不确定性推理研究岢隽嘶谟镅哉嬷蹈裰狄唤茁呒低场。:的不确定性推理理论与方法;谟镅哉嬷蹈裰狄唤茁呒低场,给出了带广义量词的推理规则,并证明了这些推理规则的合理性;岢隽肆街滞评砟P椭械牟蝗范ㄐ酝评砝砺塾敕椒ǎ四、关于基于语言真值分层格值一阶逻辑系统名。脱,疗的不确定性推理研究.。.隫∥秒≠琭水平下的不确定性推理理论与方法,并证明了这些推理方法的合理性;
则条件以及基于语言真值分层格值一阶逻辑系统‘甪/:语言真值格蕴涵代数;非经典逻辑;语言真值格值一阶逻辑;不确定性推理