属性偏序形式结构的数学形式化 |
| |
作者姓名: | 任蕴丽 宋佳霖 郑存芳 洪文学 |
| |
作者单位: | 1. 燕山大学电气工程学院;2. 河北科技师范学院数学与信息科技学院;3. 河北环境工程学院信息工程系 |
| |
基金项目: | 国家自然科学基金资助项目(81803958,62176229);;河北省自然科学基金资助项目(F2016203443,F2020203010); |
| |
摘 要: | 属性偏序形式结构,作为一种基于人类认知原理和粒计算思想的知识发现和知识表示新理论,目前已有广泛的应用,但其理论基础缺乏抽象化数学化,这势必影响该理论的系统发展。针对上述问题,研究了属性偏序形式结构的数学形式化描述问题。首先,基于粒计算的思想提出了知识表示的形式化框架。在此基础上,通过定义对象集合的覆盖和最简覆盖,给出属性偏序形式结构的粒和粒群的概念,进而通过对粒衍生出粒群的充要条件的讨论,给出了属性偏序形式结构中的知识结构,从而完成属性偏序形式结构的数学形式化描述。最后,通过具体实例展示了利用数学形式化描述构造属性偏序形式结构的过程,并揭示了该过程所体现的人类认知规律。
|
关 键 词: | 形式背景 数学形式化 属性偏序形式结构 粒计算 概念认知学习 |
|