共查询到11条相似文献,搜索用时 46 毫秒
1.
一个有效的不精确推理算法 总被引:1,自引:0,他引:1
文中给出了一个借助模糊产生式规则的矩阵变换而实现的不精确推理算法,并通过实例解释了算法的推理过程,同时证明了对具有n个模糊产生式规则的知识系统而言,该算法的时间复杂度为O(n+1)。 相似文献
2.
模糊规则中的不确定性推理研究 总被引:4,自引:0,他引:4
针对模糊规则中以真值形式表达的不确定性推理问题进行了深入的研究.首先完整地分析了规则中的前提、结论、证据、条件、推论和结果这6类命题的不同含义;然后根据规则应用的实际情况,提出了一种新的逻辑组合关系——广义逻辑关系;最后定义了模糊子集匹配度和模糊规则匹配度,并给出了相应的条件真值和结果真值推理算法,从而形成了完整的通用不确定性推理模型. 相似文献
3.
4.
针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime. 相似文献
5.
针对目前网络安全评估方法在同时处理各种类型信息时精度不高等问题,提出了一种新的基于证据推理算法的网络安全评估方法.首先选取指标建立多层次的网络安全评估框架.其次,通过专家知识确定各指标的权重、评估等级和参考值,并以证据推理算法融合出来的安全态势评估值为基础,确定最终网络安全评估等级.最后,通过实验验证了该方法可以得出一个合理的评估结果,具有可行性和有效性. 相似文献
6.
成央金 《湘潭大学自然科学学报》1991,13(2):23-32
首次在代数([0,1], ,·,-)上提出了“β”算子,研究了“β”算子与“α”算子、“δ”算子之间的关系,得到了判别一般的模糊逻辑不等式解的存在性的充要条件;给出了在有解的条件下求所有解的一个可行方法。 相似文献
7.
针对混合系统难以分析和验证的问题,提出了一种采用经典一阶逻辑的混合系统仿真逻辑验证法.首先给出了混合程序、混合系统仿真逻辑公式、仿真逻辑的命题形式和含义、混合仿真、混合程序仿真语义、仿真逻辑公式的值等定义,然后在经典一阶逻辑、混合程序仿真语义和仿真逻辑公式的值的基础上给出仿真逻辑形式推演规则.最后通过煮鸡蛋的例子验证了混合系统的活性. 相似文献
8.
9.
考虑一个带有捕获项的扩散逻辑方程的精确解.在1972年Ambrosetti和Prodi研究了类似问题的精确解,而不同的是在笔者的问题中f(u)不是渐近线性的,这里通过把f(u)渐近线性化及考虑另外一个特征值问题,从而得到了它的精确解. 相似文献
10.
通过分析主观Bayes方法与专家系统中不确定推理的研究现状,提出了一种加入可信度的主观Bayes方法模型.该方法消除了可信度CF和规则成立的充分性量度LS之间可能存在的不一致性,减少了后验概率对先验概率的依赖,并在森林病虫害专家系统中进行应用实现. 相似文献
11.
“和谐”是当今社会发展的关键词,也是对一个执政党的执政能力进行深度考量的重要标尺。构建社会主义和谐社会是党在社会主义发展新时期执政理念上的又一次重大升华,从审美视角观照,和谐社会表征为社会主义的伦理、制度、生态等三个维度的内在和谐统一,蕴示着道德之美、秩序之美与生态之美。 相似文献