粒计算拓展模型及多知识库集成信息融合研究

针对不确定信息下智能认知与信息融合中诸多问题，研究基于粒度计算的复杂数据分析理论、计算技术与形式化模型，旨在探索新的复杂数据分析方法，提高决策的鲁棒性和可信性，增强实际应用的有效性。① 在粒度论域上引入模糊集，研究商空间的模糊拓扑结构及特性，建立模糊λ商空间格计算模型；② 研究变精度粗糙集约简的形式化层次结构体系，建立区间约简模型与算法；③ 研究动态约简容量估计，探讨一般意义下的泛化容量计算方法及其评价体系，建立动态属性核模型，形式化描述多层面的动态核特征；④ 研究知识库的度量计算，建立度量与约简的关联体系，构建知识库度量单调计算模型；⑤ 研究多知识库形式化表示模型，通过模型组合优化实现多源信息集成融合。本项目研究内容未见系统文献资料，预期结果具有明确的创新性。项目组多年来持之以恒地做了扎实且富有成效的研究工作，并把研究成果有效应用到实际中，学术积累与科研成果为项目开展奠定了坚实基础。

基于模糊商空间理论，给出了λ商空间和模糊商空间的描述与性质，证明了λ商空间上归一化等腰距离一一对应于论域上模糊等价关系，确定了一个模糊知识基，同时给出了由λ截关系序列求模糊等价关系的方法，阐述了通过l的上确界形式求模糊等价关系的优势。研究了不同粒度商空间的获取方式以及商空间结构的完备性，详细讨论了三类商空间构成的层次关系，提出并证明了任意两个商空间之间满足商空间关系的条件。阐述了逆商空间的概念，描述了其基本概念和性质，以及原空间与逆商空间的关系。研究了代数结构商空间粒计算模型，与商空间粒计算模型在合成和分解两方面进行了详细比较分析，系统论证了代数结构商空间模型的完备性，即全体同余关系构成完备半序格，且保假与保真原理在代数结构商空间模型中依然成立。.在可变精度粗糙集模型下引入条件类包含度阀值概念，描述了包含度与分类率的区间关系，分析了包含度区间的动态变化和正区域变化引起的约简异常，提出了消除异常的区间约简基本思想，构造了区间约简算法。提出了动态约简F族计算新方法，描述了多层次的动态约简模型；提出了动态核概念，研究了动态核的多层次性，论证了动态约简交集对动态核的包含具有一般性，说明了动态核的核本质特征。描述了决策规则的多种指标与性质，从整体上构造了规则集知识库的决策度量，基于模型集成的基本理论，把规则知识库作为决策模型，通过模型集成实现决策融合，在模型级实现了综合决策。.针对不同信任结构下的广义决策，提出了基于证据理论的划分广义决策与覆盖广义决策。在覆盖广义决策中，分析了基于证据理论的覆盖分类方法与覆盖转换分类方法，得出由覆盖转换分类方法得到的决策误判率比覆盖分类方法更低，通过实验进行了比较验证。对粗证据合成进行了研究，论证了划分交运算与证据正交和运算的质量函数，在满足一定条件时，二者之间的相等关系。.针对创新联盟合作研发过程中对知识重用、综合、嵌入、推理等方面所存在的大量需求，提出了基于技术界面开放的创新联盟知识融合系统，研究了创新联盟在集成创新和协同创新过程中信息界面互动和流程界面耦合关系及其相互作用机理，进而分析了技术界面开放下知识融合对创新联盟价值共创的影响，以此来理解联盟知识创新的微观基础。