α-Input resolution and α-unit resolution for generalized Horn clause set are discussed in linguistic truth-valued lattice-valued first-order logic (LV(n×2)F(X)), which can represent and handle uncertain linguistic values-based information. Firstly the concepts of α-input resolution and α-unit resolution are presented, and the equivalence of them is shown. Then α-input (α-unit) resolution is equivalently transformed from LV(n×2)F(X) into that of LnP(X), and their soundness and completeness are also established. Finally an algorithm for α-unit resolution is contrived in LnP(X).
|Number of pages||5|
|Journal||Journal of Donghua University (English Edition)|
|Publication status||Published (in print/issue) - Feb 2012|
- Generalized Horn clause set
- Linguistic truth-valued lattice-valued logic
- α-input resolution
- α-unit resolution