一个有效的不精确推理算法

文中给出了一个借助模糊产生式规则的矩阵变换而实现的不精确推理算法，并通过实例解释了算法的推理过程，同时证明了对具有ｎ个模糊产生式规则的知识系统而言，该算法的时间复杂度为Ｏ（ｎ＋１）。     

模糊规则中的不确定性推理研究

针对模糊规则中以真值形式表达的不确定性推理问题进行了深入的研究.首先完整地分析了规则中的前提、结论、证据、条件、推论和结果这6类命题的不同含义;然后根据规则应用的实际情况,提出了一种新的逻辑组合关系——广义逻辑关系;最后定义了模糊子集匹配度和模糊规则匹配度,并给出了相应的条件真值和结果真值推理算法,从而形成了完整的通用不确定性推理模型.     

精确推理的Prolog语言实现方法

本文简要地介绍了专家系统的基本原理和Prolog语言的特点,重点探讨了用Prolog语言实现专家系统的方法。     

描述逻辑ALC基于RBox的推理

针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime.     

基于证据推理算法的网络安全评估

针对目前网络安全评估方法在同时处理各种类型信息时精度不高等问题，提出了一种新的基于证据推理算法的网络安全评估方法.首先选取指标建立多层次的网络安全评估框架.其次，通过专家知识确定各指标的权重、评估等级和参考值，并以证据推理算法融合出来的安全态势评估值为基础，确定最终网络安全评估等级.最后，通过实验验证了该方法可以得出一个合理的评估结果，具有可行性和有效性.     

模糊逻辑不等式解的讨论

首次在代数([0,1], ,·,-)上提出了“β”算子,研究了“β”算子与“α”算子、“δ”算子之间的关系,得到了判别一般的模糊逻辑不等式解的存在性的充要条件;给出了在有解的条件下求所有解的一个可行方法。     

采用经典一阶逻辑的混合系统仿真逻辑验证法

针对混合系统难以分析和验证的问题,提出了一种采用经典一阶逻辑的混合系统仿真逻辑验证法.首先给出了混合程序、混合系统仿真逻辑公式、仿真逻辑的命题形式和含义、混合仿真、混合程序仿真语义、仿真逻辑公式的值等定义,然后在经典一阶逻辑、混合程序仿真语义和仿真逻辑公式的值的基础上给出仿真逻辑形式推演规则.最后通过煮鸡蛋的例子验证了混合系统的活性.     

Hund最大多重度规则的适用范围及理论解释

针对现行论著中对Hund最大多重度规则所做不正确理解和误用,本文对该规则及其适用范围进行了论述,并提出了新的观点.     

带有捕获项的扩散逻辑方程的精确解

考虑一个带有捕获项的扩散逻辑方程的精确解.在1972年Ambrosetti和Prodi研究了类似问题的精确解,而不同的是在笔者的问题中f(u)不是渐近线性的,这里通过把f(u)渐近线性化及考虑另外一个特征值问题,从而得到了它的精确解.     

基于改进主观Bayes方法的不确定推理模型设计

通过分析主观Bayes方法与专家系统中不确定推理的研究现状,提出了一种加入可信度的主观Bayes方法模型.该方法消除了可信度CF和规则成立的充分性量度LS之间可能存在的不一致性,减少了后验概率对先验概率的依赖,并在森林病虫害专家系统中进行应用实现.     

道德之美、秩序之美、生态之美——构建和谐社会的美学思考

“和谐”是当今社会发展的关键词,也是对一个执政党的执政能力进行深度考量的重要标尺。构建社会主义和谐社会是党在社会主义发展新时期执政理念上的又一次重大升华,从审美视角观照,和谐社会表征为社会主义的伦理、制度、生态等三个维度的内在和谐统一,蕴示着道德之美、秩序之美与生态之美。