论文部分内容阅读
本文讨论基于模糊蕴涵的模糊等价.主要内容包括基于模糊蕴涵的模糊等价的一般性质以及在一定条件下针对基于(S,n)-蕴涵及QL-蕴涵的模糊等价的详细研究.
首先,简要介绍了本文所涉及的模糊逻辑联结的一些基本定义以及有关结论.然后,给出了文献中常见的三类模糊蕴涵R-蕴涵、(S,n)-蕴涵及QL-蕴涵的性质,这些性质是研究模糊等价的基础.
接下来,借鉴普通情况下等价的性质以及文献中Bělohláve对基于R-蕴涵的模糊等价来展开本文的研究.首先对基于模糊蕴涵的模糊等价进行了一般的讨论,证明了只要模糊蕴涵能够导出模糊等价,则普通等价下的部分性质就可以直接推广到模糊情形.其次在Bělohláve相关研究的基础上,对基于R-蕴涵的模糊等价进行了进一步讨论,在T左连续条件下,证明了普通等价的其他一些性质可以推广到基于R-蕴涵的模糊等价上.接下来详细地讨论了基于(S,n)-蕴涵的模糊等价的性质,当n为强非的时候,利用(S,n)-蕴涵的逆否对称性,将普通等价的逆否对称性质进行了模糊推广.之后在所涉及的模糊逻辑联结满足彭等人提出的一类条件((C)条件)下,证明了(S,n)-蕴涵满足T-传递性,并利用该性质,讨论了基于(S,n)-蕴涵的模糊等价的T-传递性,同时利用该条件研究了(S,n)-蕴涵的其他性质,从而将普通等价的众多性质推广到基于(S,n)-蕴涵的模糊等价上.最后,讨论了基于QL-蕴涵的模糊等价.利用(C)条件,证明了普通情况下等价的传递性等部分性质可以推广到模糊情况.由于在讨论所用的条件中,(C)条件是最为关键的条件,若该条件不成立,需要该条件的结果一般不成立,我们用反例说明了这一点.
总之,通过讨论,对基于模糊蕴涵特别是基于(S,n)-蕴涵及QL-蕴涵的模糊等价有了深入的认识,丰富了模糊等价的理论研究.