论文部分内容阅读
本文在二值谓词逻辑系统中引入一类特殊解释，即论域有限的解释，给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义，并证明了与命题逻辑系统的真度理论相对应的某些结论，如MP规则与HS规则．本文为建立一阶谓词公式的绝对真度，进而建立谓词逻辑系统中的近似推理理论提供了理论基础．
有限解释下一阶谓词公式的相对真度
【摘 要】
：
本文在二值谓词逻辑系统中引入一类特殊解释，即论域有限的解释，给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义，并证明了与命题逻辑系统的真度理论相对应的某些结
【机 构】
：
山西师范大学数学与计算机科学学院,信阳师范学院数学与信息科学学院
【出 处】
：
山西师范大学学报：自然科学版
【发表日期】
：
2008年2期
其他文献
目的:分析p16蛋白表达与大肠癌临床病理的关系.方法:应用LSAB免疫组化染色法,检测135例大肠癌p16蛋白表达情况,并分析p16蛋白表达与大肠癌临床病理的关系.结果:135例大肠癌p1
目的:探讨中晚期肺癌外科手术的意义及影响预后的因素.方法:均采用外科手术尽量切除肿瘤,术后辅以放疗及化疗.结果:手术治疗疗效明显优于保守疗法,半年、1年、2年、3年生存率
本文介绍采用双液化技术的基本机理,处理公路桥涵台背部位路面沉陷和其他部位砼路面沉陷问题的施工工艺,通过工程实例说明采用双液化学注浆技术可快速高效解决沉陷问题,并能
2015年开始,云南省文山壮族苗族自治州(以下简称文山州)畜牧技术推广工作站引进和选择了9个青贮玉米品种进行试验,目的是筛选出适宜文山州种植和青贮利用的优质、高产、高效
探究性复习是新课程理念下一种新型,有效的复习方式;教师若运用得当的话,必能使我们的教学大放异彩,对学生的发展大有裨益.本文通过对一则例题的延伸探讨探究性复习在高三第
本文应用湖北省1996年～2006年的土地利用变化及2000年以来江河湖泊的水质统计数据,分析10年来土地利用方变化强度、近年来长江、汉江、中小河流以及主要湖泊的水质变化趋势以