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

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)

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  -