模糊逻辑证明论、量词理论及蕴涵算子的构造问题研究

本项目研究模糊逻辑的证明论、量词理论以及蕴涵算子的构造问题，其主要内容和意义如下：模糊逻辑证明论方面，主要研究基于连续三角模及其剩余的模糊逻辑系统的超串演算的构造(特别是BL系统), 以及基于超串演算研究模糊逻辑形式系统的定理证明算法(特别是基于左连续三角模及其剩余的MTL系统)，这些都是当前困扰模糊逻辑界的重要公开难题；模糊量词理论方面, 主要研究语言量词的(广义)菅野积分模型的形式化，这些问题是我国知名学者应明生教授2006年在《人工智能》上发表的文章中提出的，这项研究旨在把当前已得到的关于该模型的零星的结果完备化，从而推演出其所有的逻辑性质；蕴涵算子的构造方面，主要研究Product和?ukasiewicz三角模及其余模生成的蕴涵算子，这也是模糊逻辑界多年未解的公开问题，构造新的蕴涵算子就是建立自然语言中条件句的数学模型，在模糊推理、模糊控制等实际应用中有重要意义 。