【摘 要】
：
<正> R C.T.Lee和C.L.Chang首先讨论了真值集为单位区间的模糊逻辑,特别是证明了一阶谓词公式在二值逻辑中的不可满足性与在这种模糊逻辑中的不可满足性是等价的,从而原始的
【机 构】
：
江西师范大学数学系南昌330027
论文部分内容阅读
<正> R C.T.Lee和C.L.Chang首先讨论了真值集为单位区间的模糊逻辑,特别是证明了一阶谓词公式在二值逻辑中的不可满足性与在这种模糊逻辑中的不可满足性是等价的,从而原始的归结原理在这种模糊逻辑中是完备的。1980年,刘叙华将[1,2]的结果推广到有分界元素的有余完全分配格值逻辑,并称这种逻辑为广义模糊逻辑,容易知道,真值格有分界元素这个条件是比较苛刻的,甚至连二值逻辑的真值集B_2(二元Boole
其他文献
1.SP~2N~2S~2系统简介 SP~2N~2S~2系统是一个多指令多数据流(MIMD)并行处理系统,系统结构如图1所示,由图1可知,四个DSP芯片TMS320C25彼此通过双端口存储器(DPM)互连成环形结
本文提出了一个利用集合运算生成最小生成树的算法。研究了实现集合运算的数据结构及施加在这个结构上的算法。该算法利用公式分组排序。利用路径压缩的方法进行查找，并运算。
2009年上半年CBOT大豆强劲上涨。除自身基本面因素推动外．投机因素起到了至关重要的作用。而国内大豆在外盘上涨带动、国内政策面干预及供需形势等多空因素影响下．大连大豆在上
本文提出一种时间复杂性为O(m+n)的算法,在一个多边形的凸包不和另一个多边形相交的条件下,该算法可确定二个多边形是否相撞,在相撞时可确定全部碰撞部位.本文还证明了确定碰
围绝经期功能失调性出血是指非全身或生殖系统局部的各种器质性疾病所引起的异常子宫出血,多为无排卵性功血,由于其体内仅有单一雌激素作用,缺乏孕激素作用,使子宫内膜增生,
1 样品概述2009年1-6月，百奥明饲料添加剂（上海）有限公司共收集来自全国各地的饲料和原料样品总数90份进行霉菌毒素污染情况普查．样品的组成见表1。
本文对解释学习(EBL)中可操作性的形式化描述进行了初步探讨.强调了执行系统在学习中的作用,并将它形式化为一个公理系统;提出了等价置换概念,给出了可操作性的数学描述,最后
胃癌在我国是发病率居第2位的恶性肿瘤,其死亡率高居各类恶性肿瘤之首。外科手术切除仍是目前胃癌最有效的治疗方法。微创手术打破了手术必须剖腹的传统外科观念,以最小切口
目的总结关节镜下不同移植物重建前交叉韧带的疗效。方法回顾性分析2000～2008年收治的89例ACL损伤患者治疗方法。结果关节镜手术是前交叉韧带修复的理想方法。
目的探讨稀碘伏灌洗治疗弥漫性腹膜炎的临床疗效。方法对2002～2007年采用0.05%稀碘伏盐水灌洗治疗继发性腹膜炎100例进行回顾分析。结果100例伤口感染2例占2%,伤口脂肪液化1例