α-input and α-unit resolution methods for generalized horn clause set in LV(n×2)F(X)

Xing Xing He, Yang Xu, Ying Fang Li, Jun Liu

    Research output: Contribution to journalArticlepeer-review

    3 Citations (Scopus)

    Abstract

    α-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).

    Original languageEnglish
    Pages (from-to)66-70
    Number of pages5
    JournalJournal of Donghua University (English Edition)
    Volume29
    Issue number1
    Publication statusPublished - Feb 2012

    Keywords

    • Generalized Horn clause set
    • Linguistic truth-valued lattice-valued logic
    • α-input resolution
    • α-unit resolution

    Fingerprint

    Dive into the research topics of 'α-input and α-unit resolution methods for generalized horn clause set in L<sub>V(n×2)</sub>F(X)'. Together they form a unique fingerprint.

    Cite this