基于黄金准则的农业领域本体概念有效性评估方法研究

本体作为表达知识的共享概念模型,已日渐成为人工智能和知识领域中一个重要的研究方向。为了客观地评估已构建好的农业领域本体,进一步地提升利用本体学习方法自动构建本体的效率,以茶树虫害本体为研究对象,提出了一种基于黄金准则的农业领域本体概念评估方法。该方法通过计算本体学习自动构建的本体概念与黄金本体概念的相似度,实现对农业领域本体学习的评估。     

信息概念格的属性特征研究

基于信息概念格,给出了信息形式背景下协调集的判定定理．同时区分了在信息概念格属性约简中起不同作用的属性,给出了各类属性的特征和判别方法．     

基于形式背景的属性约简关系

基于形式背景,提出面向属性的概念格的粒协调集及粒约简的概念,给出面向属性的粒协调集判定定理,并借助区分属性给出面向属性的粒约简计算方法,讨论了形式背景的粒约简、面向属性的粒约简以及分类约简之间的关系,证明了面向属性的粒协调集都是分类协调集。最后以实例说明相关约简的计算方法。     

概念格的贴近度及基于贴近度的概念格属性约简算法

概念格的属性约简是概念格理论研究的一个重要内容,本文给出了概念格中贴近度的定义,并基于贴近度给出了保持概念格中概念外延不变的条件下的启发式属性约简算法。     

基于概念提升的概念格更新构造算法

概念格因其结构生动简洁地表明概念之间的泛化一例化关系,成为一种有效的数据挖掘工具。然而直接从形式背景中直接构造概念格的效率较低,为了提高概念格的构造效率,针对形式背景中的多个属性合并,给出了一种基于概念提升的概念格更新构造算法UCP．该算法充分利用了属性合并之前的概念格,仅对部分概念结点进行更新处理,从而提高了概念格的构造效率。最后,以恒星光谱数据作为形式背景,采用VC＋＋6．0和Oracle9i为开发工具,实验验证了该算法的有效性。     

基于粗糙集的概念格约简构造算法

主要通过对概念格和粗糙集进行了讨论,给出了他们之间的联系,将二者有机结合,并利用粗糙集的属性约简方法给出了一个约简并构造出约简后的概念格的方法.本文的方法不仅使用了粗糙集约简的方法,而且还同时构造出了约简后的概念格,对于数据较大的形式背景下的概念格,该算法可以使对自己有用的感兴趣的信息更加突出,输出的概念格也更简洁,空间和时间复杂度都有所降低.     

基于概念格模型的本体映射

利用形式概念分析对现有的本体映射方法进行改进,首先利用信息熵对属性语义相似表进行定义,进而利用它统一本体概念属性的表示方法,然后提出新的算法完善形式背景,利用完善后的形式背景对本体概念之间的相似度进行衡量,并通过概念格提取了除已知关系之外的多种新关系.     

基于浓缩布尔矩阵的属性约简算法

属性约简是粗糙集理论研究的核心内容之一,最常用的计算属性约简的方法是基于Skowron可辨识矩阵的方法.为解决该类方法中存在的如应用范围受限、时间及存储空间浪费和效率瓶颈等问题,提出了一种基于浓缩布尔矩阵的属性约简算法:通过提出浓缩布尔矩阵的概念,以布尔代数的形式有效解决了现有可辨识矩阵存储空间大、生成效率低等缺点;利用一种新的用于直接生成分辨函数最小析取范式的算法,有效改善了算法的时间和空间复杂度,从而提高了属性约简算法的效率.     

关系积理论及属性约简算法

属性约简是粗糙集RS（rough set）理论的重要研究内容。决策表的最小属性约简是NP-hard问题。本文基于集合理论,提出了关系积概念,把决策表的属性约简过程转化为关系积的运算,充分利用关系积的相关性质,提高了关系积属性约简算法的效率。     

智能辅导系统的本体知识库的设计和实现研究

本体论是近些年来知识工程一个新的研究领域。为了有效地组织一种面向教育的知识服务系统———智能辅导系统中知识,本文试图把本体论应用于知识库的设计中,通过知识分层和分级,实现知识库的结构化,提高智能辅导系统的运行效率和问题求解能力。首先介绍了智能辅导系统的原理和结构,接着阐述了本体的理论基础:概念、构建元语、本体模型、构建原则,然后设计了“题目理解”本体、“题目求解”本体,用DAOK语言实现,从而使得知识库结构化和形式化。最后指出系统进一步需要完成的工作。     

Algorithm for constructing three-way concepts

The theory of three-way concept analysis is newly developed, but so far there is no concrete algorithm for constructing three-way concepts. In order to solve this problem, a three-way concept construction algorithm named CbO3C is firstly proposed in this paper. The CbO3C adopts the idea of the construction algorithm CbO of formal concepts in formal concept analysis. At the same time, in order to improve the efficiency and lower the memory overhead, the CbO3C employs the partial closure canonicity test and inherited failure test to reduce the repeated computations of three-way concepts, applies the reduction condition to filter the non-core three-way concepts, and implements set operations on the basis of bits. The experiments with UCI and random data sets show that the CbO3C can correctly and efficiently calculate all core three-way concepts of a formal context.     

一种基于网格的概念格分布式构造方法

分布式构造是降低面向海量数据的概念格构造复杂性的一种有效途径。目前,概念格分布式构造方法普遍偏向理论,存在扩展性差、资源利用率较低等问题。利用网格作为分布式计算平台,采用适合概念格构造规模的多次分发调度策略,给出了一种网格环境下的概念格分布式构造方法。最后,采用恒星光谱数据作为形式背景,实验验证了方法的正确性和有效性。     

一种基于形式概念分析的Web文档标签聚类方法

针对现有搜索引擎的搜索结果数目庞大要从中找到有用信息十分困难的问题,基于将Web搜索结果进行聚类可以方便用户快速浏览搜索结果的思想,提出了一种基于形式概念分析的Web搜索结果聚类方法。首先从搜索结果中集中提取关键短语和非关键短语,然后从搜索结果集到关键短语和非关键短语集上建立形式背景,采用一种较快概念格生成算法在该形式背景上生成概念格,概念格上的一个概念表达了具有确定意义的主题,即得到Web搜索结果的一个类:每个概念内涵具有的关键短语或非关键短语作为类标记;概念的外延所包含的搜索结果文档作为该类的内容;搜索结果各个类之间的层次关系通过概念格上的层次关系得以体现。     

基于模糊概念格的Web搜索结果聚类算法

提出了一种模糊形式概念分析方法,给出了在对象和属性的模糊二元关系上生成模糊概念格的过程.提出了一种在格的拓扑序列上进行概念聚类的快速算法,并且定义了概念聚类间基于偏序的层次关系.该方法利用格理论解决了概念聚类中概念间的多重继承关系,应用在Web搜索结果聚类上,实验结果表明算法在聚类质量和检索性能上都有改进和提高.     

一种基于加权概念格的分类规则提取算法

加权概念格是针对属性的重要程度,通过引入内涵权值而形成的一种格结构。采用加权概念格作为分类规则提取工具,通过引入加权外延支持度,给出了一种新的分类规则的提取算法CRAAF-WCL。最后,利用恒星光谱数据作为形式背景,实验验证了该算法具有较高的分类效果。     

基于形式概念分析的中医辩证可视化方法

计算机辅助中医辩证研究是一个热点，但是目前尚缺乏一种标准的数学语言用于描述辩证的体系架构。本文提出了一种基于形式概念分析的可视化方法，这种方法将证和证素定义为对象与属性并将它们的概念和层次关系数学化，最后利用概念格将其可视化。最后通过一个实例初步说明了将形式概念分析应用于计算机辅助中医辨证体系研究是可行的。     

基于粒计算的语言概念决策形式背景分析

针对具有语言值信息的决策问题,结合语言术语集和信息系统,提出语言决策信息系统和语言概念,并讨论语言概念的相关性质。通过转化语言决策信息系统,提出语言概念决策形式背景。为扩展语言概念格的内涵和外延,压缩语言概念的规模,通过将语言概念粒化,提出粒化语言概念决策形式背景。将粒计算引入到粒化语言概念决策形式背景中,利用覆盖度与置信度,构造一种基于粒计算的语言概念决策形式背景的规则提取模型。医学诊断实例表明该方法在获取高质量规则中的有效性及实用性。     

一种寻找极小不可满足子公式的方法

用F表示经典命题逻辑的合取范式(CNF)公式,Ci为F中的子句。公式F是极小不可满足的,如果F不可满足,并且从F中删去任意一个子句后得到的公式可满足。本文在经典命题逻辑中引入由F所诱导的形式背景,并基于此建立了概念格;给出了F不可满足公式的判定方法,当F为不可满足公式时,运用概念格的方法从F及其子句集的关系出发给出了F极小不相容子公式的判定定理。