论文部分内容阅读
引入了语言真值格值一阶逻辑系统Lv(n×2)F(X)的原子程度公式和语言真值格值程度合式公式的概念,讨论了解释域D下的公式偏真和恒真的一些推演性质,得到了程度化公式偏真和恒真的一些语义与语法特征.
基于语言真值格值一阶逻辑系统Lv(n 2)F(X)中程度化公式的一些注记
【摘 要】
：
引入了语言真值格值一阶逻辑系统Lv(n×2)F(X)的原子程度公式和语言真值格值程度合式公式的概念,讨论了解释域D下的公式偏真和恒真的一些推演性质,得到了程度化公式偏真和恒
【机 构】
：
西南交通大学基础课部,峨眉614202西南交通大学智能控制开发中心,成都610031;西南交通大学智能控制开发中心,成都,610031;
【出 处】
：
系统科学与数学
【发表日期】
：
2013年10期
其他文献
目的:本文主要探讨分析温针灸合谷、足三里治疗风寒型周围性面瘫的临床效果.方法:收集在我科2014年10月-2015年10月的风寒型周围性面瘫的患者中选取64例,作为本次研究的对象,
小说《伊芙莱娜》是 1 8世纪英国女小说家范妮·伯尼的代表作。笔者认为 ,小说中的父亲形象赋予了小说以颠覆男权中心主义意识的主题意义 :它向人们说明 ,在男权社会里 ,以父
主要研究了不同盐份条件下洋姜的褐变率,采用护色剂(柠檬酸、植酸、抗坏血酸)对洋姜进行护色处理后,通过正交实验,经直观分析确定了其最佳实验配方,护色剂浓度为3%柠檬酸、0.
本文讨论了解析函数的(FN)-代数A0P中的闭理想问题,利用射影加权系给出了一个闭理想成为A0P中的补子空间的判别准则.
随着我国经济的不断进步,林权制度在不断地深入改革方向,严谨改革制度,从我国的国家试点单位到整个普及林权改革体制,都是在为了完善我国的市场经济体制的重大决策,我们需要
与商业主义、科技主义对峙的当今人文精神是对人的精神价值的终极关怀。高师音教改革高扬人文精神,将有助于使受教育者摆脱适应论和工具论的影响,形成健康的情感、积极的态度
目的 由存在的或潜在的组织损伤或类似于这种损伤所引起的一种不愉快的感觉和情感体验;不论轻重程度如何,任 何突然或缓慢发作的疼痛,持续或复发都没有一个可以预料的或预测
研究了Burr Type Ⅻ分布参数的经验Bayes (EB)单侧和双侧检验问题.利用密度函数的递归核估计构造了参数的EB检验函数,并在适当的条件下证明了所提出的EB检验函数的渐近最优性
在共轭梯度不能精确计算的情况下，研究了带误差项的FR共轭梯度法，因而更适用于许多实际问题．步长规则采用强Wolfe线搜索，在很一般的条件下证明了算法的全局收敛性，并给出了数值实