格蕴涵代数及语言真值不确定性推理研究

来源 :西南交通大学 | 被引量 : 4次 | 上传用户:yuandt
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在客观世界以及人脑认识客观世界的过程中,经常遇到各种各样带有不确定性的信息。因此,人类不得不经常处理各种不确定性的信息。在人类处理各种不确定性信息时,许多情况下以语言为工具对不确定性信息进行表示或处理。所以,在人工智能的研究中,需要研究基于语言描述的不确定性信息处理的理论与方法。对此,需要研究非经典逻辑代数与非经典代数逻辑,以及相应的用语言表示真值的语言真值逻辑代数与语言真值代数逻辑,这对智能信息处理的发展具有十分重要的意义。本文基于这样的研究背景与学术思想,开展了逻辑代数——格蕴涵代数及与其密切相关的语言真值不确定性推理研究,主要取得了如下研究成果: 1、得到了格蕴涵代数的几个等价定义及在一个非空集上构造格蕴涵代数的构造方法。给出了在链及两个有限链的笛卡尔积构成的格上,一类蕴涵算子→与逆序对合运算的构造方法及格蕴涵代数的具体形式,并证明了在[0,1]上可构造无穷多个格蕴涵代数的结论。根据格蕴涵代数的等价定义,讨论了格蕴涵代数的某些特殊性质。定义了格蕴涵代数中蕴涵算子→的并与交的运算,证明了这两种运算的封闭性。 2、证明了模格上,成分与宽于的一致性。给出了格蕴涵代数中,成分判别的几个充分必要条件及成分的具体形式。得到了格蕴涵代数中,成分的有限交与有限并具有封闭性的结论。 3、进一步挖掘偏序集上蕴涵代数与关联蕴涵代数的性质,得到了蕴涵代数成为关联蕴涵代数的几个充分必要条件。定义了偏序集上蕴涵代数的滤子及生成滤子,给出了生成滤子的结构。证明了剩余格构成格蕴涵代数与剩余格构成R<,0>代数的充分必要条件,给出了判定格蕴涵代数能否构成R<,0>代数的一种简单方法及MTL—代数、IMTL代数、BL代数、R<,0>代数及格蕴涵代数等非经典逻辑代数的性质及相互包含关系。 4、基于语气算子和基本语言,借鉴语气代数的学术思想,给出了常用语气算子和基本语言的笛卡尔积结构。根据语气算子的语言学特点,抽象出了常用语言真值的格蕴涵代数结构,给出语言真值推理规则并证明其P—还原性,通过例子说明本文给出的带语言真值的命题推理方法。
其他文献
公共巴士是城市公共交通系统的支柱,但在国家政策和城市规划实践中都被忽视.我国城市道路交通拥堵状况越来越严重,污染物排放总量不断上升,促使电动化、自动驾驶和共享出行的
期刊
在过去的十几年时间里,得益于超快光谱学的发展,几种重要的超快现象被发现。二维电子光谱作为一种四波混频光谱,可以探测物质的三阶非线性响应函数。相比于一维光谱测量技术,二维
风电场的建设已成为近年来国内外有关未来电网清洁能源发展趋势的热门话题,中国风电建设有着自己鲜明的特点,起步虽然晚,但是发展很快,目前风机装机容量已跃居世界第一位.然
近年来,我国铁路信息化发展迅速,在网络、设备和基础设施上均有长足的进步,兴起于欧洲的GSM-R技术已成功应用于我国铁路,实现了铁路的无线通讯,大大提高了工作效率和安全系数。现
近年来,超短脉冲激光在大气等介质中传输所引起的成丝(Filamentation)及有关现象受到了国内外相关领域研究者的广泛关注,并逐渐形成了一个较为活跃的研究分支。值得说明的是,
构建了以ATmega16单片机为控制核心,8个AD5933为数字电极,nRF24L01为无线通信模块的数字式生物电阻抗与电阻抗断层成像(EIT)测量系统。详细阐述了系统结构、电路设计、系统测
船舶定位技术是整个航海导航系统的基础,系统中几乎所有的功能都以船舶定位的精确度为前提。船舶定位的精确度和实时性直接关系到导航系统的实用价值和整体性能,所以定位误差是
上海同步辐射光源具有辐射功率高、光谱广阔连续、准直性高、亮度高、偏振性好等优于普通光源的特点。由于上海光源比第二代光源具有更小的发射度和更高的光谱亮度,因此对光源
我院1988年4月至1989年12月对66例经病理证实的原发性肺癌患者进行了肺功能测定。其中男性54例,女性12例,年龄32~73岁,平均58岁。应用美国Guolo—2100型全自动肺功能仪,每一
基于金属纳米结构的局域表面等离子体共振(LSPR)传感技术是最近研究的热点,在生物、食品、药物检测和环境监测等方面具有广泛的应用前景。但是目前LSPR传感器的传感灵敏度较