-
题名属性偏序形式结构的数学形式化
- 1
-
-
作者
任蕴丽
宋佳霖
郑存芳
洪文学
-
机构
燕山大学电气工程学院
河北科技师范学院数学与信息科技学院
河北环境工程学院信息工程系
-
出处
《燕山大学学报》
CAS
北大核心
2024年第2期129-137,共9页
-
基金
国家自然科学基金资助项目(81803958,62176229)
河北省自然科学基金资助项目(F2016203443,F2020203010)。
-
文摘
属性偏序形式结构,作为一种基于人类认知原理和粒计算思想的知识发现和知识表示新理论,目前已有广泛的应用,但其理论基础缺乏抽象化数学化,这势必影响该理论的系统发展。针对上述问题,研究了属性偏序形式结构的数学形式化描述问题。首先,基于粒计算的思想提出了知识表示的形式化框架。在此基础上,通过定义对象集合的覆盖和最简覆盖,给出属性偏序形式结构的粒和粒群的概念,进而通过对粒衍生出粒群的充要条件的讨论,给出了属性偏序形式结构中的知识结构,从而完成属性偏序形式结构的数学形式化描述。最后,通过具体实例展示了利用数学形式化描述构造属性偏序形式结构的过程,并揭示了该过程所体现的人类认知规律。
-
关键词
形式背景
数学形式化
属性偏序形式结构
粒计算
概念认知学习
-
Keywords
formal context
mathematical formalization
attribute partial order formal structure
granular computing
concept cognitive learning
-
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
-
