量子逻辑和模糊逻辑的相关问题研究

为了研究量子逻辑与非经典逻辑之间的关系，探讨相关的推理机制并结合序理论、代数和拓扑的方法来考察量子结构的性质，本项目结合相关领域近年的研究热点，从逻辑理论、序结构理论和应用方面进行了深入地探讨。(1) 逻辑理论方面：给出了处理hybrid MKNF知识库不一致性的四值不协调语义和处理该知识库不确定性的模糊语义。(2) 序结构理论方面：研究了几类重要序结构Domain结构的信息系统表示、集族表示和概念表示等；给出了代数模糊Domain的定义，并对其性质进行了研究；系统建立了幂形式概念分析理论，为形式概念分析理论在本体中的应用奠定了基础；提出了基于形式背景的合取和析取query的概念并详细研究了所诱导的query系统的序结构性质。(3) 应用方面：给出了一种适应于不同粗糙逼近算子的统一的覆盖逼近空间的概念，提出了适用于覆盖粗糙集的所有约简理论的算法——相关族方法；对基于偏序幺半群的模糊有限自动机的代数性质、格值模糊自动机的文法理论以及直觉模糊下推自动机的文法理论等进行了深入细致地研究。本项目共发表高水平学术论文27篇，其中SCI源刊论文19篇，EI检索论文5篇，ISTP收录论文1篇；获得湖南省自然科学奖一等奖一项；培养博士研究生8名，硕士研究生1名；成功举办国内学术会议1次，国际学术会议1次。