【作者】 张家锋； 徐扬；

【Author】 ZHANG Jiafeng1,2,XU Yang1 (1. Intelligent Control Development Center,Southwest Jiaotong University,Chengdu 610031,China; 2. Center of Logic,Language and Cognition,Bijie University,Bijie 551700,China)

【机构】 西南交通大学智能控制开发中心； 毕节学院逻辑、语言与认知研究中心；

【摘要】 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。更多还原

【Abstract】 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).更多还原