模糊专家系统的结构与设计

本文概述基于使用模糊逻辑和模糊推理的模糊专家系统的一般结构,并举出一个应用例子,最后给出一个实用模糊中医专家系统的设计思想。

关于横向程序变换的若干研究

本文对我们近几年来在递归程序等价变换方面之一系列研究工作做了分类总结,所提出的一些新变换模式和技术进一步丰富了人们对横向程序变换技术的认识。 软件自动化是计算机科学的前沿课题之一,其主要研究途径有:演绎综合途径、程序变换途径、实例推广途径和过程化途径,其中尤以程序变换途径得到研究工作者更多的关注。程序变换大体上可分为横向变换和 纵向变换两大类,所谓横向变换是指在相似的抽象级上将一个语言成分转化为另一个与之等价但效率更高的语言成分。 横向程序变换的研究可追溯到1966年Cooper首次提出的Cooper变换,而英国爱丁堡大学的Burstall和Darlington的研究以及他们所研制的ZAP系统是目前这方面最有代表性的工作。 本文对横向程序变换作了较深入的探讨,其中有相当多一部分递归程序等价变换模式是笔者及其同事们近几年来陆续提出的。 我们将采用函数式递归程序模型作为讨论的基础(参阅[12]之第七章),并把递归程序变换模式分成若干类型加以阐述,限于篇幅,我们只简要叙述各类变换的输入模式、输出模式、可用性条件和应用示例,有关变换的正确性证明(采用结构归纳法)将不在此列出(感兴趣的读者可参阅有关文献)。

基于可能区间集的模糊推理系统

由于用“点估计”不能完整地描述信息的不确定性,提议使用RUSPINI的基于可能区间集的模糊推理方法,即用区间值描述信息的不确定性.本文首先定义可能区间集合以及集合上的与、或、非运算;然后指出基于可能区间集的模糊推理系统的知识表示及推理算法;最后介绍我们在Turbo—Prolog系统基础上,增加一个外壳形成的基于可能区间集的模糊推理系统.

递归程序变换实验系统XDPTS

文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是实现横向程序变换技术的一个尝试。

IBARM:一种基于区间表示的不精确推理模型

不精确推理是根据应用系统中的不确定信息(可能是概率的、模糊的、不完备的等),按一定的搜索策略(如深度优先或广度优先),采用一定的推理技术(如正向、反向或双向)和不确定值传播算法,得出应用系统中近乎合理的结论。一个不精确推理模型主要包括知识的不确定性描述方式。

一类递归算法的多种计算方案及其比较

本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案 。

递归程序变换在特殊函数公式推导中的应用

本文针对一类多步递归模式,设计了相应的等价尾递归(迭代)模式,并结合计算机代数语言REDUCE,把所得到的迭代模式应用于特殊函数(如勒让德多项式等)的公式推导中,从而大大提高了计算机公式推导的效率。

关于递归变换之“函数嵌入法”的若干研究

本文对递归变换之“函数嵌入法”进行剖析，揭示它与抽象的“输入／出模式”之间的内在联系。

扩展的Cooper变换

提出一种扩展的Cooper变换模式,用结构归纳法证明了其正确性,并给出应用示例。

程序变换中的Cooper变换与函数反演变换之比较

本文介绍了Cooper变换与函数反演变换的不同特点，并通过一系列的示例来加深对这些特点的认识。

专家系统中不确定性推理平行组合算法的分析与比较

讨论专家系统中不确定推理之平行组合算法的设计问题，提出这些算法应满足的约束条件，对现有的一些平行算法作了分析与比较，指出文中的算法４更为合理．

关于递归程序变换模式的设计方法

本文提出递归程序变换模式的一般设计方法,并以具体示例说明之。此外,还对递归程序变换的有关问题作了讨论。

关于递归程序变换的注记

关于递归程序变换的注记蔡经球（厦门大学计算机科学系，厦门３６１００５）程序变换技术是自动程序设计和程序设计方法学中的重要研究课题之一。一般而言，递归算法的设计由于符合人的思维习惯（把“复杂情形”逐次归结为“较简单”情形），且结构清晰，因而易理解、易验...

递归程序变换及其实验

递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。

一种新的基于广义规则的加权不精确推理模型

提出一种新的基于广义规则的加权不精确推理模型,这个模型克服早期专家系统(MYCIN、PROSPECTOR)不精确推理模型的某些缺点,模型既考虑推理规则本身的权重,还考虑规则前提中各项的权重,并给出了相应的算法。

一种在Turbo-Prolog系统上实现的Fuzzy-Prolog系统

本文首先叙述模糊推理的抽象结构;而后介绍XDFPS(Ⅰ)系统,它是在Turbo-Prolog系统上实现的Fuzzy-Prolog系统;最后给出系统应用的示例。

Fuzzy Prolog系统XDFPS(I)的研制

我们在Turbo-Prolog系统上加上一个外壳,构成一个Fuzzy Prolog系统XDFPS(I)。用户使用该系统就可在Turbo Prolog上处理模糊信息。本文首先叙述XDFTS(I)的设计思想,而后介绍系统的具体实现以及使用方法,并附上系统的部分程序清单以及系统应用的例子。

台湾地震区地震活动性的灰色预测

本文利用灰色系统理论中的GM(1,1)模型,对台湾地震区地震活动性进行预测,结果表明:①开始于1986年的第7个活动期将于1992年左右结束;②第7个平静期将于1993年左右开始并延续至1999年左右;③最近一次M_s=7.6级的大震发生在1986年11月15日,未来下一次7.5级以上地震预计将在1992年底发生,发震地区仍在本区的东带。

关于并行递归程序变换的探讨

有相当多一类有关表处理的算法可用递归程序简洁地描述.本文讨论当递归程序中出现并行递归调用时,如何消除并行递归并转化为等价的尾递归程序,而尾递归程序可直接转化为相应的迭代程序,从而大大提高程序的时空运行效率。本文提出的方法已在我们研制的递归程序变换实验系统 XDPTS中得到应用。

关于并行递归程序等价变换的若干研究

一般而言,要把并行递归程序转化为等价的尾递归程序(它直接对应于循环迭代程序)是十分困难的。本文指出,具有某种性质的两类(分别称为α类和β类)并行递归程序可以转化为等价的尾递归程序,从而具有较高的时空运行效率。