论文部分内容阅读
为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。
格值命题逻辑系统LP（X）的语义归结方法
【摘 要】
：
为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推
【机 构】
：
毕节学院逻辑、语言与认知中心,西南交通大学智能控制开发中心
【出 处】
：
辽宁工程技术大学学报：自然科学版
【发表日期】
：
2011年4期
【基金项目】
：
国家自然科学基金资助项目（60875034）, 贵州省教育厅专项基金资助项目（09ZX092）, 毕节学院自然科学重点研究课题基金资助项目（20092027）
其他文献
结构选型中巧妙利用该建筑外型立面及空间构成新颖独特的特点，采用特殊的“连续组合拱”结构型式，并比较了3种可选材料方案，根据结构受力既独立又相联的特点进行多种方法的内力
应用基于影像的反演算法对2010年1月30日和2014年1月25日的Landsat 7 ETM+卫星资料,反演昆明市寻甸县的地表温度,分析寻甸县冬季地表热环境时空演变特征。结果表明:空间上,寻甸县冬季地表热环境具有明显差异性,热岛区的分布从分散分布到集中分布,并远离城区;时间上,2014年较2010年主城区的热岛效应有所减弱,但其它非城区部分热岛效应相对变强,且相对集中于研究区以西地区。由于绿化力
我调入福州铁中工作6年,两次获"达标单位"、三次获"优胜单位"、连续四年获铁路分局"好班子"和"党风廉政建设先进单位"以及福州市文明校和路局示范校称号。为什么会取得这样比
从老年人对养老环境的无障碍、舒适性、康复性、人文情感关怀4个基本特征出发,以重庆市养老院室外环境的适老性设计为研究对象,通过对6家具有代表性的养老院进行实地调查,分
致力于嵌入式计算机应用平台设计的凌华科技于近日参加了2007国际嵌入式技术巡展的四大城市巡演。9月7日首场在北京，9月11日到达上海，9月14日到达深圳，9月18日最后一场抵达西安
为了解决由＂修复非新＂部件组成的可修系统,运用几何过程理论和补充变量方法,研究了由两个不同型部件和一个修理工组成的可修型冷贮备系统。假定两个部件的工作寿命和修理时间都
介绍复合地基的特点及其应用现状,并通过东莞地区两个工程实例——东莞市民广场PHC管桩地基处理和东莞世纪广场复合地基应用情况,证明选择合理的复合地基形式将产生明显的社
本项目是转换层以下采用正交柱网、上部采用鱼骨式斜交柱网的复杂高层建筑。采用灵活布置的梁式转换层获得高效直接的转换体系：先后运用耗能减震钢支撑和型钢混凝土框架-钢支
在均匀开挖条件下，圆形基坑支护结构是一种经济安全的基坑支护形式，但不均匀开挖在基坑施工中时常可见．本文以东莞某工程为例探讨不均匀开挖对圆形基坑支护内力的影响。
2007年10月8日，第五届先进制造技术与航空工业高层论坛暨“最受航空人欢迎的信息化产品”颁奖典礼在北京举行。安世亚太旗舰产品PERA，荣获“最受航空人欢迎的信息化产品”大奖