[00143329]基于剩余蕴涵的模糊逻辑及其应用研究
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
该成果研究基于剩余蕴涵的模糊逻辑系统，主要侧重于逻辑的形式化系统方面。在国内外已有研究成果的基础上，将模糊逻辑、Rough逻辑、泛逻辑结合起来，基于含参剩余蕴涵和广义相关系数给出相关模糊逻辑形式演算系统，并证明其可靠性和完备性，并在应用方面做了初步探索研究。建立了基于含参剩余蕴涵（与Schweizer-Sklar T-范数相伴）的模糊逻辑形式系统UL*，并证明了它的可靠性和完备性；拓广P.Hajek的Basic Logic系统，使其支持非可换剩余蕴涵，同时拓广了模糊逻辑形式系统MTL；给出Rough蕴涵的新定义，并研究了其代数性质以及与模糊逻辑的内在联系。此外，还系统研究了源于模糊逻辑的若干代数结构的性质。
