-
题名属性探索算法研究
被引量：3
- 1
-
-
作者
赵小香
覃萍
王驹
-
机构
广西师范大学数学科学学院
广西师范大学计算机科学与信息工程学院
-
出处
《计算机科学与探索》
CSCD
2009年第5期509-518,共10页
-
基金
国家自然科学基金项目No.60573010
60663001
+1 种基金
广西研究生教育创新计划项目No.2008M025
2009106020701M31~~
-
文摘
Baader等人于2004～2007年将FCA方法引入描述逻辑中,建立了初步的属性探索算法。介绍了他们提出的属性探索算法,研究了该算法会产生冗余计算的可能情形。从相关性的角度提出了两种改进算法,并证明了它们的正确性。改进的算法在一定程度上避免了冗余,简化了计算。
-
关键词
描述逻辑
形式概念分析
属性探索算法
-
Keywords
description logics
formal concept analysis
attribute exploration algorithms
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名属性探索算法的一种改进方法
- 2
-
-
作者
赵小香
张维
曹发生
-
机构
广西师范大学数学科学学院
毕节学院数学系
-
出处
《毕节学院学报（综合版）》
2009年第8期5-8,共4页
-
文摘
在介绍了形式概念分析中的伪内涵和属性探索算法之后,通过对属性探索算法进行研究,该算法的一种新改进方法被给出了。
-
关键词
形式概念分析
伪内涵
属性探索算法
改进算法
-
Keywords
Formal Concept Analysis
Pseudo-intent
attribute exploration algorithms
Improving Method
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
TP311.5
[自动化与计算机技术—控制科学与工程]
-
-
题名属性探索算法在知识发现中的应用研究
- 3
-
-
作者
张维
赵小香
曹发生
余泉
-
机构
黔南民族师范学院数学系
毕节学院逻辑语言与认知中心
广西师范大学数学科学学院
-
出处
《毕节学院学报（综合版）》
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
[自动化与计算机技术—计算机科学与技术]
-
-
题名循环描述逻辑系统FL0最大不动点模型的有穷基
- 4
-
-
作者
郑添健
侯金宏
张维
王驹
-
机构
黔南民族师范学院计算机与信息学院
南宁上林县第一中学
黔南民族师范学院数学与统计学院
广西师范大学计算机科学与信息工程学院
-
出处
《计算机科学》
CSCD
北大核心
2020年第S02期92-96,共5页
-
基金
贵州省教育厅自然科学基金项目(黔教科20090047)
贵州省科学技术基金资助项目(黔科合J字[2012]2310)
黔南民族师范学院一般项目(qnsy2018023)。
-
文摘
描述逻辑和形式概念格都是以概念为基础的形式系统,它们都有各自的优缺点,近年来人们开始将两者结合起来,取长补短。文中将形式概念分析的方法引入描述逻辑,研究了循环描述逻辑系统FL0在最大不动点语义下有限模型的有穷基。在形式概念分析中,属性有限的形式背景都存在Duguenne-Guigues基,文章将循环FL0的最大不动点模型作为描述背景,将FL0概念作为属性,定义了描述背景下的属性蕴含,证明了循环描述逻辑系统FL0的最大不动点模型也存在有穷基底。
-
关键词
描述逻辑
形式概念分析
属性探测
有穷基
-
Keywords
Description logic
Formal concept analysis
attribute exploration algorithm
Finite basis
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
