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

摘要

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