Lukasiewicz逻辑系统中的模糊推理及模糊概念格的属性约简

发布时间：2020-09-15 15:38

　　 在模糊理论的发展过程中，蕴涵算子在其中起着重要作用，比如，在建立多值逻辑的语义理论方面，不同的逻辑系统涉及不同的蕴涵算子，在知识发现(比如模糊概念格)方面，蕴涵算子也起着非常重要的作用，本文主要就模糊推理在Lukasiewicz逻辑系统中的实现问题以及基于G(?)del蕴涵算子的模糊概念格的属性约简理论展开探讨，取得了一些有意义的成果。 为了给模糊推理在逻辑语义方面建立严格的逻辑基础，王国俊教授通过将赋值取为逻辑公式中的变元的方法在经典二值逻辑中建立了FMP问题的推理模式，提出了(△，∑)型三Ⅰ解，并把这种方法推广到了Lukasiewicz三值系统中，这时所谓赋值决定公式问题(Valuationally decided formula question，简称VDF问题)起着至关重要的作用。本文在第二章首先给出了VDF问题的合理性条件，并且基于对赋值决定公式的原理和单原子逻辑公式所诱导的McNaughton函数结构的分析，研究了赋值域为有限集、可数无限集以及具有连续统势的无限集时的模糊MP推理的逻辑基础，证明了模糊推理可以在任意Lukasiewicz多值逻辑系统中得到实现。 1982年，Will．R提出了概念格理论，它是依据对象与属性之间的二元关系基于Galois联络而建立起的一种概念层次结构，由于概念格理论在软件工程、数据结构分析、信息工程等方面有着重要的作用，有关概念格的研究目前十分活跃，在现实生活中对象与属性的关系大多是不确定的模糊关系，因此，许多类型所谓的模糊概念也纷纷被提出。本文的第三章分析由S．Elloumi所提出在δ∈[0，1]水平上的模糊概念的定义，选用G(?)del蕴含算子建立一种模糊概念格并且讨论了该类模糊概念格的属性约简理论，提供了几种判断属性约简的方法，从而为知识约简提供了一种方法。
【学位单位】：陕西师范大学
【学位级别】：硕士
【学位年份】：2006
【中图分类】：O141.1

【参考文献】

相关期刊论文 前10条

1 徐章艳;Fuzzy集上基于R蕴含算子的三I算法[J];广西师范大学学报(自然科学版);2003年03期

2 孙长银,费树岷,孙长贵;模糊推理三I算法的几个结果[J];湖北三峡学院学报;2000年05期

3 徐章艳,冯嘉礼,李凡;基于R蕴含算子的α-三I算法[J];计算机应用与软件;2004年01期

4 郭方芳,陈图云,夏尊铨;基于极大模糊熵原理的模糊推理三I算法[J];模糊系统与数学;2003年04期

5 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑;2002年02期

6 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑;1999年01期

7 张文修,魏玲,祁建军;概念格的属性约简理论与方法[J];中国科学E辑;2005年06期

8 王琼;剩余蕴涵的模糊三Ⅰ方法的约束度分析[J];华侨大学学报(自然科学版);2004年03期

9 宋玉靖;Lukasiewicz p+1值逻辑系统中VDF问题的解决[J];数学进展;2004年05期

10 傅丽,王国俊;三I算法的统一形式[J];陕西师范大学学报(自然科学版);2004年03期

本文编号：2819151