逻辑代数中若干问题的研究

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户:woshi52031
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
多值逻辑与当今的一些前沿学科如模糊控制,人工智能,神经网络和计算机科学等有着密切的联系.不同的多值逻辑系统对应着不同的多值逻辑代数.著名逻辑学家C.C.Chang于1958年提出了与Lukasiewicz逻辑系统相配套的MV代数理论.此后,为尝试给模糊推理提供各种可能的逻辑体系,许多学者陆续提出了各种不同的代数体系,比如,吴望名教授提出了Fuzzy蕴含代数,徐扬教授提出了格蕴含代数.1997年,王国俊教授基于对模糊逻辑与模糊推理方面存在的问题的分析,提出一种新的形式演绎系统-(?)*系统和与之相匹配的多值逻辑代数-R0代数,随着研究的不断深入,(?)*系统的完备性以及R0代数自身的完备性都已经得到了证明,并取得了丰硕的成果.在逻辑推理系统和逻辑代数系统的研究中,滤子与理想都是重要的概念,许多专家学者都在此方面作了一定的研究,本文以已有的成果为基础进一步研究多值逻辑代数中滤子与理想及子代数的性质.全文内容共分5章,第1章是预备知识,首先给出了后面所要用到的格论的初步知识,其次介绍了几类逻辑代数系统及它们所具有的性质.第2章首先在MV代数中根据伴随对(*,→)的定义,由二元运算*引入了*滤子的概念,证明了*滤子即是通常意义下的滤子,同时也研究了*滤子的简单性质;其次在关于Lukasiewicz系统的Lindenbaum代数F(S)/~中定义了*滤子,利用格论的相关知识,对公式子集D(Γ)进行研究,得到的主要结论是(1)Luk-Lindenbaum代数F(S)/~中的*滤子都是<D(Γ)>形式的,(2)*滤子与MP滤子一致,都是通常意义下的滤子,反之不成立,(3)F(S)/~中的极大*滤子与通常意义下的极大滤子是一致的.第3章结合Fuzzy集与逻辑代数中理想的性质在BR0代数中引入了Fuzzy理想、Fuzzy素理想的概念,讨论了BR0代数的Fuzzy理想和Fuzzy素理想的若干性质,给出了BR0代数的Fuzzy集是Fuzzy理想的充要条件,证明了Fuzzy理想和Fuzzy素理想在BR0代数同构下的不变性.第4章首先结合Fuzzy集与逻辑代数中子代数和MP滤子的性质在R0代数中引入了Fuzzy子代数、Fuzzy关联MP滤子的概念,给出了R0代数的Fuzzy集是Fuzzy子代数的几个等价刻画,讨论了R0代数的Fuzzy关联MP滤子的若干性质,证明了Fuzzy子代数(Fuzzy关联MP滤子)在R0代数同态(同构)下的不变性;其次讨论了R0代数中理想、素理想的基本性质,在R0代数M的全体理想集I(M)上定义了格运算,证明如此定义的格是有界分配格.然后在M的全体素理想之集PI(M)上构造了拓扑,证明了PI(M)是紧致的T0空间.在第5章中,与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质.在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念ρ,证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质.
其他文献
<正>【排名不分先后,按项目报名顺序】真豪宅在哪里啊?真豪宅在哪里?真豪宅就在那无情的六大评判标准里。遵循着《安家》总结出的这六大标准,《安家》杂志联合安家新媒体派出
缓冲方法机械手在工作时速度越高,抓取重量越大,停止时冲击力也就越大,定位就不易准确。解决的办法是使机械手在接近终点前的一段时间进行缓冲,以低速运行到终点最后停住。
本文通过对英美国家的惩罚性赔偿制度的具体应用来阐明其在我国知识产权领域适用的可能性,然后再以著作权法为例讨论这项制度在我国具体应用的办法。本文的逻辑体系是通过我
随着21世纪网络信息化的迅猛发展,传统档案管理技术与企业类型多样化、员工数量的增多之间的矛盾不断涌现。传统管理技术已经无法满足现有工作要求,利用计算机技术实现档案管
崔清田是我国当代著名的逻辑学者,在中国逻辑史研究方面取得了丰硕成果。崔清田致力于逻辑学教学与科研工作,对于中国逻辑史提出了自己独到的见解,同时,在推进两岸逻辑以及中
传统的教育资源获取已经无法满足现代职业教育的需求。建立合理实用的网络共享型资源库势在必行。然而,在各个中职学校建立网络共享资源库的同时,我们看见了种种弊端。如何解决
名称理论是现代逻辑、逻辑哲学以及语言哲学等领域研究的核心问题之一。其中,关于空名的理论以及由此所产生的存在悖论得到了许多哲学家的关注。“存在悖论”是空名问题中的
近代城市民变在社会转型时期,时常呈现出浓厚的传统品格,下层平民的集体抗争甚为典型。理性审视1908年汉口摊户风潮,其行为逻辑延续着传统斗争范式;群体心理依然保守,权威信
我们的田园教育努力把握核心素养的哲学本位,把教学目标从"知识本位"转移到"儿童本位",把幼儿发展所需要的核心素养培养作为教学核心目标,在教育教学中落实。从"幼儿立场"出
本文主要论述科恩的归纳支持理论。首先科恩的归纳支持理论是对休谟问题的一种回答和解决,科恩自己认为他的理论来源于培根,穆勒和凯恩斯。他从培根三表法的基础上发展了相关