论文部分内容阅读
本文考虑十八元非链的格值命题逻辑系统L18P(X)下的归结方法.首先提出了基于超滤的归结原理,得到归结删除原理,讨论了格值逻辑公式的可满足性;其次研究了它的可靠性.
基于十八元非链格值命题逻辑L18P(X)中的归结方法的研究
【摘 要】
：
本文考虑十八元非链的格值命题逻辑系统L18P(X)下的归结方法.首先提出了基于超滤的归结原理,得到归结删除原理,讨论了格值逻辑公式的可满足性;其次研究了它的可靠性.
【机 构】
：
西南交通大学智能控制开发中心,四川,成都,610031
【出 处】
：
第六届中国不确定系统年会
【发表日期】
：
2008年8期
其他文献
本文提出了Wilcoxon符号秩检验的p-值的数值计算方法,构造了一个指数函数,用指数函数的系数来计算W+的频数,从而达到计算p-值的目的.与传统方法相比,本方法计算的p-值更加精
本文在经典最短路径问题中引入不确定条件,并且提出了路阻和R算法两个概念,采用改进的遗传算法实现车载GPS导航系统最短路径算法优化.算法改进上,适应度函数中用路阻代替传统
会议
提出了基于剩余寿命的矩母函数序的新的随机序与寿命分布类(DRLmg,NBUmg,EBUmg)及其对偶类,研究了这些序与分布类在特定变换下的封闭性,并讨论了其在冲击模型中的应用.
本文建立企业经济效益综合评价指标体系.引入信息熵理论,通过熵度量法对量化后的指标体系进行约简,在此基础上,应用未确知测度模型对企业经济效益进行综合评价.最后,通过实例
本文主要研究不确定环境下的带有模糊参数的铁路运输服务网络设计问题,在此基础上建立了基于可信性理论的模糊网络设计模型,讨论模型的等价形式,并且设计了自适应遗传算法求
针对语言判断事物模糊性的特点,运用2004年基础数学领域完成的研究模糊现象数量规律的一个新的数学分支——可信性理论的原理,通过构造一个从语言标度集到同类型模糊变量集合
本文讨论了模糊集合的进一步推广中,模糊复集合和复模糊集合等概念,得到了复模糊集合的表现定理.最后,我们指出尽管复模糊级数和模糊复级数有不同的内涵,但是它们的收敛性却
属性决策过程中,基于属性间存在不可补偿性,本文利用加权积与加权和的混合运算代替模糊综合评判法中的加权和运算,得到一种新的评判函数.并举例说明这个方法的可行性.
基于变容许度的模糊多目标优化改进算法,仍然是基于逐步宽容约束思想,又提出了全局优化和局部优化的思想,可以使得不满意目标在最小代价的条件下得到优化.这种方法不仅可以找