挖掘变化知识的可拓数据挖掘研究

规范了可拓信息与可拓知识基本概念，即在信息和知识的概念上扩充了变化的信息和变化的知识。明确了可拓数据挖掘概念以及可拓推理新概念。证明了可拓数据挖掘两个定理和可拓推理公式。提出的从挖掘静态知识的数据挖掘扩展到挖掘变化知识的可拓数据挖掘，为数据挖掘开辟了新的研究方向，并通过实例进行了说明     

可拓知识与可拓数据挖掘

规范了可拓信息与可拓知识基本概念,即在信息和知识的概念上扩充了变化的信息和变化的知识;明确了可拓数据挖掘概念以及可拓推理新概念;证明了可拓数据挖掘两个定理和可拓推理公式;提出的从挖掘静态知识的数据挖掘扩展到挖掘变化知识的可拓数据挖掘,为数据挖掘开辟了新的研究方向,并通过实例进行了说明。     

机械产品方案设计的可拓本体相关网推理模型

针对复杂产品方案设计中的关联约束可拓推理问题,本研究提出了一种基于可拓本体相关网的复杂产品方案设计可拓推理模型。首先,建立了复杂产品方案设计可拓本体模型,并进行了可拓本体相关性分析;其次,通过领域知识获得产品方案设计方向,建立可拓本体特征的可拓关联函数,并基于信息模型建立可拓本体相关网;然后,给出了基于可拓本体相关网的方案设计可拓推理算法,通过进行设计方向多层级灰关联聚类分析和基于可拓本体相关网的关联度计算分析,进而获得满足设计需求的初始产品设计方案。最后,通过水轮机设计实例对文中的模型和算法进行了说明和验证分析,结果表明了模型和算法的有效性和可行性。     

可拓知识库系统及其应用

知识库系统是一种专门存储、管理大量知识的机构。文章以可拓学的理论和方法为指导,提出可拓知识表示法和可拓知识库系统的特点与构架。给出了可拓知识表示的形式化语义,其基本单元是知识物元;阐述了矛盾问题求解的形式表示,其核心是问题的物元模型,通过可拓算子把不相容问题转化为相容问题;相关方式推理是可拓知识库系统推理机的特点,是传统规则推理的推广。可拓知识库采用可拓知识表示方法,是传统知识库的一个超集;可拓知识库系统由目标库、条件库、公用知识库、分类知识库、推理机与知识库管理系统组成。     

可拓实数与可拓复数

引进了可拓实数和可拓复数等概念,给出了可拓实数和可拓复数刻划定理,建立了可拓实数和可拓复数度量空间,该空间是完备的,在该空间上可讨论可拓实数列和可拓复数列的极限、度量收敛和水平收敛,还可进一步研究可拓实函数和可拓复函数的连续性和可拓连续性,从而丰富了可拓数学的内容和方法,为可拓数学的研究开辟了一条新的途径,为可拓分析学的进一步研究打下了一定基础。     

可拓积分研究

在可拓集合论、可拓测度论的基础上给出了可拓积分的概念，研究了它的四个性质，并找到了可测函数的可拓积分fh（u）dp=k的一个充分必要条件。     

关于“可拓集合论”的初步研究

本文在「２」的基础上，提出了可拓集合的ｋ－截集、可拓映射、可拓变换、可拓关系等基本概念，可拓集合关于变换的正负可拓域、稳定域的一般概念；分别讨论了可拓关系与可拓映射、可拓变换之间的关系；建立了可拓集合的两个基本定理（分解定理和扩张原理），奠定了可拓集合论的初步基础，它们将在可拓数学的兴起、发展和可拓学的应用中发挥重要的作用。     

可拓学基础理论研究的新进展

简要介绍近年可拓学研究在基础理论方面的新进展，包括可拓学的框架、基元理论、可拓集合理论和可拓逻辑等所取得的成果。     

可拓事件,可拓概率及其在预测学上的应用

在ｎ维物元可拓集合的基础上,建立了可拓事件Ａ（Ｒ）的概念,利用ｎ维物元可拓集合的关联函数,定义了可拓事件的可拓概率Ｐ／Ａ（Ｒ）／,借助于ｎ维可拓集合的物元变换,得到了Ａ（Ｒ）的可拓增概变换,讨论了可拓事件、可拓概率所满足的运算和性质,给出了可拓概率论在预测学上的应用方法。     

可拓学原理及其应用——一门新的交叉学科——可拓学

目的评述可拓学的基本理论、基本方法、广泛应用与可拓学的未来。方法以发展史为基础,利用历史的、分析与综合的方法进行了论述。结果可拓学是由可拓论、可拓方法和可拓工程组成的。结论可拓学是一门具有巨大价值的、原创性的交叉学科。     

一种基于证据表达的缺省推理继承网络算法

缺省推理的继承网络算法在解决常识性推理问题时遇到了新的困难,即不确定性,本文提出了证据表达,最大熵原理和证据继承的三种技术,实现了一种基于证据表达的缺省推理继承网络算法。     

基于时间有限状态自动机的事件重建推理算法

应用时间Mealy型有限状态自动机(TMM)模型进行系统建模及计算机证据的形式化。针对单路推理算法推理时随着搜索路径的延长造成推理效率下降的问题,利用证据的时间先后关系以及推理路径数量发散特性,提出一种双路双向事件重建推理算法以提高推理效率。在8个时间Mealy有限状态自动机模型上进行了推理验证,实验结果表明该算法推理效率得到了提高。     

具有三种否定的模糊推理算法及应用

模糊推理中,合成规则推理方法（compositional rule of inference, CRI）与基于贴近度的方法（similarity based approximate reasoning,SAR）都是建立在只有一种否定的经典模糊集上。针对广义模糊集GFScom(generalized fuzzy sets with contradictory, opposite and medium negation)具有三种否定（矛盾否定、对立否定、中介否定）的特点,对模糊推理方法 CRI的蕴含算子作了扩展。提出了具有三种否定的GFScom贴近度定义和公式,得到模糊近似推理的一种新的计算形式GSAR方法,证明了GSAR该方法具有FMP(fuzzy modus ponens)还原性。通过应用实例对比,模糊推理GSAR的新方法不仅克服了CRI方法在建立模糊关系矩阵具有主观性和随意性的不足,而且客观有效地反映了模糊推理中的3种否定信息,丰富了模糊推理的形式。     

继承系统中可废止的继承扩张性质

为进一步研究分层知识结构,阐明可废止继承系统的理论,从一致性角度和框架方法出发,构造两种带有可废止特例推理的扩张,并证明它们的存在性,表明其合理性.对继承系统的深入研究,便于进行有效搜索,丰富计算机语言及人工智能的知识描述.     

一种多模糊规则的推理方法

探讨了多专家经验和知识的集成问题，提出了一种多模糊规则的推理方法．主要理论工作表明它是Ｍｉｚｕｍｏｔｏ模糊推理方法的推广     

描述逻辑研究进展

介绍了描述逻辑系统的结构,对基本的描述逻辑语言以及推理机制进行了描述。重点概述了描述逻辑的动态扩展、模糊以及概率扩展的研究状况,并根据其应用领域对描述逻辑的研究趋势及其更新进展进行了介绍。     

柔性继承支撑系统ND-Polya的设计与实现

继承是面向对象程序设计中的一个重要机制．但是,当程序员需要调整已有类并将其应用到类似的应用中,继承机制就不能支持这类程序员的需要．为了解决这一问题,我们结合类比和继承,提出了一种新的机制：柔性继承．该机制允许对类中属性进行删除和重定义．更重要的是,允许定义类之间的相似性,进行方法的间的类比推导,实现对方法及其算法的复用．描述了对柔性继承的规约语言机制和推理系统的具体设计和实现,通过对一些应用实例（ 包含一个图形系统） 的规约和推导,说明我们的实验性机制具有一定的能力．     

基于可拓理论的不相容问题的求解初探

传统的人工智能方法在处理矛盾问题、策略的生成方面有许多不足.如何更准确地表示知识和智能化的推理已成为当今研究的热点和难点问题.可拓学的的创立为知识表示和推理的理论研究提供一条新的途径,用可拓学思想对知识进行表示,对不相容问题进行分析,并给出了检查含圈矛盾知识的算法.     

模糊扩张原理的另一种证明方法

在模糊集合运算过程中,当运算"∨、∧"分别为取上确界、下确界运算时,对扩张原理的证明进行修正.更符合在模糊集运算中以计算代替推理的思想.