为研究程序语言的指称语义引入的数学模型Domain理论及该理论在逻辑意义下的相应表示：信息系统和反映概念层次结构的形式概念分析与粗糙集理论等，都是现在众多从事计算机科学理论研究与应用的科学家所关注的新型理论。这些理论虽然是基于不同的研究背景提出来的，有着不同的理论体系，但它们并不是互相孤立的，它们相互联系并与形式拓扑和模糊数学等相互交叉。本课题将探讨形式拓扑与形式概念分析的联系；从模糊逼近概念入手，研究模糊信息系统和模糊概念格之间的关系，为在数据库知识发现 等方面的应用打下基础。逐步建立模糊集上的Domain 理论，连续格理论等，继而可以找到更多的 Domain 模型, 更加深入的探讨 Domain 与拓扑、序、形式拓扑、形式概念分析之间的联系。建立概念格与粗糙集之间关系的纽带,研究更为行之有效的数据分析和知识发现的方法，并给出相应的算法。本研究有重要的理论意义和应用价值。