四值非链格值命题逻辑系统LP4（X）的归结原理

来源 :河南大学学报：自然科学版 | 被引量 : 0次 | 上传用户：soso2009520

【摘要】

：

基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性. 四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重

【作者】

：

孟丹郑逢斌徐扬秦克云

【机构】

：

西南交通大学,西南交通大学

【出处】

：

河南大学学报：自然科学版

【发表日期】

：

2003年3期

【关键词】

：

自动推理归结原理格蕴涵代数非链格蕴涵代数上的四值命题逻辑系统LP4(X) automated reasoning resolution Principl

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性. 四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持.

其他文献

关于建设工程竣工结算核对工作的探析

文章主要研究建设工程竣工结算工作,总结了工程结算中存在的各种影响因素,并从竣工结算核算工作内容确定、竣工资料的采集和施工现场调查等方面入手,对建设工程竣工结算核对

期刊

建设工程竣工结算核对

普通高校民族预科数学教学现状分析及对策研究

[摘要]少数民族预科教育是根据国家高等教育相关政策对少数民族学生实行的一项特殊教育，是高等教育的重要组成部分。当前普通高校均未将预科数学作为一门独立的学科进行建设，教学安排无规范的理论依据作为参考，以至于社会各界质疑预科数学教学质量。文章将民族预科数学教学现状展示出来，并提出建设性意见，以期建议被高校采纳，达到提高教学质量、培养民族人才的目的。　　[关键词]民族预科；数学教学；普通高校　　民族预科

期刊

民族预科数学教学普通高校

复合内力共同作用下平面杆系的失效评估

定义了平面杆系中的失效评估杆元以及该杆元的正则杆端弯矩和正则轴力，据此引入了杆件失效包络图、工作状态图以及杆件失效指标，进而定义了平面杆系结构失效包络图、结构工作状

期刊

失效评估杆元失效包络图工作状态图失效指标失效评估failure assessment bar element failure envelope s

复合地基最终沉降量计算方法研究

针对复合地基最终沉降量的四种计算方法，复合模量法，应力修正法，桩身压缩量法及沉降折减法，采用Visual Basic 6．0编制的计算程序，结合工程实例，对各种计算结果进行了分析和比较，研究

期刊

复合地基沉降量数值分析VISUALBasic6.0composite ground settlement numerical analysis

影响事业单位财务预算管理执行力的因素与建议

财务预算管理是事业单位的管理工作中重要的组成部分,对事业单位有着非常重大的影响,为了保障和促进事业单位的健康进步和稳定发展,加强财务预算管理,落实执行,才能充分发挥

期刊

事业单位财务预算管理执行力因素

食用菌生物激活处理器在四孢蘑菇栽培中的增产效应

将四孢蘑菇(Agaricus campestris)用食用菌生物激活处理器制得的"双磁水"浇、喷后产量增加了40%以上,菇体硬实、菌盖厚、菌柄短粗且推迟开伞时间,鲜菇氨基酸和维生素C含量明

期刊

食用菌生物激活处理器四孢蘑菇增产效应“双磁水”激活增产试验人工栽培TERSA Agaricus campestris edible fungus

北美自由贸易协定下争端解决的报复制度剖析

北美自由贸易协定的各项争端解决机制都不同程度地依靠报复达到促使争端解决的目的,适应不同的争端解决需要,各项争端解决机制中有关报复制度规则的规定存在明显的差别,并且

期刊

北美自由贸易协定(NAFTA)争端报复制度North America Free Trade Agreement (NAFTA) dispute ret

俄罗斯高校代表团访问我校

10月14日，由俄罗斯莫科州际研究生教育协会em’yanchenko Anatoly校长率领的俄罗斯高校代表团一行16人访问我校。该代表团由莫斯科公共服务高级培训学院、莫斯科名誉教育中心

期刊

俄罗斯代表团高校莫斯科教育协会公共服务教育中心党委书记学校管理学生培养

需要与现代性：制度变革的关键词——关于广西文化体制改革的思考

文化体制改革的总体目标，是最大限度地满足不同层次群众日益增长的精神文化需求，因此，研究人们在日常生活中产生的需要并寻求其合理的满足方式是文化体制改革的基本思路。事实证

期刊

文化体制改革现代性精神文化transformation of cultural system system need social life

糖尿病对急性心肌梗死患者细胞凋亡因子和炎性因子的影响

目的了解糖尿病（DM）对急性心肌梗死（AMI）患者Fas受体细胞凋亡途径和炎症反应的影响。方法70例急性ST段抬高心肌梗死患者,根据是否合并DM分为非糖尿病（NDM）组（36例）和DM组（34例）。应用EL

期刊

心肌梗死急性糖尿病心肌细胞凋亡炎症反应Myocardial infarctionacute Diabetes mellitus Cardiomy

四值非链格值命题逻辑系统LP4（X）的归结原理

其他学术论文