三值关联规则在不确定性知识表示及推理中的应用

针对传统关联规则和 Ｂｏｏｌｅａｎ规则矩阵无法进行不确定性知识表示和推理的弱点,该文采用三值逻辑表示规则和真值状态的不确定性,提出并使用三值关联规则（Ｔ规则）和三值规则矩阵（ＴＲ矩阵）,利用 ＴＲ矩阵变换实现高速前向推理和后向推理。对复合三值规则的无损分解进行了详细探讨,最后提出了一个能进行不确定推理的新算法。     

基于概念图的关联规则知识表示

针对传统关联规则表示方式无法展现领域知识、数据项间的关系及规则中所隐含的信息等问题,提出了一种基于概念图的关联规则知识表示方法,该方法包括模式定义和模式解析,其结合概念图理论可将关联规则转换成概念图的知识表示形式。给出了关联规则的概念图知识表示算法,并以某省全员人口数据为数据源对算法进行了具体实现和分析。实验结果表明,该方法在人口信息表现方面具有良好的效果。     

一种新的关联规则Vis-Meta图知识表示方法

针对传统关联规则表示方法无法展示领域知识,缺少对规则信息一对一、一对多、多对一、多对多的多模式表示,忽略知识发现结果的共享等问题,提出了一种新的基于Vis-Meta图的多模式关联规则知识表示方法.首先给出了Vis-Meta图的相关定义与关联规则的Vis-Meta图表示方法,接着定义了关联规则Vis-Meta图知识表示中的概念关系,并在此基础上给出了关联规则概念关系知识表示算法、关联规则实例对比算法和关联规则知识表示优化算法.最后,以某省全员人口数据为基础,对关联规则信息进行可视化分析.实验结果表明,所提出的知识表示算法具有良好的展示效果与知识共享能力.     

一种基于规则的神经网络的知识表示和推理方法

在医学专家系统中，如何根据各种疾病特征，推断出患某种疾病，这是一个比较复杂的问题，本文给出了一种基于规则的人工神经网络的知识表示和知识推理方法，从规则集中自动构造网络的结构、确定隐层节点数和连接权值，用并行的方法进行推理，最后，给出了泌尿外科常见疾病诊断的一个实例应用。     

一种精简的关联规则表示模型

针对关联规则之间存在的冗余性问题,已提出多种精简关联规则模型,但这些模型仍不同程度存在紧致度欠佳、信息丢失或恢复算法复杂的问题.提出了一种含更丰富关联信息的基本关联规则,并以基本关联规则为基础构建无损的精简关联规则集合,它是原始关联规则集合的子集,并能据此完全恢复原始关联规则集合.给出了基本关联规则模型的定义,证明了该精简模型的几个重要性质,并设计了用于挖掘该类规则的挖掘算法.实验表明,基本关联规则模型比现有的关联规则精简模型更加紧致.     

概念图知识表示方法的研究

本文简要介绍了一种新的知识表示方法－概念图;详细论述了概念图知识表示的机器内部实现方法以及在推理过程中如何实现概念图之间的匹配。     

类规则表示及其不精确推理算法

知识表示是目前人工智能中一个研究热门,因为现有的各种知识表示方式,虽然都各有其优点,但也各有其弱点,离人们要求的目标距离还远。本文介绍一种新的知识表示,我们称之为类规则表示。所以称之为类规则,一是因为它与规则表示很类似,二是     

专家系统中不确定性知识的表示和处理

知识表示和处理是专家系统的基本问题，不确定性知识的表示和处理一直是专家系统研究的热点。本文在阐述不确定性知识概念的基础上，简单介绍传统的不确定知识表示和处理方法，重点讨论近年来出现的新的不确定知识表示和处理方法。     

国际上关联规则发现研究述评

1.引言近年来,数据发掘(Data Mining),亦称数据库中的知识发现(Knowledge Discovery in Databases,简称KDD),受到当今国际人工智能与数据库界的广泛重视。关联规则是KDD研究中的一个重要研究课题。该问题是R.Agrawal等人提出的,目的是要在交易数据库中发现各项目之间的关系。例如,有这样一条关联规则:黄油,牛奶面包(30％,2％)。其含义是购买了黄油和牛奶的顾客还将购买面包,30％、2％分别是该规则的信任度和支持度。     

动态分类的UML表示方法

动态分类是指对象所属的类可随时间而变化。在进行系统分析和软件开发中,需要真实地描述研究对象在其生命周期中的变化,动态分类正是这样一种机制。但是由于许多面向对象程序设计语言都不支持动态分类,因此需要用别的方法来描述动态分类,文中给出了用ＵＭＬ表达动态分类的四种机制,并对这四种机制进行了比较。     

采用动态描述逻辑实现UML状态图特性检测

状态图是UML（Unified Modeling Language）语言中刻画对象行为的重要视图，而如何对状态图模型定义的正确性和有效性进行检验一直是一个亟待解决的问题。本文提出采用动态描述逻辑对UML状态图形式化，并利用该逻辑系统的推理能力对状态图相关静态和动态特性进行检测。我们首先将状态图描述为一个形式系统。其中，状态图中的一个状态对应于该形式系统中的一个状态，状态特性及描述被表示为该形式系统中的概念和公理，事件被表示为该形式系统中的动作。然后，我们通过概念测试来检验状态图状态可满足性和冗余性，通过公式可满足性测试来验证状态转移引起的对象特性变化。     

动静态信息相结合的UML2．0序列图逆向生成方法

符合UML2.0标准的序列图在UMLl.x序列图的基础上添加了控制流信息.为此,本文提出一种基于动静态信息相结合的UML2.0序列图逆向生成方法.该方法首先利用目标程序运行时的动态信息产生基本的方法调用序列,然后依据静态的程序依赖图对其进行补充和调整,在其上添加方法间的逻辑关系,使产生的序列图带有控制流信息.这种方法生成的序列图符合UML2.0标准,可以很好地辅助用户理解目标程序.     

基于UML的工业CT图像自动分级系统设计与实现

论文介绍了应用UML对工业CT扫描图像自动分级系统进行建模,并在VC6.0平台上实现该系统的过程。系统具有模块化程度高、可扩充性好的优点。有效解决了工业CT扫描图像自动分级过程中存在的效率低、主观性强等问题,具有很高的实用价值。     

基于语义的UML类图的集成分类

在软件重用中,软件设计重用受到关注.UML类图被广泛应用于软件设计,UML类图的重用已经成为软件设计重用研究的重点.随着可重用的UML类图数量的不断增加,分类成为一项基础性工作.一个新的基于语义的UML类图的两级分类被提出.定义了类图之间的语义相似性度量,提出了行最大值捕捉算法获取中心类图来标识每个类别特征,基于改进的...     

用UML和Object-Z描述交互式系统的接口规格说明

随着图形用户界面的普及，交互已成为目前软件系统的一个重要特征。与传统的基于字符界面的软件系统相比，基于图形用户界面的软件系统，从某种程序上可看作是一个交互式系统。形式化的规格说明具有精确性，无二义性和一致性等优点，用形式化说明语言来描述交互式系统用户接口的规格说明有很强的实用价值。由于形式化的规格说明的可读很差，因此可以采用标准的对象建模UML来帮助对形式化规格说明的理解。     

用UML模拟对象模型

从分析传统开发方法的不适应性，提出克服传统方法缺点的新途径。UML是一种通用的标准的统一建模语言，支持从需求分析开始的软件开发全过程，UML中的图形标记，尤其适用于描述面向对象的软件设计。用面向对象方法开发软件，在任何情况下，对象模型始终都是最重要、最基本、最核心的。文中给出了一种用UML来模拟对象模型的有效方法，通过可视化建模，使软件设计工具发挥更大的效用，更好地提高模型的重用性。     

运用UML对电子商务应用系统建模

统一建模语言UML是一种定义良好,易于表达,功能强大且适用广泛的建模语言。业务模型关注系统针对的业务,并不是每个项目都需要业务模型,但是有时业务模型的作用很大。在利用UML建立电子商务系统模型和开发软件系统时,首要任务就是建立系统的业务模型。该文以电子商务系统(E-Commerce)为例详细论述了UseCase以及如何运用正确的UseCase建立系统业务模型的方法。     

基于UML的一个应用软件建模实例

统一建模语言UNL是近年来面向对象分析与设计技术方面一个非常重要的成果。首先对UNL的内容和特点作了一个简单扼要的介绍,然后用它来为一个交互式应用软件——图书管理系统建模。     

基于UML活动图的Web服务合成动态行为建模方法研究

描述了利用UML进行Web服务合成的建模方法,包括静态结构建模和动态行为建模两个方面,针对Web服务合成的动态行为建模部分,详细说明了利用UML活动图进行建模时需要注意的问题,如活动图的控制流模式与Web服务合成控制流模式的语义对应关系,所支持的数据模式,以及为了方便模型转换对活动图actions元素的概念扩展,给出了动态行为建模方法,并给出了基于OCL的转换规则以及UML活动图元素到BPEL4WS元素的映射关系,最后通过订单管理案例对所述方法进行验证,为Web服务合成提供了新的思路。