Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)

Determination of alpha-resolution for lattice-valued first-order logic based on lattice implication algebra

Authors
Yang Xu1, Xiaobing Li, Jun Liu, Da Ruan
1Department of Mathematics, Southwest Jiaotong University
Corresponding Author
Yang Xu
Available Online October 2007.
DOI
10.2991/iske.2007.281How to use a DOI?
Keywords
lattice implication algebra, lattice-valued propositional logic LP(X), lattice-valued first-order logic LF(X), linguistic truth value, alpha-resolution
Abstract

As a continuation of our research work on resolution-based automated reasoning approaches for lattice-valued logic systems with truth-values in a lattice-valued logical algebraic structure – lattice implication algebra (LIA), in the present paper, we first prove that alpha-resolution for lattice-valued first-order logic LF(X) based on LIA can be equivalently transformed into that for lattice-valued propositional logic LP(X) based on LIA, and then prove that alpha-resolution for lattice-valued propositional logic LP(X) based on a linguistic truth-valued LIA can be equivalently transformed into alpha-resolution for lattice-valued propositional logic LP(X) based on another linguistic-valued LIA. Finally, the determination table of alpha-resolution of any two generalized literals under 49 cases for lattice-valued propositional logic LP(X) is given so that the determination of alpha-resolution for lattice-valued first-order logic LF(X), as a key issue, can be accordingly resolved, which, at the same time, provide the key support for alpha-resolution automated reasoning algorithms in linguistic truth-valued logic based on LIA.

Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
Series
Advances in Intelligent Systems Research
Publication Date
October 2007
ISBN
978-90-78677-04-8
ISSN
1951-6851
DOI
10.2991/iske.2007.281How to use a DOI?
Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Yang Xu
AU  - Xiaobing Li
AU  - Jun Liu
AU  - Da Ruan
PY  - 2007/10
DA  - 2007/10
TI  - Determination of alpha-resolution for lattice-valued first-order logic based on lattice implication algebra
BT  - Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
PB  - Atlantis Press
SP  - 1638
EP  - 1645
SN  - 1951-6851
UR  - https://doi.org/10.2991/iske.2007.281
DO  - 10.2991/iske.2007.281
ID  - Xu2007/10
ER  -