格值命题逻辑系统LP(X)的语义归结方法  

Semantic resolution method for lattice-valued propositional logic LP(X)

作　　者：张家锋[1,2] 徐扬[2] 何星星[2] 

机构地区：[1]毕节学院逻辑语言与认知中心,贵州毕节551700 [2]西南交通大学智能控制开发中心,四川成都610031

出　　处：《辽宁工程技术大学学报（自然科学版）》2011年第4期611-614,共4页Journal of Liaoning Technical University (Natural Science)

基　　金：国家自然科学基金资助项目(60875034);贵州省教育厅专项基金资助项目(09ZX092);毕节学院自然科学重点研究课题基金资助项目(20092027)

摘　　要：为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。To improve the reasoning efficiency of resolution principle on lattice-valued propositional logic LP（X）,this study combines the semantic resolution with resolution principle and investigates semantic resolution method.In addition,the soundness and weak completeness of this method is obtained.The study provides a necessary preparation for resolution automated reasoning algorithm on lattice-valued propositional logic LP（X）.

关 键 词：自动推理 语义归结方法 格值逻辑 格蕴涵代数 α-归结原理 

分 类 号：O142[理学—数学]