论文部分内容阅读
模糊逻辑是现代非标准逻辑的一个分支,自1965年美国学者L.A.Zadeh在其开创性文章“模糊集合”中提出了模糊集合的概念后,关于模糊逻辑方面的研究也随之展开。本文主要以Lukasiewicz蕴涵算子为工具,研究了传统代数学中的群和环等概念及其性质在多值模糊逻辑中的重新刻画与推广。
首先,在引言中介绍了模糊逻辑下的不分明化理论研究的背景与发展现状,
其次,在第一部分中介绍了模糊集、直觉模糊集等基本概念及其运算性质等,给出了完备格的定义,
第二部分中,给出了Lukasiewicz蕴涵算子及其赋值公式,并论证了Lukasiewicz蕴涵算子下的几种常用的推导公式,
第三、四部分是本文的核心内容,主要以L*-格值上的Lukasiewicz蕴涵算子为工具,将代数学中的群和环理论予以了重新刻画,使多值逻辑谓词演算理论在代数学中得到了进一步的推广,在第三部分中定义了L*-格值逻辑上的直觉不分明化群、正规子群,并在格值语义下论证了它们的性质,在第四部分中给出了L*-格值逻辑上直觉不分明化环的概念并论证了其性质。