格值命题逻辑LP（X）中自动推理算法效率分析  

II-α-hyper Resolution Principle of Lattice-valued Propositional Logic LP（X）

作　　者：李晓冰[1] LI Xiao-bing（School of Management Science and Engineering,Dongbei University of Finance and Economics,Dalian 116025,China）

机构地区：[1]东北财经大学管理科学与工程学院,辽宁大连116025

出　　处：《电脑知识与技术》2010年第12期9802-9803,9809,共3页Computer Knowledge and Technology

基　　金：国家自然科学基金（60875034）; 高等学校博士学科点专项科研基金项目（20060613007）

摘　　要：在格值命题逻辑中α-归结自动推理算法的基础上,给出了格值命题逻辑系统中的α-归结自动推理算法的流程图,并对该算法的计算效率进行了分析。分析表明,该算法不仅降低了计算复杂度,而且减少了搜索次数。Based on α-resolution automated reasoning algorithm in lattice-valued propositional logic,the flow chart of the algorithm is given.Computational efficiency of the α-resolution automated reasoning algorithm in lattice-valued propositional logic is analyzed.Primary research results show that not only the complexes of the algorithm but also the number of search are reduced.

关 键 词：格值命题逻辑系统 α-归结自动推理 α-归结原理 算法 计算效率 

分 类 号：O153[理学—数学;理学—基础数学]