基于可拓学的设计方案进化推理方法

在分析现有概念设计求解策略的基础上，提出了基于可拓学理论与遗传算法相结合的概念设计求解模型。利用遗传算法模拟物元变换过程，建立了产品方案物元描述的内部模型和外部模型，探讨了内、外模型的转换关系并通过关联函数将内、外部模型联系起来。根据内部模型给出了遗传算法的编码形式以及与之相适应的交叉、变异策略，并通过可拓评价方法建立了遗传算法的适应值函数，基本解决了产品概念设计中的知识组合爆炸和矛盾冲突问题。最后通过求解减速器方案验证了该方法的可行性。     

一种支持向量回归中超参数自适应方法

在贝叶斯框架下支持向量回归SVR可视为最大化后验MAP回归函数估计的扩展.贝叶斯方法可用来实现模型中超参数的自适应,同时保持SVR稀疏性和凸二次规划的优点.在对SVR的MAP解做Laplace近似获得关于超参数的SVR模型中证据的平滑表达式,使用基于梯度的优化法可导出使证据最大化的最优超参数.通过引入ARD参数到高斯协方差函数中,可进行输入属性的相关性分析和特征选择.给出了在人工和实际回归问题上的应用及其他方法的对比分析.     

Bayesian推理在远程答疑专家系统中的应用

介绍了基于Bayesian推理的远程答疑专家系统RQAES的系统结构及其工作原理，重点分析了Bayesian推理与决策的方法及知识表示与知识库设计技术。系统具有自学习、个性化的特点，是远程教育实践中不断完善的重要模块之一。     

科学的迷信与迷信的科学

在我们年轻时所受的教育中,科学与迷信是一对水火不容的死对头。科学昌盛,迷信就会不攻自破。如太阳高升,霜露自然无形。科学之神所到之处,迷信之鬼便该悄悄溜走,但我们偏偏看到算命先生用上了计算机,名之曰科学算命。与几十年前相比,中国民众科学素养的绝对值不知要提高多少,但今天的年轻一代所透信的数字、血型和星座,正是当时的年轻人所不齿于言的。如此,则科学和迷信是否有此消彼长的关系,大可怀疑。     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

基于粗集知识推理的IDSS中的知识表示

 探讨在智能决策支持系统中的知识表达,讨论了属性在知识表达系统中的作用,决策表格形式的知识表达系统的性质、作用以及根据粗集理论(其基本观点是:人类的知识表现为对对象的分类能力)分析处理海量信息中信息的有用特征,通过分析、推理产生最小决策规则.     

二值神经网络的推理和矛盾分析

由节点和约束组成的约束满足网络(Constraint satisfaction networks,简称CSNs)能够描述许多问题,在AI中具有十分重要的地位.神经网络(Neural networks,简称NNs)能够被看作CSNs,而且被认为是适合于求解约束满足问题,因此NNs中必然有一个相应的逻辑理论.本文通过对比CSNs提出了弱推理理论和矛盾分析法,以研究二值神经网络的定性逻辑行为.文中用神经元(称为判决元)表示判决,连接表示判决元之间的柔性约束并执行     

低温冷害气象预报专家系统的实现

低温冷害气象预报是气象预报人员经验、知识和推理思维的创造性应用。通过讨论低温冷害气象预报专家系统的结构、功能、推理机制、可信度计算方法以及气象知识表达和数据库技术 ,指出专家系统在气象领域有着广阔的应用前景     

不确定性在推理过程中传播的行为特征

在布尔算子模糊逻辑中，证明了前提的不确定性在推理过程向结论传播时，恒真水平呈递增趋势，而恒假水平保持不变的特性，从而在定性的意义上说明了随着推理过程的深入，结论的不确定性将会越来越分明，但其可靠性不可能有根本性的提高。     

知识库系统中的信息平行处理方法

采用模糊逻辑系统和产生式神经网络作为工程型知识库系统中信息平行处理的基础。在模糊决策系统中，状态空间中每个决策步骤依据知识库中的规则集，按模糊匹配度予以评价和平行处理。定义网络结点物理意义的产生式神经网络可改善其处理效果。由选择分离器和化学反应器两个实例阐明了平行处理的原理和方法。