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

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

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

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

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

基　　金：国家自然科学基金资助项目(60875034);贵州省教育厅自然科学基金资助项目(黔教科20090068)

摘　　要：为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。In order to improve the reasoning efficiency of α-resolution principle in lattice-valued propositional logic LP（X）,this study applies semantic strategy on α-resolution principle and investigates the semantic resolution method. The study demonstrates the soundness and weak completeness of the method,and provides a solid foundation for resolution-based automated reasoning on lattice-valued logic LP（X）.

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

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