论文部分内容阅读
为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。
格值命题逻辑系统LP（X）的语义归结方法
【摘 要】
：
为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推
【机 构】
：
毕节学院逻辑、语言与认知中心,西南交通大学智能控制开发中心
【出 处】
：
辽宁工程技术大学学报：自然科学版
【发表日期】
：
2011年4期
【基金项目】
：
国家自然科学基金资助项目（60875034）, 贵州省教育厅专项基金资助项目（09ZX092）, 毕节学院自然科学重点研究课题基金资助项目（20092027）
其他文献
应用基于影像的反演算法对2010年1月30日和2014年1月25日的Landsat 7 ETM+卫星资料,反演昆明市寻甸县的地表温度,分析寻甸县冬季地表热环境时空演变特征。结果表明:空间上,寻甸县冬季地表热环境具有明显差异性,热岛区的分布从分散分布到集中分布,并远离城区;时间上,2014年较2010年主城区的热岛效应有所减弱,但其它非城区部分热岛效应相对变强,且相对集中于研究区以西地区。由于绿化力
从老年人对养老环境的无障碍、舒适性、康复性、人文情感关怀4个基本特征出发,以重庆市养老院室外环境的适老性设计为研究对象,通过对6家具有代表性的养老院进行实地调查,分
为了解决由＂修复非新＂部件组成的可修系统,运用几何过程理论和补充变量方法,研究了由两个不同型部件和一个修理工组成的可修型冷贮备系统。假定两个部件的工作寿命和修理时间都