扩展的模糊逻辑与基于蕴涵算子的Rough逻辑

项目名称： 扩展的模糊逻辑与基于蕴涵算子的Rough逻辑

项目编号： No.61175044

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 张小红

作者单位： 上海海事大学

项目金额： 58万元

中文摘要： 本项目从2-型模糊集、非结合模糊逻辑、带语言量词的一阶模糊逻辑等三个方向，建立扩展的模糊逻辑形式演算系统；从Rough蕴涵这一新角度，创建Rough逻辑形式化理论；旨在建立结合模糊集、Rough集各自优势的新的不确定推理方法，为知识发现和智能推理提供严格的逻辑学基础。同时，将探索相关理论成果在智能交通信息处理、图像处理、多属性决策、数据库模糊查询、数据的语言概要等方面的实际应用。拟研究的核心问题是：构建区间2-型模糊逻辑的形式化系统，解决其可靠性、完备性问题；揭示非结合"模糊与"算子的代数特性，拓展若干著名模糊逻辑形式系统到非结合情形；将2-型模糊集、Rough集应用于语言量词的研究，建立带有语言量词的一阶模糊逻辑系统；构造恰当的Rough蕴涵算子，建立相应的Rough逻辑形式系统，阐明它们与t-模基模糊逻辑的内在联系；建立基于上述逻辑演算系统的不确定知识推理机制，并用实例阐明其应用价值。

中文关键词： 模糊逻辑；Rough 逻辑；形式系统；语言量词；软集

英文摘要：

英文关键词： fuzzy logic；rough logic；formal system；linguistic quantifier；soft set