-
题名Tarski代数视角下函数依赖与属性蕴含的关系
被引量：2
- 1
-
-
作者
安秋生
孔祥玉
曹泽豪
-
机构
山西师范大学数计学院
火箭军工程大学导弹工程学院
-
出处
《控制与决策》
EI
CSCD
北大核心
2020年第7期1659-1666,共8页
-
基金
国家自然科学基金面上项目(61074072,61374120)。
-
文摘
研究经典函数依赖与属性蕴含之间的关系.首先介绍Tarski量词消除理论,分别研究Tarski量词消除理论下的函数依赖表示方式和属性蕴含表示方式,得出无量词Tarski代数下函数依赖与属性蕴含表示的统一数学模型;然后,进一步从形式概念分析的角度进行深入研究,得出不同转换背景下函数依赖与属性蕴含两者成立的关系,并从函数的观点分析两者的根本语义差别;最后,基于Armstrong公理的满足性讨论函数依赖与属性蕴含所满足的Armstrong公理,基于Duquenne-Guigues基的满足性得出最小依赖集与Duquenne-Guigues基的关系,并对函数依赖与属性蕴含之间的关系进行全面总结.
-
关键词
Tarski代数
函数依赖
属性蕴含
转换背景
Armstrong公理
duquenne-guigues基
-
Keywords
Tarski algebra
functional dependency
attribute implication
convert context
Armstrong axiom
duquenne-guigues base
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名属性探索算法在知识发现中的应用研究
- 2
-
-
作者
张维
赵小香
曹发生
余泉
-
机构
黔南民族师范学院数学系
毕节学院逻辑语言与认知中心
广西师范大学数学科学学院
-
出处
《毕节学院学报（综合版）》
2010年第4期1-8,共8页
-
基金
贵州省教育厅自然科学基金资助项目"含循环术语集描述逻辑系统推理机制"研究成果之一
项目编号:黔教科20090047
+3 种基金
贵州省科学技术基金资助项目"描述逻辑系统的非标准推理的研究"成果
项目编号:黔科合J字[2009]2068号
广西研究生教育创新计划项目"属性探索算法研究"成果
项目编号:2009106020701M31
-
文摘
从人工智能的角度考虑,在具体的知识领域中,所有个体和属性构成了不同的形式背景。对于属性集合有穷,但是所有个体集合基数很大甚至无穷的研究领域的形式背景。我们设计扩充的属性探索算法求特定知识领域的Duquenne-Guigues基,并通过实例计算展示算法的功能。
-
关键词
属性探索算法
知识领域
duquenne—guigues基
-
Keywords
Attribute Exploration Algorithms
Knowledge Domain
duquenne-guigues Base
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
O141
[自动化与计算机技术—计算机科学与技术]
-
