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

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

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

Research output: Contribution to journal › Article › peer-review

Abstract

α-Input resolution and α-unit resolution for generalized Horn clause set are discussed in linguistic truth-valued lattice-valued first-order logic (L_V(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 L_V(n×2)F(X) into that of L_nP(X), and their soundness and completeness are also established. Finally an algorithm for α-unit resolution is contrived in L_nP(X).

Original language	English
Pages (from-to)	66-70
Number of pages	5
Journal	Journal of Donghua University (English Edition)
Volume	29
Issue number	1
Publication status	Published (in print/issue) - Feb 2012

Keywords

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

Cite this

@article{e45d6fba1d204113abb7e6e7f57ebe58,

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

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).",

keywords = "Generalized Horn clause set, Linguistic truth-valued lattice-valued logic, α-input resolution, α-unit resolution",

author = "He, \{Xing Xing\} and Yang Xu and Li, \{Ying Fang\} and Jun Liu",

year = "2012",

month = feb,

language = "English",

volume = "29",

pages = "66--70",

journal = "Journal of Donghua University (English Edition)",

issn = "1672-5220",

publisher = "Dong Hua University",

number = "1",

}

TY - JOUR

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

AU - He, Xing Xing

AU - Xu, Yang

AU - Li, Ying Fang

AU - Liu, Jun

PY - 2012/2

Y1 - 2012/2

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

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

KW - Generalized Horn clause set

KW - Linguistic truth-valued lattice-valued logic

KW - α-input resolution

KW - α-unit resolution

UR - https://www.scopus.com/pages/publications/84862246545

M3 - Article

AN - SCOPUS:84862246545

SN - 1672-5220

VL - 29

SP - 66

EP - 70

JO - Journal of Donghua University (English Edition)

JF - Journal of Donghua University (English Edition)

IS - 1

ER -

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

Abstract

Keywords

Other files and links

Fingerprint

Cite this