alpha-Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X)

作者：Zhong Xiaomei^*; Xu Yang

来源：Journal of Multiple-Valued Logic and Soft Computing, 2014, 22(4-6): 581-598.

• alpha-Group quasi-lock semantic resolution method
• alpha-Group resolution principle
• Resolution-based automated reasoning
• Lattice-valued logic
• Lattice implication algebra

On the basis of alpha-group resolution principle, an alpha-group resolution automated reasoning method-alpha-group quasi-lock semantic resolution method is studied in lattice-valued propositional logic system LP(X) based on lattice implication algebra. Firstly, alpha-group quasi-lock semantic resolution method is established in LP(X), as well as its soundness and condition completeness. Secondly, alpha-group quasi-lock semantic resolution in linguistic truth-valued lattice-valued propositional logic Lv(nx2)P(X) based on linguistic truth-valued lattice implication algebra L-v(nx2) is equivalently transformed into another alpha-group quasi-lock semantic resolution with different resolution level alpha in lattice-valued propositional logic Lv(n)P(X) by two cases.

• 出版日期2014
• 单位西南交通大学