属性偏序形式结构的数学形式化

属性偏序形式结构，作为一种基于人类认知原理和粒计算思想的知识发现和知识表示新理论，目前已有广泛的应用，但其理论基础缺乏抽象化数学化，这势必影响该理论的系统发展。针对上述问题，研究了属性偏序形式结构的数学形式化描述问题。首先，基于粒计算的思想提出了知识表示的形式化框架。在此基础上，通过定义对象集合的覆盖和最简覆盖，给出属性偏序形式结构的粒和粒群的概念，进而通过对粒衍生出粒群的充要条件的讨论，给出了属性偏序形式结构中的知识结构，从而完成属性偏序形式结构的数学形式化描述。最后，通过具体实例展示了利用数学形式化描述构造属性偏序形式结构的过程，并揭示了该过程所体现的人类认知规律。